Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
The design of the C++ Booch Components
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Eiffel: the language
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
An axiomatic basis for computer programming
Communications of the ACM
Software Engineering Economics
Software Engineering Economics
The Java Language Specification
The Java Language Specification
Computer
Certification of Software Components
IEEE Transactions on Software Engineering
Cleanroom Software Engineering
IEEE Software
Hi-index | 0.00 |
The problem of composing a system from well-behaving components is discussed. Specifically, necessary conditions for preserving the behaviour in a system context are analysed in this paper. Such conditions are defined as Context-Dependent Constraints (CDC). A non-formal approach is taken based on common system integration errors. It is suggested that the identification and verification of CDCs should be part of any development method based on component verification. The CDCs can also serve as an aid for designing reliable and maintainable systems, where the goal of the design process is to reduce the number of CDCs.