Models in Software Engineering, Kartoniert (TB) - nouveau livre

EAN (ISBN-13): 9783642016479
ISBN (ISBN-10): 3642016472
Version reliée
Livre de poche
Date de parution: 2009
Editeur: Springer Berlin Heidelberg
404 Pages
Poids: 0,633 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2009-07-28T09:05:40+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-22T19:29:19+02:00 (Paris)
ISBN/EAN: 9783642016479

ISBN - Autres types d'écriture:
3-642-01647-2, 978-3-642-01647-9
Autres types d'écriture et termes associés:
Auteur du livre: michel hau
Titre du livre: october, paper models, software engineering, selected engineering papers, september 2008, toulouse lautree

---

Données de l'éditeur

Auteur: Michel R. V. Chaudron
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Models in Software Engineering - Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Editeur: Springer; Springer Berlin
404 Pages
Date de parution: 2009-04-22
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 404 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Inform; aspect-oriented modeling; design; domain-specific languages; domain-specific modeling; embedded systems; formal methods; formal semantics; generic programming; model checking; model transformation; model-based software architecture; modeling; software engineering; tools; Software Engineering; Programming Techniques; Compilers and Interpreters; Computer Modelling; IT Operations; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Computermodellierung und -simulation; Wirtschaftsmathematik und -informatik, IT-Management; EA

Model Based Architecting and Construction of Embedded Systems (ACES-MB).- Model Based Architecting and Construction of Embedded Systems.- Translating AADL into BIP - Application to the Verification of Real-Time Systems.- Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.- Challenges in Model Driven Software Engineering (CHAMDE).- Challenges in Model-Driven Software Engineering.- The Grand Challenge of Scalability for Model Driven Engineering.- MDE Adoption in Industry: Challenges and Success Criteria.- Behavior, Time and Viewpoint Consistency: Three Challenges for MDE.- Empirical Studies of Model Driven Engineering (ESMDA).- Embedded System Construction – Evaluation of Model-Driven and Component-Based Development Approaches.- Assessing the Power of a Visual Modeling Notation – Preliminary Contemplations on Designing a Test –.- Models@runtime.- Third International Workshop on Models@run.time.- Modeling and Validating Dynamic Adaptation.- Model-Based Traces.- Model Co-evolution and Consistency Management (MCCM).- Model Co-evolution and Consistency Management (MCCM’08).- On Integrating OCL and Triple Graph Grammars.- Triple Graph Grammars or Triple Graph Transformation Systems?.- Model-Driven Web Engineering (MDWE).- Model-Driven Web Engineering (MDWE 2008).- Model Transformations for Performability Analysis of Service Configurations.- A Transformation Framework to Bridge Domain Specific Languages to MDA.- Modeling Security (MODSEC).- First International Modeling Security Workshop.- Security Requirements Elicitation Using Method Weaving and Common Criteria.- Model-Based Design of Trustworthy Health Information Systems (MOTHIS).- Second International Workshop on the Model-Based Design ofTrustworthy Health Information Systems MOTHIS 2008.- Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models.- Ontology-Based Assessment of Functional Redundancy in Health Information Systems.- Non-Functional System Properties in Domain Specific Modeling Languages (NFPin DSML).- The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008).- FPTC: Automated Safety Analysis for Domain-Specific Languages.- From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach.- OCL Tools: From Implementation to Evaluation and Comparison (OCL).- Eighth International Workshop on OCL Concepts and Tools.- Shortcomings of the Embedding of OCL into QVT ImperativeOCL.- Optimization Patterns for OCL-Based Model Transformations.- Quality in Modeling (QIM).- Third International Workshop on Quality in Modeling.- Description and Implementation of a UML Style Guide.- Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study.- Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE).- First Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008).- Using an Ontology to Suggest Software Design Patterns Integration.- Using Ontologies in the Domain Analysis of Domain-Specific Languages.- Doctoral Symposium.- Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture.- DSL Tool Development with Transformations and Static Mappings.- Educational Symposium.- Current Issues in Teaching Software Modeling: Educators Symposium at MODELS 2008.- The UML Is More Than Boxes and Lines.- Automatic Checklist Generation for the Assessment of UML Models.- Research Project Symposium.- MODELS Research Projects Symposium.