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

    3417 Downloads (Pure)

    Abstract

    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
    Pages69-72
    Publication statusPublished - 2011
    EventNordic Workshop Programming Theory - Västerås, Sweden
    Duration: 1 Jan 2011 → …
    Conference number: 23

    Conference

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

    Cite this

    Carvalho Quaresma, J. N., Probst, C. W., & Nielson, F. (2011). The Guided System Development Framework. In Proceedings of the 23rd Nordic Workshop Programming Theory (pp. 69-72)
    Carvalho Quaresma, Jose Nuno ; Probst, Christian W. ; Nielson, Flemming. / The Guided System Development Framework. Proceedings of the 23rd Nordic Workshop Programming Theory. 2011. pp. 69-72
    @inproceedings{a5d7cd9f0ff04ef5a36b729cbe6f4233,
    title = "The Guided System Development Framework",
    abstract = "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.",
    author = "{Carvalho Quaresma}, {Jose Nuno} and Probst, {Christian W.} and Flemming Nielson",
    year = "2011",
    language = "English",
    pages = "69--72",
    booktitle = "Proceedings of the 23rd Nordic Workshop Programming Theory",

    }

    Carvalho Quaresma, JN, Probst, CW & Nielson, F 2011, The Guided System Development Framework. in Proceedings of the 23rd Nordic Workshop Programming Theory. pp. 69-72, Nordic Workshop Programming Theory, Västerås, Sweden, 01/01/2011.

    The Guided System Development Framework. / Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming.

    Proceedings of the 23rd Nordic Workshop Programming Theory. 2011. p. 69-72.

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

    TY - GEN

    T1 - The Guided System Development Framework

    AU - Carvalho Quaresma, Jose Nuno

    AU - Probst, Christian W.

    AU - Nielson, Flemming

    PY - 2011

    Y1 - 2011

    N2 - 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.

    AB - 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.

    M3 - Article in proceedings

    SP - 69

    EP - 72

    BT - Proceedings of the 23rd Nordic Workshop Programming Theory

    ER -

    Carvalho Quaresma JN, Probst CW, Nielson F. The Guided System Development Framework. In Proceedings of the 23rd Nordic Workshop Programming Theory. 2011. p. 69-72