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