SDL 2007: Design for Dependable Systems : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings - Paperback
2007, ISBN: 3540749837
[EAN: 9783540749837], Neubuch, [PU: Springer Berlin Heidelberg], DATENVERARBEITUNG / INFORMATIONS-SYSTEME ALLGEMEINES; UML (EDV); MSC(MESSAGESEQUENCECHARTS); SDL(SPECIFICATIONANDDESCRIPTI… More...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
2006, ISBN: 9783540749837
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled 'Design for Dependable Systems' and re ects t… More...
booklooker.de |
2007, ISBN: 9783540749837
th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and reffects the intent to have a b- ance between experience rep… More...
BarnesandNoble.com new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
2007, ISBN: 9783540749837
th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects the intent to have a b- ance between experience reports and rese… More...
Springer.com Nr. 978-3-540-74983-7. Shipping costs:Worldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings - new book
2007, ISBN: 3540749837
2007 Kartoniert / Broschiert Datenverarbeitung / Informations-Systeme / Allgemeines, UML (EDV), Computerhardware, Software Engineering, Theoretische Informatik, MSC(messagesequencechart… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
SDL 2007: Design for Dependable Systems : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings - Paperback
2007, ISBN: 3540749837
[EAN: 9783540749837], Neubuch, [PU: Springer Berlin Heidelberg], DATENVERARBEITUNG / INFORMATIONS-SYSTEME ALLGEMEINES; UML (EDV); MSC(MESSAGESEQUENCECHARTS); SDL(SPECIFICATIONANDDESCRIPTI… More...
2006, ISBN: 9783540749837
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled 'Design for Dependable Systems' and re ects t… More...
2007
ISBN: 9783540749837
th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and reffects the intent to have a b- ance between experience rep… More...
2007, ISBN: 9783540749837
th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects the intent to have a b- ance between experience reports and rese… More...
SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings - new book
2007, ISBN: 3540749837
2007 Kartoniert / Broschiert Datenverarbeitung / Informations-Systeme / Allgemeines, UML (EDV), Computerhardware, Software Engineering, Theoretische Informatik, MSC(messagesequencechart… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings Emmanuel Gaudin Editor
EAN (ISBN-13): 9783540749837
ISBN (ISBN-10): 3540749837
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer Berlin Heidelberg Core >1
289 Pages
Weight: 0,464 kg
Language: eng/Englisch
Book in our database since 2007-11-28T22:47:35+00:00 (London)
Book found last time on 2024-07-20T15:15:56+01:00 (London)
ISBN/EAN: 9783540749837
ISBN - alternate spelling:
3-540-74983-7, 978-3-540-74983-7
Alternate spelling and related search-keywords:
Book author: emmanuel, gaudin, reed, gaudi, elie, motorola
Book title: france forum, 13th, paris france, computer systems, paris 2007, forum international, design des, lecture notes computer science
Information from Publisher
Author: Emmanuel Gaudin; Élie Najm; Rick Reed
Title: Computer Communication Networks and Telecommunications; Lecture Notes in Computer Science; SDL 2007: Design for Dependable Systems - 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Publisher: Springer; Springer Berlin
292 Pages
Publishing year: 2007-09-06
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 292 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; 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; Theory of Computation; Computer Engineering and Networks; Software Engineering; Computer Science Logic and Foundations of Programming; IT Operations; Computerhardware; Software Engineering; Wirtschaftsmathematik und -informatik, IT-Management; EA
Model Driven Engineering.- A Model-Based Standard for SDL.- Model Driven Development and Code Generation: An Automotive Case Study.- Experiences in Deploying Model-Driven Engineering.- Testing.- TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets.- Using TTCN for Radio Conformance Test Systems.- Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile.- Language Extensions.- Specifying Input Port Bounds in SDL.- Translatable Finite State Time Machine.- Enhanced Use Case Map Traversal Semantics.- Implementation.- Automated Generation of Micro Protocol Descriptions from SDL Design Specifications.- Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.- Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator.- Modeling Experience and Extensions.- Consistency of UML/SPT Models.- Formal Verification of Use Case Maps with Real Time Extensions.- Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.- OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.- SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.More/other books that might be very similar to this book
Latest similar book:
9783540749844 SDL 2007: Design for Dependable Systems (Emmanuel Gaudin; Ã?lie Najm; Rick Reed)
< to archive...