Software errors and complexity: an empirical investigation0
Communications of the ACM
Software Development Environments
Computer
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Designing object-oriented software
Designing object-oriented software
An analysis of defect densities found during software inspections
Journal of Systems and Software
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Strategies for incorporating formal specifications in software development
Communications of the ACM
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
The Science of Programming
A Discipline of Programming
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Integrating object-oriented analysis and formal specifications
ACM SIGSOFT Software Engineering Notes
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |
This working group focused on the discussion of integrating techniques. There are many different dimensions of software development that can potentially involve integration. Examples include integrating different views of a software system (e.g., data, processing), domain-independent versus domain-specification information, legacy software with newly developed software, and existing techniques with newly developed techniques. The majority of the discussion focused on the integration of informal and formal techniques for software development. The group concluded that there are two general approaches to achieve this integration. The first approach, one that has been studied the most extensively, is called transformation. Rules are needed to transform the informal notation to the formal notation. The second approach, called convergence, refers to refinement of an informal notation to a more formal notation.