The Guided System Development Framework

Jose Nuno Carvalho Quaresma, Christian W. Probst, Flemming Nielson

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

    3452 Downloads (Pure)


    The Service-Oriented Computing paradigm has had significant influence on the Internet. With the emergence of this paradigm, it is important to provide tools that help developers designing and verifying such systems. In this article, we present the Guided System Development (GSD) Framework that aids and guides the developer on the specification of the system being developed, on choosing the appropriate standard protocols suites that achieve the required security properties, on providing an implementation of the specified system, and also on allowing the verification of its security properties.
    Original languageEnglish
    Title of host publicationProceedings of the 23rd Nordic Workshop Programming Theory
    Publication date2011
    Publication statusPublished - 2011
    EventNordic Workshop Programming Theory - Västerås, Sweden
    Duration: 1 Jan 2011 → …
    Conference number: 23


    ConferenceNordic Workshop Programming Theory
    CityVästerås, Sweden
    Period01/01/2011 → …

    Fingerprint Dive into the research topics of 'The Guided System Development Framework'. Together they form a unique fingerprint.

    Cite this