Software Engineering Tools and Methods

Size: px
Start display at page:

Download "Software Engineering Tools and Methods"

Transcription

1 Software Engineering Tools and Methods Fernando Brito e Abreu (fba@di.fct.unl.pt) Universidade Nova de Lisboa ( QUASAR Research Group ( SWEBOK: the 10 Knowledge Areas Software Requirements Software Design Software Construction Software Testing Software Maintenance Software Configuration Management Software Engineering Management Software Engineering Process Software Engineering Tools and Methods Software Quality Software Engineering / Fernando Brito e Abreu 2 1

2 Summary Sw Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Sw Engineering Methods Heuristic Methods Formal Methods Prototyping Methods Software Engineering / Fernando Brito e Abreu 3 Tool advantages Automation of repetitive, well-defined actions making software engineering more systematic Reducing the cognitive load on the sw engineer who is then free to concentrate on creative aspects Software Engineering / Fernando Brito e Abreu 4 2

3 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 5 Software Requirements Tools Requirements modeling tools Used for eliciting, analyzing, specifying, and validating software requirements Examples include: Requisite Pro, IBM / Rational Caliber, TBI Software Engineering / Fernando Brito e Abreu 6 3

4 Software Requirements Tools Requirements modeling tools Case study: Software Engineering / Fernando Brito e Abreu 7 Software Requirements Tools Requirement traceability tools Become increasingly important as the complexity of software grows Are relevant in other life cycle processes besides requirements modeling Software Engineering / Fernando Brito e Abreu 8 4

5 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 9 Software Design Tools Aimed at creating and checking software designs Variety of such tools is a consequence of the diversity of sw design notations and methods However, UML is becoming dominant and so is the UML tool marketplace Software Engineering / Fernando Brito e Abreu 10 5

6 Software Design Tools UML tools IBM / Rational Rose Objecteering Together Control Center Argo UML Software Engineering / Fernando Brito e Abreu 11 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 12 6

7 Software Construction Tools Program editors Used for the creation and modification of programs, and possibly the documents associated with them Can be general purpose text or document editors, or they can be specialized for a target language Software Engineering / Fernando Brito e Abreu 13 Software Construction Tools Compilers and code generators Traditionally, compilers have been noninteractive translators of source code, but there has been a trend to integrate compilers and program editors to provide integrated programming environments This topic also covers preprocessors, linker/loaders, and code generators Software Engineering / Fernando Brito e Abreu 14 7

8 Software Construction Tools Interpreters These tools provide software execution through emulation They can support software construction activities by providing a more controllable and observable environment for program execution Software Engineering / Fernando Brito e Abreu 15 Software Construction Tools Debuggers These are considered a separate category since they support the software construction process, but they are different from program editors and compilers Software Engineering / Fernando Brito e Abreu 16 8

9 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 17 Software Testing Tools Test generators Assist in the development of test cases Software Engineering / Fernando Brito e Abreu 18 9

10 Software Testing Tools Test execution frameworks Enable the execution of test cases in a controlled environment where the behavior of the object under test is observed Software Engineering / Fernando Brito e Abreu 19 Software Testing Tools Test evaluation tools Support the assessment of the results of test execution, helping to determine whether or not the observed behavior conforms to the expected behavior Software Engineering / Fernando Brito e Abreu 20 10

11 Software Testing Tools Test management tools Provide support for all aspects of the software testing process Software Engineering / Fernando Brito e Abreu 21 Software Testing Tools Performance analysis tools Used for measuring and analyzing software performance, which is a specialized form of testing where the goal is to assess performance behavior rather than functional behavior (correctness) Software Engineering / Fernando Brito e Abreu 22 11

12 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 23 Software Maintenance Tools Comprehension tools Assist in the human comprehension of programs Examples include visualization tools such as animators and program slicers Software Engineering / Fernando Brito e Abreu 24 12

13 Software Maintenance Tools Reengineering tools Support the examination and alteration of the subject software to reconstitute it in a new form, and the subsequent implementation of the new form Software Engineering / Fernando Brito e Abreu 25 Software Maintenance Tools Reverse engineering tools Assist the process by working backwards from an existing product to create artifacts such as specification and design descriptions, which then can be transformed to generate a new product from an old one Software Engineering / Fernando Brito e Abreu 26 13

14 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 27 Sw Configuration Management Tools Defect and enhancement tracking tools Used in connection with the problem-tracking issues associated with a particular software product Software Engineering / Fernando Brito e Abreu 28 14

15 Sw Configuration Management Tools Version management tools Involved in the management of multiple versions of a product Software Engineering / Fernando Brito e Abreu 29 Sw Configuration Management Tools Release and build tools Used to manage the tasks of software release and build Software Engineering / Fernando Brito e Abreu 30 15

16 Sw Configuration Management Tools Installation tools Used for configuring the installation of software products Software Engineering / Fernando Brito e Abreu 31 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 32 16

17 Sw Engineering Management Tools Project planning and tracking tools Used in software project effort measurement and cost estimation, as well as project scheduling Software Engineering / Fernando Brito e Abreu 33 Sw Engineering Management Tools Risk management tools Used in identifying, estimating, and monitoring risks Software Engineering / Fernando Brito e Abreu 34 17

18 Sw Engineering Management Tools Measurement tools Assist in performing the activities related to the software measurement program Software Engineering / Fernando Brito e Abreu 35 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 36 18

19 Software Engineering Process Tools Process modeling tools Used to model and investigate software engineering processes Software Engineering / Fernando Brito e Abreu 37 Software Engineering Process Tools Process management tools Provide support for software engineering management Software Engineering / Fernando Brito e Abreu 38 19

20 Software Engineering Process Tools Integrated CASE environments Cover multiple phases of the software engineering life cycle Perform multiple functions and hence potentially interact with the software life cycle process being executed Software Engineering / Fernando Brito e Abreu 39 Software Engineering Process Tools Process-centered sw engin. environments Tools that incorporate information on the software life cycle processes and guide and monitor the user according to the defined process Software Engineering / Fernando Brito e Abreu 40 20

21 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 41 Software Quality Tools Review and audit tools Used to support reviews and audits Software Engineering / Fernando Brito e Abreu 42 21

22 Software Quality Tools Static analysis tools Used to analyze software artifacts, such as syntactic and semantic analyzers, as well as data, control flow, and dependency analyzers Are intended for checking software artifacts for conformance or for verifying desired properties Software Engineering / Fernando Brito e Abreu 43 Summary Software Engineering Tools Software Requirements Tools Software Design Tools Software Construction Tools Software Testing Tools Software Maintenance Tools Software Configuration Management Tools Software Engineering Management Tools Software Engineering Process Tools Software Quality Tools Miscellaneous Tools Issues Software Engineering / Fernando Brito e Abreu 44 22

23 Miscellaneous Tools Issues Tool integration techniques Tool integration is important for making individual tools cooperate This category potentially overlaps with the integrated CASE environments category where integration techniques are applied Typical kinds of tool integration are platform, presentation, process, data, and control E.g. XMI is used for UML models interchange in design tools Software Engineering / Fernando Brito e Abreu 45 Miscellaneous Tools Issues Meta-tools Meta-tools generate other tools; compilercompilers are the classic example. Software Engineering / Fernando Brito e Abreu 46 23

24 Miscellaneous Tools Issues Tool evaluation Due to the continuous evolution of software engineering tools, tool evaluation is an essential topic Software Engineering / Fernando Brito e Abreu 47 Summary Software Engineering Tools Software Engineering Methods Heuristic Methods Formal Methods Prototyping Methods Software Engineering / Fernando Brito e Abreu 48 24

25 Software Engineering Methods Heuristic methods - informal approaches Formal methods - mathematically based approaches Prototyping methods - approaches based on various forms of prototyping Software Engineering / Fernando Brito e Abreu 49 Software Engineering Methods The previous three topics are not disjoint; rather they represent distinct concerns E.g, a OO method may incorporate formal techniques and rely on prototyping for verification and validation There is a large overlap of this section with that of previous KA s, namely Software Requirements and Software Design This is perhaps the worst part of the SWEBOK Software Engineering / Fernando Brito e Abreu 50 25

26 Summary Software Engineering Methods Heuristic Methods Formal Methods Prototyping Methods Software Engineering / Fernando Brito e Abreu 51 Heuristic Methods Structured methods The system is built from a functional viewpoint, starting with a high-level view and progressively refining this into a more detailed design Data-oriented methods The starting points are the data structures that a program manipulates rather than the function it performs Object-oriented methods The system is viewed as a collection of objects that integrate data and behavior Domain-specific methods Includes specialized methods for developing systems which involve realtime, safety, or security aspects Software Engineering / Fernando Brito e Abreu 52 26

27 Summary Software Engineering Methods Heuristic Methods Formal Methods Prototyping Methods Software Engineering / Fernando Brito e Abreu 53 Formal Methods Include the following aspects: Specification languages and notations Specification languages can be classified as model-oriented, property-oriented, or behavior-oriented Refinement Refers to how the specification is refined (or transformed) into a form which is closer to the desired final form of an executable program Verification/proving properties Refers to theorem proving and model checking Software Engineering / Fernando Brito e Abreu 54 27

28 Summary Software Engineering Methods Heuristic Methods Formal Methods Prototyping Methods Software Engineering / Fernando Brito e Abreu 55 Prototyping Methods Include the following aspects: Prototyping styles Throwaway, evolutionary, and executable specification Prototyping target E.g. requirements, architectural design, or the user interface Prototyping evaluation techniques Covers the ways in which the results of a prototype exercise are used Software Engineering / Fernando Brito e Abreu 56 28

29 Bibliography [Cla96] E.M. Clarke et al., Formal Methods: State of the Art and Future Directions, ACM Computer Surveys, vol. 28, iss. 4, 1996, pp [Dor97] M. Christensen, M. Dorfman and R.H. Thayer, eds., Software Engineering, IEEE Computer Society Press, [Dor02] M. Christensen, M. Dorfman and R.H. Thayer, eds., Software Engineering, Vol. 1 & Vol. 2, IEEE Computer Society Press, [Pfl01] S.L. Pfleeger, Software Engineering: Theory and Practice, second ed., Prentice Hall, [Pre04] R.S. Pressman, Software Engineering: A Practitioner's Approach, sixth ed., McGraw-Hill, [Rei96] S.P. Reiss, Software Tools and Environments in The Computer Science and Engineering Handbook, CRC Press, [Som05] I. Sommerville, Software Engineering, seventh ed., Addison-Wesley, [Was96] A.I. Wasserman, Toward a Discipline of Software Engineering, IEEE Software, vol. 13, iss. 6, November 1996, pp Software Engineering / Fernando Brito e Abreu 57 Related standards (ECMA55-93) ECMA, TR/55 Reference Model for Frameworks of Software Engineering Environments, third ed., (ECMA69-94) ECMA, TR/69 Reference Model for Project Support Environments, (IEEE ) IEEE Std , IEEE Guide for CASE Tool Interconnections Classification and Description, IEEE Press, (IEEE ) IEEE Std , Recommended Practice for the Evaluation and Selection of CASE Tools, (ISO/IEC 14102, 1995), IEEE Press, (IEEE ) IEEE Std , Recommended Practice for the Adoption of CASE Tools, (ISO/IEC 14471), IEEE Press, (IEEE ) IEEE/EIA //ISO/IEC12207:1995, Industry Implementation of Int. Std. ISO/IEC 12207:95, Standard for Information Technology Software Life Cycle Processes, IEEE Press, Software Engineering / Fernando Brito e Abreu 58 29

CHAPTER 10 SOFTWARE ENGINEERING TOOLS AND METHODS

CHAPTER 10 SOFTWARE ENGINEERING TOOLS AND METHODS CHAPTER 10 SOFTWARE ENGINEERING TOOLS AND METHODS David Carrington Department of Computer Science and Electrical Engineering The University of Queensland Brisbane, Qld 4072 Australia +61 7 3365 3310 davec@csee.uq.edu.au

More information

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville Software Engineering Software Processes Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To introduce software process models To describe three generic process models and when

More information

To introduce software process models To describe three generic process models and when they may be used

To introduce software process models To describe three generic process models and when they may be used Software Processes Objectives To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software

More information

Weighted Total Mark. Weighted Exam Mark

Weighted Total Mark. Weighted Exam Mark CMP2101 Software Engineering Period per Week Contact Hour per Semester Total Mark Exam Mark Continuous Assessment Mark Credit Units LH PH TH CH WTM WEM WCM CU 45 00 30 60 100 40 100 4 Rationale Software

More information

IT3205: Fundamentals of Software Engineering (Compulsory)

IT3205: Fundamentals of Software Engineering (Compulsory) INTRODUCTION : Fundamentals of Software Engineering (Compulsory) This course is designed to provide the students with the basic competencies required to identify requirements, document the system design

More information

Traceability Patterns: An Approach to Requirement-Component Traceability in Agile Software Development

Traceability Patterns: An Approach to Requirement-Component Traceability in Agile Software Development Traceability Patterns: An Approach to Requirement-Component Traceability in Agile Software Development ARBI GHAZARIAN University of Toronto Department of Computer Science 10 King s College Road, Toronto,

More information

SWEBOK Knowledge Area Jump-Start Document for Requirements Analysis Larry H. Reeker, U.S. National Institute of Standards and Technology

SWEBOK Knowledge Area Jump-Start Document for Requirements Analysis Larry H. Reeker, U.S. National Institute of Standards and Technology Requirements Analysis 1 SWEBOK Knowledge Area Jump-Start Document for Requirements Analysis Larry H. Reeker, U.S. National Institute of Standards and Technology Purpose and Structure of this Document This

More information

Tool Support for Software Variability Management and Product Derivation in Software Product Lines

Tool Support for Software Variability Management and Product Derivation in Software Product Lines Tool Support for Software Variability Management and Product Derivation in Software s Hassan Gomaa 1, Michael E. Shin 2 1 Dept. of Information and Software Engineering, George Mason University, Fairfax,

More information

An integrated life cycle quality model for general public market software products

An integrated life cycle quality model for general public market software products An integrated life cycle quality model for general public market software products Witold Suryn 1, Alain Abran 2, Claude Laporte 3 1 Département de génie électrique, École de technologie supérieure 1100,

More information

EVALUATING SOFTWARE ENGINEERING PRACTICES IN PALESTINE

EVALUATING SOFTWARE ENGINEERING PRACTICES IN PALESTINE International Journal of Soft Computing, Mathematics and Control (IJSCMC),Vol., No.1, February 1 EVALUATING SOFTWARE ENGINEERING PRACTICES IN PALESTINE Mohammed Alnajjar 1, Prof. Samy S. Abu Naser 1 Faculty

More information

Software Engineering from an Engineering Perspective: SWEBOK as a Study Object

Software Engineering from an Engineering Perspective: SWEBOK as a Study Object Software Engineering from an Engineering Perspective: SWEBOK as a Study Object Alain Abran a,b, Kenza Meridji b, Javier Dolado a a Universidad del País Vasco/Euskal Herriko Unibertsitatea b Ecole de technologie

More information

Clarifying a vision on certification of MDA tools

Clarifying a vision on certification of MDA tools SCIENTIFIC PAPERS, UNIVERSITY OF LATVIA, 2010. Vol. 757 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES 23 29 P. Clarifying a vision on certification of MDA tools Antons Cernickins Riga Technical University,

More information

DEVELOPING REQUIREMENTS FOR DATA WAREHOUSE SYSTEMS WITH USE CASES

DEVELOPING REQUIREMENTS FOR DATA WAREHOUSE SYSTEMS WITH USE CASES DEVELOPING REQUIREMENTS FOR DATA WAREHOUSE SYSTEMS WITH USE CASES Robert M. Bruckner Vienna University of Technology bruckner@ifs.tuwien.ac.at Beate List Vienna University of Technology list@ifs.tuwien.ac.at

More information

IT3203 Fundamentals of Software Engineering (Compulsory) BIT 2 nd YEAR SEMESTER 3

IT3203 Fundamentals of Software Engineering (Compulsory) BIT 2 nd YEAR SEMESTER 3 Fundamentals of Software Engineering (Compulsory) BIT 2 nd YEAR SEMESTER 3 INTRODUCTION This course is designed to provide the students with the basic competencies required to identify requirements, document

More information

Change Pattern-Driven Traceability of Business Processes

Change Pattern-Driven Traceability of Business Processes Proceedings of the International MultiConference of Engineers and Computer Scientists 2014 Vol I,, March 12-14, 2014, Hong Kong Change Pattern-Driven Traceability of Business Processes Watcharin Uronkarn

More information

A Process Model for Software Architecture

A Process Model for Software Architecture 272 A Process Model for Software A. Rama Mohan Reddy Associate Professor Dr. P Govindarajulu Professor Dr. M M Naidu Professor Department of Computer Science and Engineering Sri Venkateswara University

More information

CS 389 Software Engineering. Lecture 2 Chapter 2 Software Processes. Adapted from: Chap 1. Sommerville 9 th ed. Chap 1. Pressman 6 th ed.

CS 389 Software Engineering. Lecture 2 Chapter 2 Software Processes. Adapted from: Chap 1. Sommerville 9 th ed. Chap 1. Pressman 6 th ed. CS 389 Software Engineering Lecture 2 Chapter 2 Software Processes Adapted from: Chap 1. Sommerville 9 th ed. Chap 1. Pressman 6 th ed. Topics covered Software process models Process activities Coping

More information

Software Project Management and Support - Practical Support for CMMI -SW Project Documentation: Using IEEE Software Engineering Standards

Software Project Management and Support - Practical Support for CMMI -SW Project Documentation: Using IEEE Software Engineering Standards Software Project Management and Support - Practical Support for CMMI -SW Project Documentation: Using IEEE Software Engineering Standards John Walz The Sutton Group IEEE Computer Society Standards Activities

More information

R I T. IEEE Computer Society Certified Software Development Professional (CSDP) Exam. Buenos Aires, Argentina Junio de 2006. Software Engineering

R I T. IEEE Computer Society Certified Software Development Professional (CSDP) Exam. Buenos Aires, Argentina Junio de 2006. Software Engineering IEEE Computer Society Certified Software Development Professional (CSDP) Exam Software Engineering Buenos Aires, Argentina Junio de 2006 Dr. J. Fernando Naveda Department of Software Engineering Rochester

More information

ISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN

ISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN ISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN Mohammad A. Rob, University of Houston-Clear Lake, rob@cl.uh.edu ABSTRACT In recent years, there has been a surge of

More information

SOFTWARE ENGINEERING IT 0301 Semester V B.Nithya,G.Lakshmi Priya Asst Professor SRM University, Kattankulathur

SOFTWARE ENGINEERING IT 0301 Semester V B.Nithya,G.Lakshmi Priya Asst Professor SRM University, Kattankulathur SOFTWARE ENGINEERING IT 0301 Semester V B.Nithya,G.Lakshmi Priya Asst Professor SRM University, Kattankulathur School of Computing, Department of IT 1 2 Process What is it? A series of predictable steps

More information

Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture

Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture Delmir de Azevedo Junior 1 and Renato de Campos 2 1 Petrobras University, Republican

More information

An Overview of Software Engineering Process and Its Improvement

An Overview of Software Engineering Process and Its Improvement An Overview of Software Engineering and Its Improvement O Alain April École de Technologie Supérieure, Montréal, Canada Claude Laporte École de Technologie Supérieure, Montréal, Canada Introduction The

More information

How To Write A Software Engineering Project Document Template

How To Write A Software Engineering Project Document Template DOCUMENT TEMPLATES FOR STUDENT PROJECTS IN SOFTWARE ENGINEERING Declan Delaney and Stephen Brown Department of Computer Science, National University of Ireland, Maynooth Date: August 2002 Technical Report:

More information

A Tool to Support Knowledge Based Software Maintenance: The Software Service Bay

A Tool to Support Knowledge Based Software Maintenance: The Software Service Bay A Tool to Support Knowledge Based Software Maintenance: The Software Service Bay Jonathan I. Maletic Robert G. Reynolds Computer Science Department Wayne State University 431 State Hall Detroit, MI 48202

More information

How To Understand Software Engineering

How To Understand Software Engineering PESIT Bangalore South Campus Department of MCA SOFTWARE ENGINEERING 1. GENERAL INFORMATION Academic Year: JULY-NOV 2015 Semester(s):III Title Code Duration (hrs) SOFTWARE ENGINEERING 13MCA33 Lectures 52Hrs

More information

Title: Topic 3 Software process models (Topic03 Slide 1).

Title: Topic 3 Software process models (Topic03 Slide 1). Title: Topic 3 Software process models (Topic03 Slide 1). Topic 3: Lecture Notes (instructions for the lecturer) Author of the topic: Klaus Bothe (Berlin) English version: Katerina Zdravkova, Vangel Ajanovski

More information

Umbrella: A New Component-Based Software Development Model

Umbrella: A New Component-Based Software Development Model 2009 International Conference on Computer Engineering and Applications IPCSIT vol.2 (2011) (2011) IACSIT Press, Singapore Umbrella: A New Component-Based Software Development Model Anurag Dixit and P.C.

More information

I.3 Quality Management

I.3 Quality Management I.3 Quality Management [Sommerville2004] Quality Management System [ISO 9000]: The organizational structure, responsibilities, procedures, processes and resources for implementing quality management Concerned

More information

Software Engineering/Courses Description Introduction to Software Engineering Credit Hours: 3 Prerequisite: 0306211(Computer Programming 2).

Software Engineering/Courses Description Introduction to Software Engineering Credit Hours: 3 Prerequisite: 0306211(Computer Programming 2). 0305203 0305280 0305301 0305302 Software Engineering/Courses Description Introduction to Software Engineering Prerequisite: 0306211(Computer Programming 2). This course introduces students to the problems

More information

CREDENTIALS & CERTIFICATIONS 2015

CREDENTIALS & CERTIFICATIONS 2015 THE COMMUNITY FOR TECHNOLOGY LEADERS www.computer.org CREDENTIALS & CERTIFICATIONS 2015 KEYS TO PROFESSIONAL SUCCESS CONTENTS SWEBOK KNOWLEDGE AREA CERTIFICATES Software Requirements 3 Software Design

More information

The Role of Software Quality in Agile Software Development Methodologies Osama Sohaib and Khalid Khan Abstract he various agile software development methodologies have promoted since their inception and

More information

A UML 2 Profile for Business Process Modelling *

A UML 2 Profile for Business Process Modelling * A UML 2 Profile for Business Process Modelling * Beate List and Birgit Korherr Women s Postgraduate College for Internet Technologies Institute of Software Technology and Interactive Systems Vienna University

More information

A Proposal for Constructing Relational Database from Class Diagram

A Proposal for Constructing Relational Database from Class Diagram A Proposal for Constructing Relational Database from Class Diagram Mohd Zainuri Saringat Faculty of Information Technology and Multimedia Universiti Tun Hussein Onn Malaysia Parit Raja, Batu Pahat, 86400,

More information

CHAPTER 7 SOFTWARE CONFIGURATION MANAGEMENT

CHAPTER 7 SOFTWARE CONFIGURATION MANAGEMENT CHAPTER 7 SOFTWARE CONFIGURATION MANAGEMENT John A. Scott and David Nisse Lawrence Livermore National Laboratory 7000 East Avenue P.O. Box 808, L-632 Livermore, CA 94550, USA (925) 423-7655 scott7@llnl.gov

More information

Design Specification for IEEE Std 1471 Recommended Practice for Architectural Description IEEE Architecture Working Group 0 Motivation

Design Specification for IEEE Std 1471 Recommended Practice for Architectural Description IEEE Architecture Working Group 0 Motivation Design Specification for IEEE Std 1471 Recommended Practice for Architectural Description IEEE Architecture Working Group 0 Motivation Despite significant efforts to improve engineering practices and technologies,

More information

Software Engineering. Christopher Simpkins chris.simpkins@gatech.edu. Chris Simpkins (Georgia Tech) CS 2340 Objects and Design CS 1331 1 / 16

Software Engineering. Christopher Simpkins chris.simpkins@gatech.edu. Chris Simpkins (Georgia Tech) CS 2340 Objects and Design CS 1331 1 / 16 Software Engineering Christopher Simpkins chris.simpkins@gatech.edu Chris Simpkins (Georgia Tech) CS 2340 Objects and Design CS 1331 1 / 16 Software Engineering Definition 3.2760 from ISO/IEC/IEEE 24765:2010(E)

More information

COURSE CODE : 4072 COURSE CATEGORY : A PERIODS / WEEK : 4 PERIODS / SEMESTER : 72 CREDITS : 4

COURSE CODE : 4072 COURSE CATEGORY : A PERIODS / WEEK : 4 PERIODS / SEMESTER : 72 CREDITS : 4 COURSE TITLE : SOFTWARE ENGINEERING COURSE CODE : 4072 COURSE CATEGORY : A PERIODS / WEEK : 4 PERIODS / SEMESTER : 72 CREDITS : 4 TIME SCHEDULE MODULE TOPICS PERIODS 1 Software engineering discipline evolution

More information

A Framework of Model-Driven Web Application Testing

A Framework of Model-Driven Web Application Testing A Framework of Model-Driven Web Application Testing Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, Chao Liu Software Engineering Institute, School of Computer Science and Engineering, Beihang University, China

More information

Configuration Management in Software Development Life Cycle

Configuration Management in Software Development Life Cycle 13 Configuration Management in Software Development Life Cycle Tejinder Kaur Sanjay Bhatnagar Deepali StudentComputer Application Associate Prof. Computer Assistant Prof. Computer Department, GZS PTU Applications

More information

Software Processes. The software process. Generic software process models. Waterfall model. Waterfall model phases

Software Processes. The software process. Generic software process models. Waterfall model. Waterfall model phases Software Processes CSC 221 Introduction to Software Engineering software processes extract from Sommerville s chapter 3 slides Alan Dix Coherent sets of activities for specifying, designing, implementing

More information

analytic technique (Software Quality -- Methods for SQA and V&V) -- See analysis. See also technique.

analytic technique (Software Quality -- Methods for SQA and V&V) -- See analysis. See also technique. Compilation of Software Engineering Terms allocation -- (1) The process of distributing requirements, resources, or other entities among the components of a system or program. (2) The result of the distribution

More information

CHAPTER 7 Software Configuration Management

CHAPTER 7 Software Configuration Management CHAPTER 7 Software Configuration Management ACRONYMS CCB CM FCA MTBF PCA SCCB SCI SCM SCMP SCR SCSA SEI/CMMI SQA SRS USNRC INTRODUCTION Configuration Control Board Configuration Management Functional Configuration

More information

Elite: A New Component-Based Software Development Model

Elite: A New Component-Based Software Development Model Elite: A New Component-Based Software Development Model Lata Nautiyal Umesh Kumar Tiwari Sushil Chandra Dimri Shivani Bahuguna Assistant Professor- Assistant Professor- Professor- Assistant Professor-

More information

Foundations of Model-Driven Software Engineering

Foundations of Model-Driven Software Engineering Model-Driven Software Engineering Foundations of Model-Driven Software Engineering Dr. Jochen Küster (jku@zurich.ibm.com) Contents Introduction to Models and Modeling Concepts of Model-Driven Software

More information

Contents. Introduction and System Engineering 1. Introduction 2. Software Process and Methodology 16. System Engineering 53

Contents. Introduction and System Engineering 1. Introduction 2. Software Process and Methodology 16. System Engineering 53 Preface xvi Part I Introduction and System Engineering 1 Chapter 1 Introduction 2 1.1 What Is Software Engineering? 2 1.2 Why Software Engineering? 3 1.3 Software Life-Cycle Activities 4 1.3.1 Software

More information

Chap 1. Introduction to Software Architecture

Chap 1. Introduction to Software Architecture Chap 1. Introduction to Software Architecture 1. Introduction 2. IEEE Recommended Practice for Architecture Modeling 3. Architecture Description Language: the UML 4. The Rational Unified Process (RUP)

More information

Formalization of Functional Requirements and Their Traceability in UML Diagrams A Z Notation Based Approach

Formalization of Functional Requirements and Their Traceability in UML Diagrams A Z Notation Based Approach Formalization of Functional Requirements and Their Traceability in UML Diagrams A Z Notation Based Approach Sabnam Sengupta 1,Swapan Bhattacharya 2 Department of Computer Science & Engineering, Jadavpur

More information

Software Configuration Management Draft Version 0.5

Software Configuration Management Draft Version 0.5 Software Configuration Management Draft Version 0.5 John A. Scott David Nisse Lawrence Livermore National Laboratory 7000 East Avenue P.O. Box 808, L-632 Livermore, CA 94550, USA (925) 423-7655 scott7@llnl.gov

More information

Software Configuration Management - A Review

Software Configuration Management - A Review Towards Component-based Software Maintenance via Software Configuration Management Techniques Leonardo Murta, Hamilton Oliveira, Cristine Dantas, Luiz Gustavo Lopes, Cláudia Werner {murta, hamilton, cristine,

More information

Requirements for Software Process Modeling Tools

Requirements for Software Process Modeling Tools Requirements for Software Process Modeling Tools Rodrigo M. Pagliares Computer Science Department Federal University of Minas Gerais (UFMG) Av. Antônio Carlos, 6627 CEP 31.270-010 Belo Horizonte MG - Brazil

More information

V. Phani Krishna et al, / (IJCSIT) International Journal of Computer Science and Information Technologies, Vol. 2 (6), 2011, 2915-2919

V. Phani Krishna et al, / (IJCSIT) International Journal of Computer Science and Information Technologies, Vol. 2 (6), 2011, 2915-2919 Software Quality Assurance in CMM and XP- A Comparative Study CH.V. Phani Krishna and Dr. K.Rajasekhara Rao CSE Department, KL University, Guntur dt., India. Abstract Software Quality Assurance is a planned

More information

SWEBOK Certification Program. Software Engineering Management

SWEBOK Certification Program. Software Engineering Management SWEBOK Certification Program Software Engineering Management Copyright Statement Copyright 2011. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted

More information

Analysis of Software Process Models and Applications

Analysis of Software Process Models and Applications Analysis of Software Process Models and Applications Abstract: The field of software engineering is related to the development of software. Large software needs systematic development. Simple Programs

More information

CHAPTER 2 LITERATURE SURVEY

CHAPTER 2 LITERATURE SURVEY CHAPTER 2 LITERATURE SURVEY This chapter describes the survey of existing literature on multiple views. Later, it presents literature survey conducted on frameworks for tool comparison and stakeholder

More information

An Effective Requirement Engineering Process Model for Software Development and Requirements Management

An Effective Requirement Engineering Process Model for Software Development and Requirements Management 2010 International Conference on Advances in Recent Technologies in Communication and Computing An Effective Requirement Engineering Process Model for Software Development and Management Dhirendra Pandey

More information

TOWARDS AN AUTOMATED EVALUATION PROCESS FOR SOFTWARE ARCHITECTURES

TOWARDS AN AUTOMATED EVALUATION PROCESS FOR SOFTWARE ARCHITECTURES TOWARDS AN AUTOMATED EVALUATION PROCESS FOR SOFTWARE ARCHITECTURES R. Bashroush, I. Spence, P. Kilpatrick, T.J. Brown Queen s University Belfast School of Computer Science 18 Malone Road, Belfast BT7 1NN,

More information

Improving Software Engineering Practice with HCI Aspects

Improving Software Engineering Practice with HCI Aspects Improving Software Engineering Practice with HCI Aspects Xavier Ferre Universidad Politecnica de Madrid xavier@fi.upm.es Ana M. Moreno Universidad Politecnica de Madrid ammoreno@fi.upm.es Abstract Techniques

More information

Research Topics in Software Engineering

Research Topics in Software Engineering MAP-I Programa Doutoral em Informática Research Topics in Software Engineering Unidade Curricular em Paradigmas da Computação Paradigms of Computation (UCPC) UMinho, FEUP July 23, 2009 Abstract This document

More information

Component visualization methods for large legacy software in C/C++

Component visualization methods for large legacy software in C/C++ Annales Mathematicae et Informaticae 44 (2015) pp. 23 33 http://ami.ektf.hu Component visualization methods for large legacy software in C/C++ Máté Cserép a, Dániel Krupp b a Eötvös Loránd University mcserep@caesar.elte.hu

More information

TOOLS FOR SOFTWARE ENGINEERS

TOOLS FOR SOFTWARE ENGINEERS IMPACT: International Journal of Research in Engineering & Technology (IMPACT: IJRET) ISSN(E): 2321-8843; ISSN(P): 2347-4599 Vol. 3, Issue 10, Oct 2015, 75-86 Impact Journals TOOLS FOR SOFTWARE ENGINEERS

More information

Round-Trip Software Engineering Using UML: From Architecture to Design and Back

Round-Trip Software Engineering Using UML: From Architecture to Design and Back Round-Trip Software Engineering Using UML: From Architecture to Design and Back Nenad Medvidovic Alexander Egyed David S. Rosenblum Computer Science Department University of Southern California Los Angeles,

More information

CS4507 Advanced Software Engineering

CS4507 Advanced Software Engineering CS4507 Advanced Software Engineering Lectures 2 & 3: Software Development Lifecycle Models A O Riordan, 2015 Some diagrams from Sommerville, some notes from Maciaszek/Liong Lifecycle Model Software development

More information

Karunya University Dept. of Information Technology

Karunya University Dept. of Information Technology PART A Questions 1. Mention any two software process models. 2. Define risk management. 3. What is a module? 4. What do you mean by requirement process? 5. Define integration testing. 6. State the main

More information

A Visual Language Based System for the Efficient Management of the Software Development Process.

A Visual Language Based System for the Efficient Management of the Software Development Process. A Visual Language Based System for the Efficient Management of the Software Development Process. G. COSTAGLIOLA, G. POLESE, G. TORTORA and P. D AMBROSIO * Dipartimento di Informatica ed Applicazioni, Università

More information

Software change management Technological dimension

Software change management Technological dimension International Journal l of Smart Home Software change management Technological dimension S. M. Ghosh 1, H. R. Sharma 1, V. Mohabay 2 1 Chhatrapati Shivaji Institute of Technology, Durg (CG) INDIA 2 Department

More information

Chapter 3. Software Processes

Chapter 3. Software Processes Chapter 3. Software Processes Coherent sets of activities for specifying, designing, implementing and testing software systems 1 Objectives To introduce the concept of software process and software process

More information

Quality Ensuring Development of Software Processes

Quality Ensuring Development of Software Processes Quality Ensuring Development of Software Processes ALEXANDER FÖRSTER,GREGOR ENGELS Department of Computer Science University of Paderborn D-33095 Paderborn, Germany {alfo engels}@upb.de ABSTRACT: Software

More information

Modeling Practices in Open Source Software

Modeling Practices in Open Source Software Modeling Practices in Open Source Software Omar Badreddin 1, Timothy C. Lethbridge 1, Maged Elassar 2 1 University of Ottawa 800 King Edward 2 IBM Ottawa Laboratories 770 Palladium Dr. Ottawa, Ontario,

More information

Viewpoint Modeling. Agenda. 1. Viewpoint Modeling 2. ODS, Enterprise Architecture, Viewpoints, Models 3. Modeling approaches and standards

Viewpoint Modeling. Agenda. 1. Viewpoint Modeling 2. ODS, Enterprise Architecture, Viewpoints, Models 3. Modeling approaches and standards Viewpoint Modeling Antonio Vallecillo Universidad de Málaga Dpto. Lenguajes y Ciencias de la Computación av@lcc.uma.es http://www.lcc.uma.es/~av Master en Ingeniería del Software e Inteligencia Artificial

More information

SOFTWARE DEVELOPMENT PLAN

SOFTWARE DEVELOPMENT PLAN SOFTWARE DEVELOPMENT PLAN This document outline is based on the IEEE Standard 1058.1-1987 for Software Project Management Plans. This is the controlling document for managing a software project, and it

More information

Lecture 3 Software Development Processes

Lecture 3 Software Development Processes Lecture 3 Software Development Processes Software Engineering ITCS 3155 Fall 2008 Dr. Jamie Payton Department of Computer Science University of North Carolina at Charlotte September 2, 2008 Lecture Overview

More information

CREDENTIALS & CERTIFICATIONS 2016

CREDENTIALS & CERTIFICATIONS 2016 THE COMMUNITY FOR TECHNOLOGY LEADERS www.computer.org CREDENTIALS & CERTIFICATIONS 2016 KEYS TO PROFESSIONAL SUCCESS CONTENTS SWEBOK KNOWLEDGE AREA CERTIFICATES Software Requirements 5 Software Design

More information

Agile Model-Based Systems Engineering (ambse)

Agile Model-Based Systems Engineering (ambse) Agile Model-Based Systems Engineering (ambse) Bruce Powel Douglass, Ph.D. Chief Evangelist, Global Technology Ambassador IBM Rational Bruce.Douglass@us.ibm.com Twitter: @BruceDouglass Yahoo: tech.groups.yahoo.com/group/rt-uml/

More information

Frank Tsui. Orlando Karam. Barbara Bernal. State. University. Polytechnic. Ail of Southern JONES & BARTLETT LEARNING

Frank Tsui. Orlando Karam. Barbara Bernal. State. University. Polytechnic. Ail of Southern JONES & BARTLETT LEARNING Frank Tsui Orlando Karam Barbara Bernal Ail of Southern Polytechnic State JONES & BARTLETT LEARNING University Preface Hi Chapter 1 Writing a Program 1 1.1 A Simple Problem 2 1.2 Decisions, Decisions 2

More information

Evaluating OO-CASE tools: OO research meets practice

Evaluating OO-CASE tools: OO research meets practice Evaluating OO-CASE tools: OO research meets practice Danny Greefhorst, Matthijs Maat, Rob Maijers {greefhorst, maat, maijers}@serc.nl Software Engineering Research Centre - SERC PO Box 424 3500 AK Utrecht

More information

Linking BPMN, ArchiMate, and BWW: Perfect Match for Complete and Lawful Business Process Models?

Linking BPMN, ArchiMate, and BWW: Perfect Match for Complete and Lawful Business Process Models? Linking BPMN, ArchiMate, and BWW: Perfect Match for Complete and Lawful Business Process Models? Ludmila Penicina Institute of Applied Computer Systems, Riga Technical University, 1 Kalku, Riga, LV-1658,

More information

應 用 測 試 於 軟 體 發 展 生 命 週 期. Testing In The Software Development Life Cycle

應 用 測 試 於 軟 體 發 展 生 命 週 期. Testing In The Software Development Life Cycle The Second Management Innovation and Practices Conference, Tamsui, Taiwan, April 2001,Volume 2, pp59-68 應 用 測 試 於 軟 體 發 展 生 命 週 期 Testing In The Software Development Life Cycle 蔡 博 元 莊 立 文 真 理 大 學 資 訊

More information

Syllabus. REQB Certified Professional for Requirements Engineering. Foundation Level

Syllabus. REQB Certified Professional for Requirements Engineering. Foundation Level Syllabus REQB Certified Professional for Requirements Engineering Version 2.1 2014 The copyright to this edition of the syllabus in all languages is held by the Global Association for Software Quality,

More information

CMS Policy for Configuration Management

CMS Policy for Configuration Management Chief Information Officer Centers for Medicare & Medicaid Services CMS Policy for Configuration April 2012 Document Number: CMS-CIO-POL-MGT01-01 TABLE OF CONTENTS 1. PURPOSE...1 2. BACKGROUND...1 3. CONFIGURATION

More information

Objectives. The software process. Basic software process Models. Waterfall model. Software Processes

Objectives. The software process. Basic software process Models. Waterfall model. Software Processes Software Processes Objectives To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software

More information

DO-178B compliance: turn an overhead expense into a competitive advantage

DO-178B compliance: turn an overhead expense into a competitive advantage IBM Software Rational Aerospace and Defense DO-178B compliance: turn an overhead expense into a competitive advantage 2 DO-178B compliance: turn an overhead expense into a competitive advantage Contents

More information

RETRATOS: Requirement Traceability Tool Support

RETRATOS: Requirement Traceability Tool Support RETRATOS: Requirement Traceability Tool Support Gilberto Cysneiros Filho 1, Maria Lencastre 2, Adriana Rodrigues 2, Carla Schuenemann 3 1 Universidade Federal Rural de Pernambuco, Recife, Brazil g.cysneiros@gmail.com

More information

A Comparison of Computer Science and Software Engineering Programmes in English Universities

A Comparison of Computer Science and Software Engineering Programmes in English Universities A Comparison of Computer Science and Software Engineering Programmes in English Universities Farid Meziane and Sunil Vadera School of Computing, Science and Engineering University of Salford, Salford M5

More information

Software Process and Models

Software Process and Models Agenda Software Process Models Plan-driven Process Models Software Process and Models A software process model simplified, abstracted description of a software development process. A model is good for

More information

UML-based Conceptual Design Approach for Modeling Complex Processes in Web Application

UML-based Conceptual Design Approach for Modeling Complex Processes in Web Application UML-based Conceptual Design Approach for Modeling Complex Processes in Web Application Siti Azreena Mubin Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, 43400 Serdang,

More information

The Software Engineering Competency Model (SWECOM)

The Software Engineering Competency Model (SWECOM) The Software Engineering Competency Model (SWECOM) presented by Dick Fairley Software and Systems Engineering Associates (S2EA) d.fairley@computer.org Copyright Dick Fairley 2014 slide 1 Presentation Agenda

More information

Software Engineering. Session 3 Main Theme Requirements Definition & Management Processes and Tools Dr. Jean-Claude Franchitti

Software Engineering. Session 3 Main Theme Requirements Definition & Management Processes and Tools Dr. Jean-Claude Franchitti Software Engineering Session 3 Main Theme Requirements Definition & Management Processes and Tools Dr. Jean-Claude Franchitti New York University Computer Science Department Courant Institute of Mathematical

More information

Agile Software Engineering Practice to Improve Project Success

Agile Software Engineering Practice to Improve Project Success Agile Software Engineering Practice to Improve Project Success Dietmar Winkler Vienna University of Technology Institute of Software Technology and Interactive Systems dietmar.winkler@qse.ifs.tuwien.ac.at

More information

today 1,700 special programming languages used to communicate in over 700 application areas.

today 1,700 special programming languages used to communicate in over 700 application areas. today 1,700 special programming languages used to communicate in over 700 application areas. Computer Software Issues, an American Mathematical Association Prospectus, July 1965, quoted in P. J. Landin

More information

Principles of integrated software development environments. Learning Objectives. Context: Software Process (e.g. USDP or RUP)

Principles of integrated software development environments. Learning Objectives. Context: Software Process (e.g. USDP or RUP) Principles of integrated software development environments Wolfgang Emmerich Professor of Distributed Computing University College London http://sse.cs.ucl.ac.uk Learning Objectives Be able to define the

More information

International Association of Scientific Innovation and Research (IASIR) (An Association Unifying the Sciences, Engineering, and Applied Research)

International Association of Scientific Innovation and Research (IASIR) (An Association Unifying the Sciences, Engineering, and Applied Research) International Association of Scientific Innovation and Research (IASIR) (An Association Unifying the Sciences, Engineering, and Applied Research) International Journal of Engineering, Business and Enterprise

More information

Semantic Object Language Whitepaper Jason Wells Semantic Research Inc.

Semantic Object Language Whitepaper Jason Wells Semantic Research Inc. Semantic Object Language Whitepaper Jason Wells Semantic Research Inc. Abstract While UML is the accepted visual language for object-oriented system modeling, it lacks a common semantic foundation with

More information

An Introduction to Software Engineering

An Introduction to Software Engineering An Introduction to Software Engineering Software engineering is concerned with all aspects of software production from the early stages of system specification through to maintaining the system after it

More information

Architecture Centric Development in Software Product Lines

Architecture Centric Development in Software Product Lines Architecture Centric Development in Software Product Lines Aurangzeb Khan DCE, College of E & ME National University of Science and Technology (NUST), Pakistan Farooque Azam DCE, College of E & ME National

More information

Thesis seminar THE7TF007

Thesis seminar THE7TF007 BIT The thesis is a system work 1 -(14) Thesis seminar The Thesis is a System Work Kirsti Jalasoja BIT The thesis is a system work 2 -(14) 1 Different types of theses 2 System development models 3 Development

More information

COMPARATIVE STUDY OF SOFTWARE TESTING TOOLS ON THE BASIS OF SOFTWARE TESTING METHODOLOGIES

COMPARATIVE STUDY OF SOFTWARE TESTING TOOLS ON THE BASIS OF SOFTWARE TESTING METHODOLOGIES International Journal of Advance Research In Science And Engineering http://www.ijarse.com COMPARATIVE STUDY OF SOFTWARE TESTING TOOLS ON THE BASIS OF SOFTWARE TESTING METHODOLOGIES 1 Lav Kumar Dixit,

More information

Generating Aspect Code from UML Models

Generating Aspect Code from UML Models Generating Aspect Code from UML Models Iris Groher Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich, Germany Iris.Groher@fh-hagenberg.at Stefan Schulze Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich,

More information

Software Quality Development and Assurance in RUP, MSF and XP - A Comparative Study

Software Quality Development and Assurance in RUP, MSF and XP - A Comparative Study Software Quality Development and Assurance in RUP, MSF and XP - A Comparative Study Wolfgang Zuser Vienna University of Technology wolfgang.zuser@inso.tuwien.ac.at Stefan Heil Capgemini Consulting Austria

More information

VDM vs. Programming Language Extensions or their Integration

VDM vs. Programming Language Extensions or their Integration VDM vs. Programming Language Extensions or their Integration Alexander A. Koptelov and Alexander K. Petrenko Institute for System Programming of Russian Academy of Sciences (ISPRAS), B. Communisticheskaya,

More information