BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ostroff:Jonathan_S=

Contributed to:

TAP 20072007
TOOLS USA 20022002
FASE 20012001
RE 20012001
World Congress on Formal Methods 19991999
UML 19991999
ASE 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.