( en | de | ru )

 

Disambiguierung von "Bjorner, Dines"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logics of Specification Languages

, und . Monographs in Theoretical Computer Science. An EATCS Series Springer, (November 2007)
DOI: 10.1007/978-3-540-74107-7

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 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)A Formal Model of a Generalized CSP-like Language., und . IFIP Congress, Seite 95-99. (1980)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)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)A survey of domain engineering.. APSEC Workshops, Seite 145. IEEE, (2012)Programming Languages: Formal Development of Programming Languages and Compilers. Int. Computing Symp., North-Holland, Amsterdam, See also: report ID673, Department of Comp. Sc., Tech. University of Denmark, Lyngby (1977)..(April 1977)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)