Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools |
|
| Type | Conference paper [With referee] |
| Conference | ICFEM'97: Intl. Conf. on ``Formal Engineering Methods'', Hiroshima, Japan |
| Editors | Li ShaoQi and Michael Hinchley |
| Year | 1997 pp. 263-271 |
| Publisher | IEEE Computer Society Press |
| Note | Invited lecture. \htmladdnormallinkfoot{Postscript document}{http://www.it.dtu.dk/~db/frames/ieeefram.ps} |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |