( en | de | ru )

 

Disambiguierung von "Bjørner, Dines"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pinnacles of software engineering: 25 years of formal methods.

. Ann. Softw. Eng., (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dines Christen

Ulf Björner

Nicoleta Dines

Joachim Dinessen

Erling Björner Marum

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Model of a Generalized CSP-like Language., und . IFIP Congress, Seite 95-99. (1980)Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account.. Verification: Theory and Practice, Volume 2772 von Lecture Notes in Computer Science, Seite 100-144. Springer, (2003)Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions.. Rainbow of Computer Science, Volume 6570 von Lecture Notes in Computer Science, Seite 167-183. Springer, (2011)A survey of domain engineering.. APSEC Workshops, Seite 145. IEEE, (2012)Project Graphs and Meta-Programs. Towards a Theory of Software Development.. System Development and Ada, Volume 275 von Lecture Notes in Computer Science, Seite 117-152. Springer, (1986)Algorithmic & Knowledge Based Methods - Do they Ünify" ? With some Programme Remarks for UNU/IIST., und . FGCS, Seite 191-198. IOS Press, (1992)Experiments in Block-structured GOTO Modelling: exits vs. Continuations.. Abstract Software Specifications, Volume 86 von Lecture Notes in Computer Science, Seite 216-247. Springer, (1979)A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.. SOFSEM, Volume 1338 von Lecture Notes in Computer Science, Seite 219-248. Springer, (1997)Formal digital license language with OTS/CafeOBJ method., , und . AICCSA, Seite 652-660. IEEE Computer Society, (2008)A Cloverleaf of Software Engineering.. SEFM, Seite 75-85. IEEE Computer Society, (2005)