BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
case (2)
xai (2)
develop (2)
formal (2)
method (2)

Stem bon$ (all stems)

8 papers:

PODSPODS-2015-MartensNNS #named #xml
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema (WM, FN, MN, TS), pp. 145–156.
Developing and Analyzing XSDs through BonXai (WM, FN, MN, TS), pp. 1994–1997.
CSCWCSCW-2012-Aizenbud-ReshefBGDK #enterprise #social
Bon voyage: social travel planning in the enterprise (NAR, AB, IG, YD, SKD), pp. 819–828.
TOOLSTOOLS-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.
FMFM-v1-1999-PaigeO #formal method
Developing BON as an Industrial-Strength Formal Method (RFP, JSO), pp. 834–853.
ASEASE-1998-PaigeO #eiffel
From Z to BON/Eiffel (RFP, JSO), pp. 209–212.
TOOLSTOOLS-USA-1998-Walden #analysis #contract #design #named
BON: Seamless, Reversible, Contract-Based Analysis and Design (KW), p. 445.
TOOLSTOOLS-USA-1997-Walden #analysis #design #reuse
The BON Method: Analysis and Design for Reusability (KW), p. 372.

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.