| Publication | Date of Publication | Type |
|---|
Domain modelling: a foundation for software development
| 2024-02-28 | Paper |
Domain Analysis and Description – Sorts, Types, Intents
| 2023-04-13 | Paper |
To every manifest domain a CSP expression -- a rôle for mereology in computer science
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
Manifest domains: analysis and description
Formal Aspects of Computing | 2017-04-03 | Paper |
40 years of formal methods. Some obstacles and some possibilities?
Lecture Notes in Computer Science | 2015-02-10 | Paper |
Domain science and engineering from computer science to the sciences of informatics. II: Science
Cybernetics and Systems Analysis | 2014-10-30 | Paper |
Domain science and engineering from computer science to the sciences of informatics. I: Engineering
Cybernetics and Systems Analysis | 2014-06-05 | Paper |
Domain endurants. An analysis and description process model
Specification, Algebra, and Software | 2014-03-25 | Paper |
On mereologies in computing science
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
Domain engineering
Formal Methods: State of the Art and New Directions | 2010-04-23 | Paper |
Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
John Warner Backus: 3 Dec 1924-17 March 2007
Formal Aspects of Computing | 2008-06-25 | Paper |
From Domain to Requirements
Concurrency, Graphs and Models | 2008-06-19 | Paper |
scientific article; zbMATH DE number 2161254 (Why is no real title available?)
| 2005-04-25 | Paper |
Software engineering 1. Abstraction and modelling.
Texts in Theoretical Computer Science. An EATCS Series | 2005-04-25 | Paper |
Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
Texts in Theoretical Computer Science. An EATCS Series | 2005-04-25 | Paper |
scientific article; zbMATH DE number 2079849 (Why is no real title available?)
| 2004-08-03 | Paper |
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering | 2003-02-19 | Paper |
On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook
Journal of Universal Computer Science | 2002-01-07 | Paper |
Formal specification is an experimental science
Programming and Computer Software | 1997-01-23 | Paper |
scientific article; zbMATH DE number 3833274 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3733254 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3679154 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3692631 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3679169 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3688672 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3628345 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3573225 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3574940 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3458196 (Why is no real title available?)
| 1971-01-01 | Paper |
Flowchart machines
BIT | 1970-01-01 | Paper |
A flow-mode, self-steering, cellular multiplier-summation processor
BIT | 1970-01-01 | Paper |
