An Ontology for a TripTych Formal Software Development |
|
| Abstract | An ontology, ie., a formalised set of strongly interrelated definitions, is given for
an approach to software development that spans domain engineering, requirements engineering and software design - and which is otherwise based on a judicious use of both informal and formal, mathematics-based techniques. |
| Type | Conference paper [With referee] |
| Conference | US DoD Workshop on "Radical Innovations for Software and Systems Engineering" |
| Editors | Martin Wirsing |
| Year | 2003 |
| Publisher | Springer-Verlag |
| Address | Heidelberg, Germany |
| Series | Lecture Notes in Computer Science |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |