Domain Science and Engineering
D Bjørner, A Compendium - … in Theoretical Computer Science. An EATCS …, 2021 - Springer
A Foundation for Software Development Dines Bjørner Page 1 Domain Science and Engineering
A Foundation for Software Development Dines Bjørner Monographs in Theoretical Computer …
A Foundation for Software Development Dines Bjørner Monographs in Theoretical Computer …
The birth of object orientation: the simula languages
OJ Dahl - From Object-Orientation to Formal Methods: Essays in …, 2004 - Springer
LNCS 2635 - The Birth of Object Orientation: the Simula Languages Page 1 The Birth of Object
Orientation: the Simula Languages * Ole-Johan Dahl Abstract. The development of the …
Orientation: the Simula Languages * Ole-Johan Dahl Abstract. The development of the …
The roots of object orientation: the Simula language
OJ Dahl - Software Pioneers: Contributions to Software …, 2002 - Springer
The Roots of Object-Oriented Programming: Simula 67 Page 1 78 The Roots of Object-Oriented
Programming: Simula 67 Ole-Johan Dahl Professor of Informatics (Emeritus) University of Oslo …
Programming: Simula 67 Ole-Johan Dahl Professor of Informatics (Emeritus) University of Oslo …
Verifiable Programming of Object-Oriented and Distributed Systems.
O Owe - 2016 - api.taylorfrancis.com
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. This …
complexity of their concurrency, communication, and synchronization mechanisms. This …
[BOOK][B] TROLL light: A core language for specifying objects
TROLL light is a language for conceptual modeling of information systems. It is designed to
describe the Universe of Discourse (UoD) as a system of concurrently existing and …
describe the Universe of Discourse (UoD) as a system of concurrently existing and …
Sketching concepts and computational model of TROLL light
The specification language TROLL light is intended to be used for conceptual modeling of
information systems. It is designed to describe the Universe of Discourse (UoD) as a system …
information systems. It is designed to describe the Universe of Discourse (UoD) as a system …
[BOOK][B] From Action Systems to Distributed Systems: The Refinement Approach
L Petre, E Sekerinski - 2016 - books.google.com
A tribute to Professor Kaisa Sere's contributions to the field of computer science, From Action
Systems to Distributed Systems: The Refinement Approach presents state-of-the-art …
Systems to Distributed Systems: The Refinement Approach presents state-of-the-art …
Object-oriented specification and open distributed systems
An object-oriented approach to program specification and verification was developed by Ole-
Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning about …
Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning about …
Towards reliable information systems: The KorSo approach
N Vlachantonis, R Herzig, M Gogolla, G Denker… - … Conference, CAiSE'93 …, 1993 - Springer
Within the compound project KorSo our team is concerned with the research on techniques
and methods for the development of reliable information systems on the basis of formal …
and methods for the development of reliable information systems on the basis of formal …
An algebraic semantics for the object specification language TROLL light
M Gogolla, R Herzig - Workshop on the Specification of Abstract Data …, 1994 - Springer
Within the KORSO project we have developed the object specification language TROLL light
which allows to describe the part of the world to be modeled as a community of concurrently …
which allows to describe the part of the world to be modeled as a community of concurrently …