Travelled to:1 × Canada
1 × France
1 × Italy
1 × Switzerland
1 × USA
Collaborated with:R.F.Paige F.A.Torshizi L.Kaminskaya J.Lancaric
Talks about:bon (3) specif (2) formal (2) model (2) case (2) comparison (1) metamodel (1) strength (1) principl (1) industri (1)
Person: Jonathan S. Ostroff
DBLP: Ostroff:Jonathan_S=
Contributed to:
2007
2002
2001
2001
1999
1999
1998Wrote 7 papers:
- TAP-2007-OstroffT #requirements #specification
- Testable Requirements and Specifications (JSO, FAT), pp. 17–40.
- TOOLS-USA-2002-PaigeKOL #automation #named #reasoning #specification
- BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning (RFP, LK, JSO, JL), pp. 77–96.
- FASE-2001-PaigeO #consistency #metamodelling
- Metamodelling and Conformance Checking with PVS (RFP, JSO), pp. 2–16.
- RE-2001-PaigeO #principle
- The Single Model Principle (RFP, JSO), pp. 292–293.
- FM-v1-1999-PaigeO #formal method
- Developing BON as an Industrial-Strength Formal Method (RFP, JSO), pp. 834–853.
- UML-1999-PaigeO #comparison #modelling
- A Comparison of the Business Object Notation and the Unified Modelling Language (RFP, JSO), pp. 67–82.
- ASE-1998-PaigeO #eiffel
- From Z to BON/Eiffel (RFP, JSO), pp. 209–212.