An Ontology for a TripTych Formal Software Development



AbstractAn 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.
TypeConference paper [With referee]
ConferenceUS DoD Workshop on "Radical Innovations for Software and Systems Engineering"
EditorsMartin Wirsing
Year2003
PublisherSpringer-Verlag
AddressHeidelberg, Germany
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering