Dines Bjørner

Available identifiers

zbMath Open bjorner.dinesMaRDI QIDQ520234

List of research outcomes

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	2017-12-01	Paper
Manifest domains: analysis and description	2017-04-03	Paper
40 years of formal methods. Some obstacles and some possibilities?	2015-02-10	Paper
Domain science and engineering from computer science to the sciences of informatics. II: Science	2014-10-30	Paper
Domain science and engineering from computer science to the sciences of informatics. I: Engineering	2014-06-05	Paper
Domain endurants. An analysis and description process model	2014-03-25	Paper
On mereologies in computing science	2010-10-26	Paper
Domain engineering	2010-04-23	Paper
Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering	2010-03-09	Paper
John Warner Backus: 3 Dec 1924-17 March 2007	2008-06-25	Paper
From Domain to Requirements	2008-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4671215	2005-04-25	Paper
Software engineering 1. Abstraction and modelling.	2005-04-25	Paper
Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.	2005-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4471960	2004-08-03	Paper
Pinnacles of software engineering: 25 years of formal methods	2003-02-19	Paper
On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook	2002-01-07	Paper
Formal specification is an experimental science	1997-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3038590	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3920640	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875316	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886847	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875331	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883455	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190094	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4144162	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4144759	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4044159	1971-01-01	Paper
Flowchart machines	1970-01-01	Paper
A flow-mode, self-steering, cellular multiplier-summation processor	1970-01-01	Paper

Research outcomes over time

This page was built for person: Dines Bjørner