- A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems (Extended Abstract)
- Specification-Driven Development of an Executable Metamodel in Eiffel Richard F. Paige
- Metamodel-Based Model Conformance and Multiview Consistency Checking
- Symposium on Concurrency, Real-Time, and Distribution in
- Vol. 4, No. 7, SeptemberOctober 2005 E-Tester: a Contract-Aware and Agent-Based
- Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
- Agile Specification-Driven Development Jonathan S. Ostroff1
- B O N D e v e l o p m e n t T o o l A l i T a l e g h a n i
- Formalising Eiffel References and Expanded Types in Richard Paige1
- Theorem Proving Support for View Consist-ency Checking
- The Single Model Principle Richard Paige
- MULTI-VIEW CONSISTENCY CHECKING OF BON SOFTWARE DESCRIPTION DIAGRAMS
- ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code
- Developing BON as an Industrial-Strength Formal Method
- A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams
- A Comparison of the Business Object Notation and the Unified Modeling Language
- DOI 10.1007/s00165-003-0024-3 Formal Aspects of Computing (2004) 16: 5179
- Formal Methods for the Specification and Design of RealTime Safety Critical
- Testable Requirements and Specifications Jonathan S. Ostroff and Faraz Ahmadi Torshizi
- SIMPLE CONCURRENT OBJECT ORIENTED PROGRAMMING
- An Extensible CASE Tool for Formal Specification and Reasoning
- Checking the Consistency of Collaboration and Class Diagrams using PVS
- Under consideration for publication in Formal Aspects of Computing Beyond Contracts for Concurrency
- CONTRACTUAL CONSISTENCY BETWEEN BON STATIC AND DYNAMIC DIAGRAMS
- DOI 10.1007/s00165-007-0063-2 Formal Aspects of Computing
- Automated Model-based Verification of Object-Oriented Code Jonathan Ostroff, Chen-Wei (Jackie) Wang, Eric Kerfoot and Faraz Ahmadi Torshizi
- From Z to BON/Eiffel Richard F. Paige and Jonathan S. Ostroff
- Composition and Refinement of Discrete Real-Time Systems
- Analysis of Critical Scientific Software Jacques Carette, Chris George, Zarrin Langari, Mark Lawford, Tom
