Dines Bjørner

Available identifiers

zbMath Open bjorner.dinesMaRDI QIDQ520234

List of research outcomes

Publication	Date of Publication	Type
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	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	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	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
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/Q4671215	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
https://portal.mardi4nfdi.de/entity/Q2755064	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/Q3875331	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883455	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886847	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
A flow-mode, self-steering, cellular multiplier-summation processor	1970-01-01	Paper
Flowchart machines	1970-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dines Bjørner