- 5 Results
Lowest price: € 53.49, highest price: € 68.71, average price: € 56.53
1
SDL 2007: Design for Dependable Systems : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings - Emmanuel Gaudin
Order
at AbeBooks.de
€ 58.10
Shipment: € 0.001
OrderSponsored link
Emmanuel Gaudin:

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...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
SDL 2007: Design for Dependable Systems - Emmanuel Gaudin
Order
at booklooker.de
€ 53.49
Shipment: € 0.001
OrderSponsored link

Emmanuel Gaudin:

SDL 2007: Design for Dependable Systems - Paperback

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...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) AHA-BUCH GmbH
3
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings Emmanuel Gaudin Editor
Order
at BarnesandNoble.com
€ 54.99
OrderSponsored link
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings Emmanuel Gaudin Editor - new book

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...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
4
SDL 2007: Design for Dependable Systems
Order
at Springer.com
€ 53.49
Shipment: € 0.001
OrderSponsored link
SDL 2007: Design for Dependable Systems - new book

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...

Nr. 978-3-540-74983-7. Shipping costs:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
5
SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings - Gaudin, Emmanuel (Herausgeber); Reed, Rick (Herausgeber); Najm, Élie (Herausgeber)
Order
at Achtung-Buecher.de
€ 55.60
Shipment: € 0.001
OrderSponsored link
Gaudin, Emmanuel (Herausgeber); Reed, Rick (Herausgeber); Najm, Élie (Herausgeber):
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...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings Emmanuel Gaudin Editor

This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on Model Driven Engineering, Testing, Language Extensions, Implementation and Modeling Experience and Extensions. Thus all aspects of systems design and system design languages are addressed.

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...