Searching for authors named "Eric Steegmans" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
A Decision Procedure for Semantical Equivalence of Thin FM Specifications
- … a,1 and Eric Steegmans a a Katholieke Universiteit Leuven, Department of Computer Science…
- Add To MetaCart
-
Proving Semantical Equivalence of Data Specifications
- …Proving Semantical Equivalence of Data Specifications Frank Piessens ∗ and Eric Steegmans April 22…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Non-Determinism for the Separate Specification of Structure and
- … Eric Steegmans Report CW 337, April 2002 n Katholieke Universiteit Leuven Department of Computer…
- Add To MetaCart
-
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
-
ô Ô-ÔvÞ›ãRÔ ‘ÔìvÔA New Pedagogy for Programming
- …JÖ»Ë:Å:À~¹‰Ä™¸rÐfº ùfúüû±ý+®½þ î ¶ ²fùfÿ¦µÁ° ° ±¶ µr² ñ ô Ô-ÔvÞ›ãRÔ ‘ÔìvÔA New Pedagogy for Programming Jan Dockx, Eric…
- Add To MetaCart
-
Whole-Program Specifications Permit Better Abstraction and Concurrent Implementations
- …, Frank Piessens, Pieter Bekaert, and Eric Steegmans Department of Computer Science Katholieke…
- Add To MetaCart
-
A higher abstraction level using first-class inheritance relations
- …A Higher Abstraction Level using First-Class Inheritance Relations Marko van Dooren and Eric…
- Cited by 1 (1 self) – Add To MetaCart
-
Marko van Dooren
- …Jutil.org Jan Dockx Marko van Dooren Eric Steegmans Report CW 342, June 2002 Katholieke…
- Add To MetaCart
-
Invocation
- …Integrating ServiceJ with The Web Service Invocation Framework Sven De Labey Eric Steegmans Report…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
