Browsing by author "Boute, Raymond"
Now showing items 1-20 of 24
-
Can lightweight formal methods carry the weight?
Boute, Raymond (2003) -
Concrete generic functionals: principles, design and applications
Boute, Raymond (2003) -
Formal calculation unifying engineering theories beyond software
Boute, Raymond (2004) -
Formal calculation unifying engineering theories beyond software
Boute, Raymond (2004) -
Formal calculation with functions, predicates and quantifiers
Boute, Raymond (2003) -
Formal methods as a unifying basis for electrical and computer engineering
Boute, Raymond (2005) -
Formal methods unifying computing science and systems theory
Boute, Raymond (2004) -
Formal methods unifying computing science and systems theory
Boute, Raymond (2004) -
Formal reasoning about systems, software and hardware
Boute, Raymond (2004-01) -
Formal reasoning about systems, software and hardware
Boute, Raymond (2004) -
Functional declarative language design and predicate calculus: a practical approach
Boute, Raymond (2005) -
Functional predicate calculus and generic functionals in software engineering
Boute, Raymond (2004) -
Functional predicate calculus and generic functionals in software engineering (Tutorial 6)
Boute, Raymond (2004) -
Integrating formal methods by unifying abstractions
Boute, Raymond (2004-01) -
Integrating formal methods by unifying abstractions
Boute, Raymond (2004) -
Making CS and classical EE meet: unification by formalization
Boute, Raymond (2004) -
Making CS and classical EE meet: unification by formalization
Boute, Raymond (2004) -
Moving a rectangle around a corner - geometrically
Boute, Raymond (2004) -
Signal processing functions, algorithms and smurfs: the need for declarativity
Boute, Raymond (2005) -
Systematic functional design of an XML editor
Verlinde, Hannes; Boute, Raymond (2004)