Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
Method redefinition: ensuring alternative behaviors
Information Processing Letters
Model variables: cleanly supporting abstraction in design by contract: Research Articles
Software—Practice & Experience
Teaching quality object-oriented programming
Journal on Educational Resources in Computing (JERIC)
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
Formal Methods in System Design
A different need for sequencing contracts using state-based aspects
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
Prototyping System Requirements Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Automating regression test selection based on UML designs
Information and Software Technology
A Test-oriented Embedded System Production Methodology
Journal of Signal Processing Systems
Method redefinition---ensuring alternative behaviors
Information Processing Letters
Formal design and implementation of constraints in software components
Advances in Engineering Software
Testing properties of generic functions
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Software architecture awareness in long-term software product evolution
Journal of Systems and Software
AutoPA: automatic prototyping from requirements
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Developing service oriented architectures for increasing software application's reliability
Proceedings of the 12th International Conference on Computer Systems and Technologies
Specification of invariability in OCL
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Beyond assertions: advanced specification and verification with JML and ESC/Java2
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A methodology for writing class contracts
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Generating a prototype from a UML model of system requirements
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Designing a domain-specific contract language: a metamodelling approach
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Dependable Systems
Are practitioners writing contracts?
Rigorous Development of Complex Fault-Tolerant Systems
Making specifications complete through models
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Model-driven paradigms: the evolution of a university course
Proceedings of the 8th edition of the Educators' Symposium
| Hi-index | 0.00 |
Design by Contract, by Example is the first book of its kind to offer an example-based approach to learning this important paradigm. If you are a developer seeking ways to improve your craft, this book will give you the deeper understanding of contracts in software design that you've been looking for.