Tools and Patterns for Dependable Concurrent Software

D.S. Jovanovic, Johannes F. Broenink

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

    Abstract

    First, we give reasons for choosing a process-oriented approach for building complex concurrent systems. Upon a brief review of dependability attributes of software-supported systems, means for increasing dependability in process-oriented architectures are illustrated
    Original languageUndefined
    Title of host publicationThe International Conference on Computer as a Tool, EUROCON 2005
    Place of PublicationUSA
    PublisherIEEE
    Pages736-739
    Number of pages4
    ISBN (Print)1-4244-0049-X
    DOIs
    Publication statusPublished - 21 Nov 2005
    EventEUROCON 2005 - the International Conference on "Computer as a Tool" - Belgrade, Serbia
    Duration: 21 Nov 200524 Nov 2005

    Publication series

    Name
    PublisherIEEE
    Number05EX1255C

    Conference

    ConferenceEUROCON 2005 - the International Conference on "Computer as a Tool"
    CountrySerbia
    CityBelgrade
    Period21/11/0524/11/05

    Keywords

    • METIS-226472
    • Dependability
    • IR-53549
    • EWI-19764
    • concurrent exception handling
    • formal analysis
    • design patterns and tools
    • CSP

    Cite this

    Jovanovic, D. S., & Broenink, J. F. (2005). Tools and Patterns for Dependable Concurrent Software. In The International Conference on Computer as a Tool, EUROCON 2005 (pp. 736-739). USA: IEEE. https://doi.org/10.1109/EURCON.2005.1630036