( en | de | ru )

 

Disambiguation of "Bjorner, Dines"

Author of the publication

copydeleteadd this publication to your clipboard
Logics of Specification Languages

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dines Christen

Ulf Björner

Nicoleta Dines

Joachim Dinessen

Erling Björner Marum

 

Other publications of authors with the same name

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