Searching for authors named "Nele Smeets" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
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
Showing 1 through 3.
