Browsing by Author "Boute, Raymond"
- Results per page
- Sort Options
Publication Can lightweight formal methods carry the weight?
Boute, RaymondProceedings paper2003, Teaching Formal Methods, A One Day Workshop at Oxford Brookes University, 12/12/2003, p.47-55Publication Concrete generic functionals: principles, design and applications
Boute, RaymondBook chapter2003Publication Formal calculation unifying engineering theories beyond software
Boute, RaymondOral presentation2004, 'Marktoberdorf Summer School' Engineering Theories of Software Intensive SystemsPublication Formal calculation unifying engineering theories beyond software
Boute, RaymondOral presentation2004, Guest Lecture at the NATO ASI Summer School MarktoberdorfPublication Formal calculation with functions, predicates and quantifiers
Boute, RaymondProceedings paper2003, International Conference on Software Engineering and Formal Methods, 22/09/2003Publication Formal methods as a unifying basis for electrical and computer engineering
Boute, RaymondOral presentation2005, Formal Methods Conference -FMPublication Formal methods unifying computing science and systems theory
Boute, RaymondProceedings paper2004, International Conference on Cybernetics and Information Technologies, Systems and Applications, CITSA /ISAS, 21/07/2004, p.84-89Publication Formal methods unifying computing science and systems theory
Boute, RaymondOral presentation2004, Center for Hybrid and Embedded Software Systems (CHESS) SeminarPublication Formal reasoning about systems, software and hardware
Boute, RaymondProceedings paper2004-01, Information Technology - Selected Tutorials - IFIP 18th World Computer Congress, 22/08/2004, p.85-114Publication Functional declarative language design and predicate calculus: a practical approach
Boute, RaymondJournal article2005, ACM Transactions on Programming Languages and Systems, (27) 5, p.988-1047Publication Functional predicate calculus and generic functionals in software engineering
Boute, RaymondOral presentation2004, 1st International Colloquium on Theoretical Aspects of ComputingPublication Functional predicate calculus and generic functionals in software engineering (Tutorial 6)
Boute, RaymondOral presentation2004, 1st International Colloquium on Theoretical Aspects of Computing - ICTACPublication Integrating formal methods by unifying abstractions
Boute, RaymondProceedings paper2004, Integrated Formal Methods, 4th International Conference, IFM, 4/04/2004, p.441-460Publication Integrating formal methods by unifying abstractions
Boute, RaymondProceedings paper2004-01, Integrated Formal Methods: 4th International Conference, IFM 2004. Proceedings, 4/04/2004, p.441-460Publication Making CS and classical EE meet: unification by formalization
Boute, RaymondOral presentation2004, Stanford Computer Systems Laboratory ColloquiumPublication Making CS and classical EE meet: unification by formalization
Boute, RaymondOral presentation2004, Stanford Computer Systems Laboratory ColloquiumPublication Moving a rectangle around a corner - geometrically
Boute, RaymondJournal article2004, American Mathematical Monthly, (111) 5, p.435-437Publication Signal processing functions, algorithms and smurfs: the need for declarativity
Boute, RaymondProceedings paper2005, Proceedings of SPS-DARTS, the first annual IEEE BENELUX/DSP Valley Signal Processing Symposium, 19/04/2005, p.109-114Publication Systematic functional design of an XML editor