Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Abstraction and specification in program development
Abstraction and specification in program development
IEEE Transactions on Software Engineering
Systematic software development using VDM
Systematic software development using VDM
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
An introduction to discrete mathematics
An introduction to discrete mathematics
The annotated C++ reference manual
The annotated C++ reference manual
Object oriented design with applications
Object oriented design with applications
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Practical Smalltalk: using Smalltalk/V
Practical Smalltalk: using Smalltalk/V
Object-oriented design
Function preconditions in object oriented software
ACM SIGPLAN Notices
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Designing object-oriented software
Designing object-oriented software
An object-oriented formal specification language and support environment
An object-oriented formal specification language and support environment
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
The Specification of Complex Systems
The Specification of Complex Systems
Hi-index | 0.00 |