|
Model Checking Software
|
Patrice Godefroid |
Springer |
_ |
2005 |
|
|
Model Checking Software
|
Thomas BallSriram K. Rajamani |
Springer |
_ |
2003 |
|
|
Model Checking Software
|
Dragan Bo�na?kiStefan Leue |
Springer |
_ |
2002 |
|
|
Model Driven Architecture
|
Uwe A�mannMehmet AksitArend Rensink |
Springer |
_ |
2005 |
|
|
Model Driven Architecture - Foundations and Applications
|
Richard F. PaigeAlan HartmanArend Rensink |
Springer |
_ |
2009 |
|
|
Model Driven Architecture � Foundations and Applications
|
Alan HartmanDavid Kreische |
Springer |
_ |
2005 |
|
|
Model Driven Architecture � Foundations and Applications
|
Arend RensinkJos Warmer |
Springer |
_ |
2006 |
|
|
Model Driven Architecture � Foundations and Applications
|
Ina SchieferdeckerAlan Hartman |
Springer |
_ |
2008 |
|
|
Model Driven Architecture- Foundations and Applications
|
David H. AkehurstR�gis VogelRichard F. Paige |
Springer |
_ |
2007 |
|
|
Model Driven Engineering Languages and Systems
|
Dorina C. PetriuNicolas Rouquette�ystein Haugen |
Springer |
_ |
2010 |
|
|
Model Driven Engineering Languages and Systems
|
Jon WhittleTony ClarkThomas K�hne |
Springer |
_ |
2011 |
|
|
Model Driven Engineering Languages and Systems
|
Robert B. FranceJ�rgen KazmeierRuth BreuColin Atkinson |
Springer |
9783642336669 |
2012 |
|
|
Model Driven Engineering Languages and Systems
|
Krzysztof CzarneckiIleana OberJean-Michel BruelAxel UhlMarkus V�lter |
Springer |
_ |
2008 |
|
|
Model Driven Engineering Languages and Systems
|
Gregor EngelsBill OpdykeDouglas C. SchmidtFrank Weil |
Springer |
_ |
2007 |
|
|
Model Driven Engineering Languages and Systems
|
Dorina C. PetriuNicolas Rouquette�ystein Haugen |
Springer |
_ |
2010 |
|
|
Model Driven Engineering Languages and Systems
|
Lionel BriandClay Williams |
Springer |
_ |
2005 |
|
|
Model Driven Engineering Languages and Systems
|
Oscar NierstraszJon WhittleDavid HarelGianna Reggio |
Springer |
_ |
2006 |
|
|
Model Driven Engineering Languages and Systems
|
Andy Sch�rrBran Selic |
Springer |
_ |
2009 |
|
|
Model Generation for Natural Language Interpretation and Analysis
|
Karsten Konrad |
Springer |
_ |
2004 |
|
|
Model-Based Engineering of Embedded Real-Time Systems
|
Holger GieseGabor KarsaiEdward LeeBernhard RumpeBernhard Sch�tz |
Springer |
_ |
2010 |
|
|
Model-Based Testing of Reactive Systems
|
Manfred BroyBengt JonssonJoost-Pieter KatoenMartin LeuckerAlexander Pretschner |
Springer |
_ |
2005 |
|
|
Model-Checking Based Data Retrieval
|
Elisa Quintarelli |
Springer |
_ |
2004 |
|
|
Model-Driven Development of Reliable Automotive Services
|
Manfred BroyIngolf H. Kr�gerMichael Meisinger |
Springer |
_ |
2008 |
|
|
Modeling and Mining Ubiquitous Social Media
|
Martin AtzmuellerAlvin ChinDenis HelicAndreas Hotho |
Springer |
9783642336843 |
2012 |
|
|
Modeling and Retrieval of Context
|
Thomas R. Roth-BerghoferStefan SchulzDavid B. Leake |
Springer |
_ |
2006 |
|