2009 Springer LNCS 5795 MODEL DRIVEN ENGINEERING LANGUAGES & SYSTEMS Proceedings

Description: Author: various authors; edited by Andy Schurr and Bran Selic Title: Model Driven Engineering Languages and Systems: 12th International Conference, MODELS2009, Denver, CO, USA, October 2009 Proceedings Binding: paperback Size: about 7" x 9" Pagination: 756pp Published: Springer, 2009 Condition: Very good; some light shelfwear; bookstore price pencilled inside cover; interior clean; appears unread ISBN: 9783642044243 [OCR is approximate, as always] Table of Contents Keynote 1 Models. Models. Models. So What? Stephen J. Mellor (Meta-Model Modeling and Management Modeling Modeling ... Pierre-Alain Muller, Frédéric Fondement, and Benoît Baudry Representation and Traversal of Large Clabject Models . Thomas Aschauer, Gerd Dawenhauer, and Wolfgang Pree Meta-model Pruning Sagar Sen, Naouel Moha, Benoit Baudry, and Jean-Mare Jézéquel Quantitative Modeling with UML A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems... Marwa Shousha, Lionel C. Briand, and Yuan Labiche Model Driven Performance Measurement and Assessment with MoDePeMART Marko Boskovié and Wilhelm Hasselbring Security Analysis of a Biometric Authentication System Using UMLsec and JML John Lloyd and Jan Jürjens Model Transformations and Constraints Automatically Discovering Hidden Transformation Chaining Constraints Raphaël Chenouard and Frédéric Jouault CSP(M): Constraint Satisfaction Problem over Models. Akos Horvath and Dániel Varró Parsing SBVR-Based Controlled Languages Mathias Kleiner, Patrick Albert, and Jean Bézivin Model Management SLIM-A Lightweight Environment for Synchronous Collstorative Modeling ... Christian Thum, Michael Schwind, and Martin Schad Language-Independent Change Management of Process Me Christian Gerth, Jochen M. Küster, and Gregor Engels Requirements for Practical Model Merge - An Industrial Fe spective Lars Bendix and Pär Emanuelsson UML in Practice and Quality Assurance Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study Ariadi Nugroho and Michel R. V. Chaudron Concern Visibility in Base Station Development - An Empirical Investigation Lars Pareto, Peter Eriksson, and Staffan Ehnebom Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation Stephan Weißleder Formalization of Model Transformations Towards Composite Model Transformations Using Distributed Graph Transformation Concepts Stefan Jurack and Gabriele Taentzer n-the-Fly Construction, Correctness and Completeness of Model ransformations Based on Triple Graph Grammars..... Hartmut Ehrig, Claudia Ermel, Frank Hermann, and Ulrike Prange Formal Support for QVT-Relations with Coloured Petri Nets Juan de Lara and Esther Guerra Scenario Modeling An Example Is Worth a Thousand Words: Composite Operat n Modeling By-Example. Petra Brosch, Philip Langer, Martina Seidl, Konrad Wielord, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, ano Wieland Schwinger Refactoring-Safe Modeling of Aspect-Oriented Scenarios Gunter Mussbacher, Daniel Amyot, and Jon Whittle Model-Based Testing Using LSCs and S2A . Shahar Maoz, Jani Metsä, and Mika Katara Business Application Development Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way Forward Rahul Mohan and Vinay Kulkarni Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors .. Steffen Mazanek and Mark Minas Rule-Enhanced Business Process Modeling Language for Service Choreographies Milan Milanovic, Dragan Gasevic, Gerd Wagner, and Marek Hatala Model Synchronisation and Change Propagation Change-Driven Model Transformations: Derivation and Processing of Change Histories Istuán Ráth, Gergely Varró, and Dániel Varró An Incremental Algorithm for High-Performance Runtime Model Consistency Christopher Wolfe, T.C. Nicholas Graham, and W. Greg Phillips Traceability-Based Change Awareness .. Jonas Helming, Maximilian Koegel, Helmut Naughton, Joern David, and Aleksandar Shterev Keynote 2 Interaction Design and Model-Driven Development Larry L. Constantine Language Specification and Annotation Towards Test-Driven Semantics Specification Christian Soltenborn and Gregor Engels Scalable Semantic Annotation Using Lattice-Based Ontologies Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles Shelton, Stavros Tripakis, and Ben Lickly Distributed Software Development XIX Deterministic UML Models for Interconnected Activities and State Machines Zamira Daw and Marcus Vetter 556 Automated Encapsulation of UML Activities for Incremental Development and Verification.. Frank Alexander Kraemer and Peter Herrmann 571 Using UML Statecharts with Knowledge Logic Guards Doron Drusinsky and Man-Tak Shing 586 Service and Business Process Integration A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems .. Naeem Esfahani, Sam Malek, João P. Sousa, Hassan Gomaa, and Daniel A. Menascé 591 A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. Franck Fleurey and Arnor Solberg 606 Executable Domain Specific Language for Message-Based System Integration .. Michael Shtelma, Mario Cartsburg, and Nikola Milanovic 622 Keynote 3 Architectural Mining: The Other Side of the MDD Grady Booch Genericity and Constraints 627 Generic Model Refactorings . Naouel Moha, Vincent Mahé, Olivier Barais, and Jean-Marc Jézéquel 628 Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers .... Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, and François Terrier Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. Rodion Moisee, Shinpei Hayashi, and Motoshi Sacki OntoDSL: An Ontology-Based Framework for Domain-Specific Languages .. Tobias Walter, Fernando Silva Parreiras, and Steffen Sirab Domain-Specific Languages Domain-Specific Languages in Practice: A User Study on the Success Factors Felienne Hermans, Martin Pinzger, and Arie van Deursc Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. Philippe Dhaussy, Pierre-Yues Pillain, Stephen Creff, Amine Raji. Yves Le Traon, and Benoît Baudry Anatomy of a Visual Domain-Specific Language Project in an Industrial Context Christoph Wienands and Michael Golm Model-Based Analysis A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty... Betty H.C. Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation Tao Yue, Lionel C. Briand, and Yvan Labiche Polymorphic Scenario-Based Specification Models: Semantics and Applications.. Shahar Maoz Model (De-) Composition and Abstractio Aspect Model Unweaving Jacques Klein, Jörg Kienzle, Brice Morin, and Jean-Mare Jézéquel Model Composition Contracts Jon Oldevik, Massimiliano Menarini, and Ingolf Krüger Abstracting Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, and Richard F. Paige An Approach for Evolving Transformation Chains. Andrés Yie, Rubby Casallas, Dennis Wagelaar, and Dirk Deridder OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language Joanna Chimiak-Opoka Variability Management Variability within Modeling Language Definitions . María Victoria Cengarle, Hans Gönniger, and Bernhard Rumpe Variability Modelling throughout the Product Line Lifecyc Christa Schwanninger, Iris Groher, Christoph Elsner, and Martin Lehofer Weaving Variability into Domain Metamodels ...... Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, and Jean-Marc Jézéquel Automatic Domain Model Migration to Manage Metamodel Evolution Anantha Narayanan, Tihamer Levendouszky, Daniel Balasubramanian, and Gabor Karsai Model Transformation Engineering Model Transformation by Demonstration Yu Sun, Jules White, and Jeff Gray Reviving QVT Relations: Model-Based Debugging Using Colored Petri Manuel Wimmer, Angelika Kusel, Johannes Schoenboeck, Gerti Kappel, Werner Retschitzegger, and Wieland Schwinger Incremental Development of Model Transformation Chains Using Automated Testing... Jochen M. Küster, Thomas Gschwind, and Olaf Zimmermann Test-Driven Development of Model Transformations Pau Giner and Vicente Pelechano Symposium Educators Symposium at MODELS 2009 Robert France and Martin Gogolla Author Index Take a close look at the auction images for details of contents and condition. If you have any questions at all please send a message through eBay before bidding. Be sure to check our eBay Store for thousands of other listings like this one. Orders will be sent out the next business day after receipt of payment. If youre in a hurry and would like expedited shipping (Priority or Express shipping), please let us know before paying so we can adjust your invoice. Books are sent Media Rate within the US, and other small items are sent Parcel by default. If you would like combined shipping, please (1) contact us to let us know, and then (2) wait to pay until youre finished shopping (but try to keep it within a 4 day period, please). Just leave the items in your eBay Cart and then request an updated invoice after youre done. If you pay for an item, we are obliged to ship it to you, and cannot combine it with subsequent purchases. If youre waiting for a separate auction item to finish, please contact us to let us know. _gsrx_vers_1680 (GS 9.8.3 (1680))

Price: 6.64 USD

Location: Ann Arbor, Michigan

End Time: 2024-12-01T18:28:39.000Z

Shipping Cost: 6.13 USD