A logical framework for design composition
Proceedings of the 22nd international conference on Software engineering
Designing an aspect-oriented framework in an object-oriented environment
ACM Computing Surveys (CSUR)
A Framework for Evaluating Distributed Object Models and its Application to Web Engineering
Annals of Software Engineering
Ten Good Practices in Scientific Programming
Computing in Science and Engineering
Making Components Contract Aware
Computer
Software Engineering in the Academy
Computer
Testing Component-Based Software: A Cautionary Tale
IEEE Software
Formal Methods for Component Software: The Refinement Calculus Perspective
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
From diagnosis to diagnosability: axiomatization, measurement and application
Journal of Systems and Software
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
Supporting behavioral contracts for COM components
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
API documentation with executable examples
Journal of Systems and Software
Embracing Dynamic Evolution in Distributed Systems
IEEE Software
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
A component quality assurance process
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Eiffel as a Framework for Verification
Verified Software: Theories, Tools, Experiments
FM '08 Proceedings of the 15th international symposium on Formal Methods
A retrospective on software component quality models
ACM SIGSOFT Software Engineering Notes
An approach for component testing and its empirical validation
Proceedings of the 2009 ACM symposium on Applied Computing
The need for transforming the COTS component quality evaluation standard mirage to reality
ACM SIGSOFT Software Engineering Notes
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Quality assessment of human behavior models
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
A software component quality framework
ACM SIGSOFT Software Engineering Notes
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards trusted composition in software design
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
A component model for hard real-time systems: CCM with ARINC-653
Software—Practice & Experience
Understanding CS1 students; defective software
Communications of the ACM
Testing COM components using software fault injection and mutation analysis, and its empirical study
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Enhancing web services description and discovery to facilitate composition
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Supporting tools for designing-by-contract in component-based applications
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Dependable Systems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Family-based deductive verification of software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Review: Evaluation of the reliability and validity of GraphClick as a data extraction program
Computers in Human Behavior
Hi-index | 4.12 |
Design by contract is the principle that the interfaces between modules of a software system-especially a mission-critical one-should be governed by precise specifications. The contracts cover mutual obligations (pre-conditions), benefits (post-conditions), and consistency constraints (invariants). Together, these properties are known as assertions, and are directly supported in some design and programming languages. A recent $500 million software error provides a sobering reminder that this principle is not just a pleasant academic ideal. On June 4, 1996, the maiden flight of the European Ariane 5 launcher crashed, about 40 seconds after takeoff. The rocket was uninsured. The French space agency, CNES (Centre National d'Etudes Spatiales), and the European Space Agency (ESA) immediately appointed an international inquiry board. The board makes several recommendations with respect to software process improvement. There is a simple lesson to be learned from this event: reuse without a precise, rigorous specification mechanism is a risk of potentially disastrous proportions. It is regrettable that this lesson has not been heeded by such recent designs as IDL, Ada 95 or Java. None of these languages has built-in support for design by contract. Effective reuse requires design by contract. Without a precise specification attached to each reusable component, no-one can trust a supposedly reusable component. Without a specification, it is probably safer to redo than to reuse