Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 (Lecture Notes in Computer Science)
by
ISBN 13: 9783540006244
Format: Paperback (427 pages) Publisher: Springer Published: 21 Feb 2003
Save for later
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings: 8th ... / Programming and Software Engineering)
ISBN 13: 9783540290100
Format: Paperback (722 pages) Publisher: Springer Published: 19 Sep 2005
Real-Time Object Uniform Design Methodology with UML
by Bui Minh Duc
ISBN 13: 9781402059766
Format: Hardcover (482 pages) Publisher: Springer Published: 27 Jun 2007
System Modeling and Control with Resource-oriented Petri Nets (Automation and Control Engineering)
by MengChu Zhou,Naiqi Wu
ISBN 13: 9781439808849
Format: Hardcover (312 pages) Publisher: CRC Press Published: 02 Nov 2009
Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540736806
Format: Paperback (514 pages) Publisher: Springer Published: 09 Jul 2007
Unified Process Elaboration Phase: Best Practices in Implementing the UP
by Scott W. Ambler
ISBN 13: 9781929629053
Format: Paperback (277 pages) Publisher: R & D Published: Apr 2000
UML Xtra-Light: How to Specify Your Software Requirements (SIGS: Managing Object Technology)
by Milan Kratochvil,Barry McGibbon
ISBN 13: 9780521892421
Format: Paperback (124 pages) Publisher: Cambridge University Press Published: 18 Nov 2002
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
by Doron Drusinsky
ISBN 13: 9780750679497
Format: Hardcover (400 pages) Publisher: Newnes Published: 22 May 2006
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540752080
Format: Paperback (698 pages) Publisher: Springer Published: 13 Sep 2007
Component-Based Software Testing with UML
by Hans-Gerhard Gross
ISBN 13: 9783540208648
Format: Hardcover (334 pages) Publisher: Springer Published: 14 Sep 2004
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
ISBN 13: 9783540749837
Format: Paperback (289 pages) Publisher: Springer Published: 06 Sep 2007
Softwaresysteme und ihre Modellierung: Grundlagen, Methoden und Techniken (eXamen.press)
by Peter Tabeling
ISBN 13: 9783540258285
Format: Paperback (498 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 07 Sep 2005