From Domain Engineering via Requirements to Software. Formal Specification and Design Calculi |
| | Type | Technical report | | Year | 1997 | | Publisher | Department of Information Technology, Software Systems Section, Technical University of Denmark | | Address | DK-2800 Lyngby, Denmark | | Note | Paper published in SOFSEM'97 Proceedings, Springer-Verlag, Lecture Notes in Computer Science. http://www.it.dtu.dk/~db/sofsem/sofsem.ps | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|