Affordable Access

A Formal Software Engineering Paradigm

Authors
Publisher
Springer-Verlag
Publication Date
Keywords
  • From Domains Via Requirements To Software. Formal Specification And Design Calculi

Abstract

A Formal Software Engineering Paradigm - DTU Orbit (25/04/14) A Formal Software Engineering Paradigm : From Domains via Requirements to Software. Formal Specification and Design Calculi. / Bjørner, Dines. SOFSEM'97: Theory and Practice of Informatics. Heidelberg : Springer-Verlag, 1997. p. 219-248. Publication: Research - peer-review › Article in proceedings – Annual report year: 1997

There are no comments yet on this publication. Be the first to share your thoughts.