From Formal Methods to Software Components: Back to the Future?

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    184 Downloads (Pure)

    Abstract

    Looking back at the past, I believe Formal Methods and Component-based Software Engineering have missed opportunities to synergise. Looking forward to the future, I believe even more strongly that this synergy will be crucial for developing Software Engineering techniques that tackle scale and complexity. In this position paper I outline the fundamentals of my belief, in terms of existing work and future challenges.
    Original languageEnglish
    Title of host publicationFormal aspects of component software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, revised selected papers
    EditorsOlga Kouchnarenko, Ramtin Khosravi
    PublisherSpringer Nature
    Pages10-14
    Number of pages5
    ISBN (Print)9783319576657
    DOIs
    Publication statusPublished - 2017
    Event13th International Conference on Formal Aspects of Component Software - Besançon, France
    Duration: 19 Oct 201621 Oct 2016

    Publication series

    NameLecture notes in computer science
    Volume10231

    Conference

    Conference13th International Conference on Formal Aspects of Component Software
    Abbreviated titleFACS'2016
    Country/TerritoryFrance
    CityBesançon
    Period19/10/1621/10/16

    Fingerprint

    Dive into the research topics of 'From Formal Methods to Software Components: Back to the Future?'. Together they form a unique fingerprint.

    Cite this