Searching for authors named "Nele Smeets" – sorted by Relevance.
-
Specification of Composed Behaviour
- Beyond Design by Contract: Formal Specification of Composed Behaviour Nele Smeets Eric Steegmans
- Add To MetaCart
-
Celestijnenlaan 200A – B-3001 Heverlee (Belgium) A Methodology for Writing Class Contracts
- A Methodology for Writing Class Contracts Nele Smeets Eric Steegmans Report CW399, January 2005
- Add To MetaCart
-
Celestijnenlaan 200A – B-3001 Heverlee (Belgium) A New Semantics for JML Signals Clauses
- A New Semantics for JML Signals Clauses Kristof Mertens Nele Smeets Marko van Dooren Jan Dockx
- Add To MetaCart

