An Ontology for a TripTych Formal Software Development

Dines Bjørner, Martin Wirsing (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    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.
    Original languageEnglish
    Title of host publicationUS DoD Workshop on Radical Innovations for Software and Systems Engineering
    PublisherSpringer Verlag
    Publication date2003
    Publication statusPublished - 2003
    EventInternational Workshop on Radical Innovations for Software and Systems Engineering in the Future 2002 - Venice, Italy
    Duration: 7 Oct 200211 Oct 2002

    Workshop

    WorkshopInternational Workshop on Radical Innovations for Software and Systems Engineering in the Future 2002
    Country/TerritoryItaly
    CityVenice
    Period07/10/200211/10/2002

    Fingerprint

    Dive into the research topics of 'An Ontology for a TripTych Formal Software Development'. Together they form a unique fingerprint.

    Cite this