|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 32 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Raymond T. Boute |
Pointfree expression and calculation: from quantification to temporal logic.  |
Formal Methods in System Design  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Boca, Raymond T. Boute, David Duce, José Oliveira |
Editorial. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Teaching and practicing computer science at the university level. |
SIGCSE Bulletin |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Making Temporal Logic Calculational: A Tool for Unification and Discovery. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Simple Gedanken Experiments in Leveraging Applications of Formal Methods. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Calculational semantics: Deriving programming theories from equations by functional predicate calculus. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics |
| 1 | Raymond T. Boute |
Using Domain-Independent Problems for Introducing Formal Methods. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Functional declarative language design and predicate calculus: a practical approach. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics |
| 1 | Raymond T. Boute, Andreas Schäfer |
The Timer Cascade: Functional Modelling and Real Time Calculi. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Neville Dean, Raymond T. Boute (eds.) |
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings |
TFM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Raymond T. Boute |
Integrating Formal Methods by Unifying Abstractions. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations. |
IFIP Congress Tutorials |
2004 |
DBLP BibTeX RDF |
|
| 1 | Raymond T. Boute |
Concrete Generic Functionals. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
| 1 | Raymond T. Boute |
Supertotal Function Definition in Mathematics and Software Engineering. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness |
| 1 | Raymond T. Boute |
The Euclidian Definition of the Functions div and mod. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
Euclid's theorem, div function, hardware description, integer division, mod function, predefined functions, remainder, interpolation, sampling, residue, decimation, number representation |
| 1 | Victoria Stavridou, Thomas F. Melham, Raymond T. Boute (eds.) |
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 |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Raymond T. Boute |
Declarative Languages For CAD: The Return From Algorithm Design Back To System Design. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Raymond T. Boute |
A Heretical View on Type Embedding. |
SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Representational and Denotational Semantics of Digital Systems. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
representational semantics, input/output transformation, abstract mathematical functions, function definitions, functional recast, mappings, digital arithmetic, denotational semantics, number theory, digital systems, digital systems |
| 1 | Raymond T. Boute |
System Semantics: Principles, Applications, and Implementation. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Functional Formalisms for System Description: Current Research Topics. |
Embedded Systems |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
An Introduction to System Semantics. |
Embedded Systems |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Elements for the Formal Description of Systems. |
Embedded Systems |
1986 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")