 | 2010 |
|---|
| 23 |       | Raymond T. Boute:
Pointfree expression and calculation: from quantification to temporal logic.
Formal Methods in System Design 37(2-3): 95-140 (2010) |
| 2009 |
|---|
| 22 | | Raymond T. Boute:
Making Temporal Logic Calculational: A Tool for Unification and Discovery.
FM 2009: 387-402 |
| 21 | | Paul Boca,
Raymond T. Boute,
David Duce,
José Oliveira:
Editorial.
Formal Asp. Comput. 21(3): 225 (2009) |
| 20 | | Raymond T. Boute:
Teaching and practicing computer science at the university level.
SIGCSE Bulletin 41(2): 24-30 (2009) |
| 2008 |
|---|
| 19 | | Raymond T. Boute:
Simple Gedanken Experiments in Leveraging Applications of Formal Methods.
ISoLA 2008: 847-861 |
| 2006 |
|---|
| 18 | | Raymond T. Boute:
Using Domain-Independent Problems for Introducing Formal Methods.
FM 2006: 316-331 |
| 17 | | Raymond T. Boute:
Calculational semantics: Deriving programming theories from equations by functional predicate calculus.
ACM Trans. Program. Lang. Syst. 28(4): 747-793 (2006) |
| 2005 |
|---|
| 16 | | Raymond T. Boute,
Andreas Schäfer:
The Timer Cascade: Functional Modelling and Real Time Calculi.
ICTAC 2005: 242-256 |
| 15 | | Raymond T. Boute:
Functional declarative language design and predicate calculus: a practical approach.
ACM Trans. Program. Lang. Syst. 27(5): 988-1047 (2005) |
| 2004 |
|---|
| 14 |  | C. Neville Dean,
Raymond T. Boute:
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings
Springer 2004 |
| 13 | | Raymond T. Boute:
Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations.
IFIP Congress Tutorials 2004: 85-114 |
| 12 | | Raymond T. Boute:
Integrating Formal Methods by Unifying Abstractions.
IFM 2004: 441-460 |
| 2002 |
|---|
| 11 | | Raymond T. Boute:
Concrete Generic Functionals.
Generic Programming 2002: 89-119 |
| 2000 |
|---|
| 10 | | Raymond T. Boute:
Supertotal Function Definition in Mathematics and Software Engineering.
IEEE Trans. Software Eng. 26(7): 662-672 (2000) |
| 1992 |
|---|
| 9 | | Victoria Stavridou,
Thomas F. Melham,
Raymond T. Boute:
Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings
North-Holland 1992 |
| 8 | | Raymond T. Boute:
Declarative Languages For CAD: The Return From Algorithm Design Back To System Design.
IFIP Congress (1) 1992: 711 |
| 7 | | Raymond T. Boute:
The Euclidian Definition of the Functions div and mod.
ACM Trans. Program. Lang. Syst. 14(2): 127-144 (1992) |
| 1990 |
|---|
| 6 | | Raymond T. Boute:
A Heretical View on Type Embedding.
SIGPLAN Notices 25(1): 25-28 (1990) |
| 1989 |
|---|
| 5 | | Raymond T. Boute:
Representational and Denotational Semantics of Digital Systems.
IEEE Trans. Computers 38(7): 986-999 (1989) |
| 1988 |
|---|
| 4 | | Raymond T. Boute:
System Semantics: Principles, Applications, and Implementation.
ACM Trans. Program. Lang. Syst. 10(1): 118-155 (1988) |
| 1986 |
|---|
| 3 | | Raymond T. Boute:
Functional Formalisms for System Description: Current Research Topics.
Embedded Systems 1986: 108-126 |
| 2 | | Raymond T. Boute:
Elements for the Formal Description of Systems.
Embedded Systems 1986: 63-90 |
| 1 | | Raymond T. Boute:
An Introduction to System Semantics.
Embedded Systems 1986: 91-107 |
Data released under the ODC-BY 1.0 license — See also our legal information page