How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Enhancing component specification by behavior description: the SOFA experience
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Semantics for Contract-Based Software Components
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
An Approach to Behavioral Subtyping Based on Static Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Specifying subtypes in SCJ programs
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded 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 case study on expressiveness and performance of component-oriented parallel programming
Journal of Parallel and Distributed Computing
| Hi-index | 0.01 |