| Description |
1 online resource (xii, 290 pages) : illustrations |
| Series |
Lecture notes in computer science, 1611-3349 ; 7916 |
|
LNCS sublibrary. SL 5, Computer communication networks and telecommunications |
|
Lecture notes in computer science ; 7916. 1611-3349
|
|
LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
|
| Contents |
Verification and Testing -- Data Flow Testing in TTCN-3 with a Relational Database Schema / Gusztáv Adamis [and others] -- Property Verification with MSC / Emmanuel Gaudin, Eric Brunel -- Dependability Engineering -- Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements / Jameleddine Hassine, Abdelwahab Hamou-Lhadj -- Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps / Jameleddine Hassine [and others] -- Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns / Brahim Hamid [and others] -- Analysis -- Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models / Ludovic Apvrille, Pierre de Saqui-Sannes -- Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback / El Arbi Aboussoror, Ileana Ober, Iulian Ober -- Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis / Naif A. Mokhayesh Alzahrani, Dorina C. Petriu -- Domain Specific Languages -- An IMS DSL Developed at Ericsson / Pascal Potvin [and others] -- Efficient Development of Domain-Specific Simulation Modelling Languages and Tools / Andreas Blunk, Joachim Fischer -- Model Transformation -- FTG+PM: An Integrated Framework for Investigating Model Transformation Chains / Levi Lúcio [and others] -- Traceability Links in Model Transformations between Software and Performance Models / Mohammad Alhaj, Dorina C. Petriu -- Refactorings in Language Development with Asymmetric Bidirectional Model Transformations / Martin Schmidt [and others] -- Specification and Description Language and Evolution -- SDL Real-Time Tasks -- Concept, Implementation, and Evaluation / Dennis Christmann, Tobias Braun, Reinhard Gotzhein -- Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams / Pau Fonseca i Casas [and others] -- Integration of SDL Models into a SystemC Project for Network Simulation / Pavel Morozkin [and others] |
| Summary |
This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution |
| Analysis |
Computer science |
|
Computer network architectures |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Information Systems |
|
Computer Systems Organization and Communication Networks |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Management of Computing and Information Systems |
|
computerwetenschappen |
|
computer sciences |
|
informatiesystemen |
|
programmeertalen |
|
programming languages |
|
computernetwerken |
|
computer networks |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed July 31, 2013) |
| Subject |
System design -- Congresses
|
|
Modeling languages (Computer science) -- Congresses
|
|
Computer systems.
|
|
Programming languages (Electronic computers)
|
|
Computer Systems
|
|
Programming Languages
|
|
Programming languages (Electronic computers)
|
|
Computer systems
|
|
Modeling languages (Computer science)
|
|
System design
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Khendek, Ferhat.
|
| ISBN |
9783642389115 |
|
3642389112 |
|
