SDL 2005: Model Driven [electronic resource] :12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed.
by Prinz, Andreas [editor.]; Reed, Rick [editor.]; Reed, Jeanne [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3530Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: XI, 361 p. Also available online. online resource.ISBN: 9783540315391.Subject(s): Computer science | Computer network architectures | Software engineering | Logic design | Information Systems | Computer Science | Computer Systems Organization and Communication Networks | Software Engineering | Logics and Meanings of Programs | Management of Computing and Information SystemsDDC classification: 004.6 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| TK5105.5-5105.9 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.9.C643 (Browse shelf) | Available |
Close shelf browser
| QA273.A1-274.9 Lectures on Probability Theory and Statistics | QA274-274.9 Lectures on Probability Theory and Statistics | QB495-500.269 Water on Mars and Life | TK5105.5-5105.9 SDL 2005: Model Driven | TP248.13-248.65 Technology Transfer in Biotechnology | TP248.13-248.65 Regenerative Medicine II | TP248.13-248.65 Microscopy Techniques |
Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and Component Reuse with Semantic Interfaces -- ns+SDL – The Network Simulator for SDL Systems -- Message Sequence Charts -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets -- Applications and Tools (Short Papers) -- SDL Design of OSPF Protocol for the Wireless Private Network -- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks -- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP -- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol -- Modeling, Verifying and Testing Mobility Protocol from SDL Language -- Cinderella SLIPPER: An SDL to C-Code Generator -- Model Driven Architecture (Short Papers) -- Model-Driven Development of Reactive Systems with SDL -- A UML-Compatible Formal Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web Applications -- Network Element Testing Using TTCN-3: Benefits and Comparison -- A Compositional Approach to Service Validation -- Consistency Checking of Concurrent Models for Scenario-Based Specifications -- Code Generation -- SDL Code Generation for Open Systems -- SDL Versus C Equivalence Checking -- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps.
This book constitutes the refereed proceedings of the 12th International SDL Forum, SDL 2005, held in Grimstad, Norway. The 16 revised full and 8 short papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on language issues, engineering issues, message sequence charts, applications and tools, model driven architecture, test and validation, and code generation. Thus all aspects of system design using system design languages are addressed.
There are no comments for this item.