SDL 2007: Design for Dependable Systems
Publication year: 2007
ISBN: 978-3-540-74984-4
Internet Resource: Please Login to download book
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums was the ITU-T Speci?cation and Description Language de?ned in Z.100, and the app- cation domain was almost entirely ?xed-line telephone communication.
Subject: Computer Science, MSC (Message Sequence Charts), SDL (Specification and Description Language), Session, System, UML, Unified Modeling Language (UML), description languages, formal verification, modeling, requirements engineering, semantics, semantics and analysis of scenario notations, software testing, systems modeling, verification
