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
Save for later
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)
by
ISBN 13: 9783540752080
Format: Paperback (698 pages) Publisher: Springer Published: 13 Sep 2007
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
Object-Oriented Technology. ECOOP 2007 Workshop Reader: ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540781943
Format: Paperback (204 pages) Publisher: Springer Published: 26 Feb 2008
Coordination, Organizations, Institutions, and Norms in Agent Systems II: AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540744573
Format: Paperback (373 pages) Publisher: Springer Published: 06 Sep 2007
Advanced Information Systems Engineering: 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings (Lecture Notes ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540729877
Format: Paperback (606 pages) Publisher: Springer Published: 31 May 2007
System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised ... Networks and Telecommunications)
ISBN 13: 9783540683711
Format: Paperback (239 pages) Publisher: Springer Published: 07 Dec 2006
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783540799795
Format: Paperback (432 pages) Publisher: Springer Published: 15 Jul 2008
Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)
ISBN 13: 9783540330936
Format: Paperback (440 pages) Publisher: Springer Published: 16 Mar 2006
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540682356
Format: Paperback (436 pages) Publisher: Springer Published: 08 May 2008