( en | de | ru )

 

Disambiguation of "Bjørner, Dines"

Author of the publication

copydeleteadd this publication to your clipboard
Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.

, , , and . ICFEM, page 263-271. IEEE Computer Society, (1997)

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)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)A survey of domain engineering.. APSEC Workshops, page 145. IEEE, (2012)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)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)A Cloverleaf of Software Engineering.. SEFM, page 75-85. IEEE Computer Society, (2005)