1.

Record Nr.

UNISA996465881203316

Titolo

Modelling Foundations and Applications [[electronic resource] ] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings / / edited by Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010

ISBN

1-280-38712-2

9786613565044

3-642-13595-1

Edizione

[1st ed. 2010.]

Descrizione fisica

1 online resource (364 p. 150 illus.)

Collana

Programming and Software Engineering ; ; 6138

Disciplina

005.10285

Soggetti

Software engineering

Computer logic

Programming languages (Electronic computers)

Computer communication systems

Management information systems

Computer science

Software Engineering/Programming and Operating Systems

Software Engineering

Logics and Meanings of Programs

Programming Languages, Compilers, Interpreters

Computer Communication Networks

Management of Computing and Information Systems

Paris <2010>

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering -- The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson -- Comparing Approaches to Implement Feature Model Composition -- A UML 2.0 Profile to Model Block Cipher Algorithms -- Towards Model



Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools -- Aspect-Oriented Business Process Modeling with AO4BPMN -- A Reflective Approach to Model-Driven Web Engineering -- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study -- Generative Technologies for Model Animation in the TopCased Platform -- Model-Driven Engineering of Machine Executable Code -- eSPEM – A SPEM Extension for Enactable Behavior Modeling -- Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive Electronic Climate Control Software -- Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search -- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms -- MoPCoM Methodology: Focus on Models of Computation -- Dynamic Computation of Change Operations in Version Management of Business Process Models -- Detecting Inconsistencies in Multi-View Models with Variability -- A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces -- Concordance: A Framework for Managing Model Integrity -- An Integrated Facet-Based Library for Arbitrary Software Components -- Precise Specification of Design Pattern Structure and Behaviour -- Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy -- On the Combination of Domain Specific Modeling Languages -- Joint Language and Domain Engineering -- An Automated Approach to Transform Use Cases into Activity Diagrams.