《模型驅動的工程語言與系統》是 2006年湖南文藝出版社出版的圖書，作者是Harel, David 。
基本介紹
- 書名：模型驅動的工程語言與系統
- 作者：Harel, David 編
- ISBN：9783540457725
- 頁數：794
- 定價：971.80元
- 出版社：湖南文藝出版社
- 出版時間：2006-12
內容簡介,圖書目錄,
內容簡介
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion is organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, and more.
圖書目錄
Keynote 1
A Software Modeling Odyssey: Designing Evolutionary
Architecture-Centric Real-Time Systems and Product Lines
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0
An Experimental Investigation of UML Modeling Conventions
Improving the Definition of UML
MDA in Software Development
Adopting Model Driven Software Development in Industry A Case Study at Two Companies
Use Case Driven Iterative Development: Hurdles and Solutions
Model-Driven Development with SDL Process, Tools, and Experiences
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax
Correctly Defined Concrete Syntax for Visual Modeling Languages
Applying UML to Interaction and Coordination
Compositional MDA
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications
Aspects
Domain Models Are NOT Aspect Free
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects
Model Intergration
Package Merge in UML 2: Practice vs. Theory?
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis
Merging Models with the Epsilon Merging Language (EML)
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines
Facilitating the Definition of General Constraints in UML
……
Security
Model Transformation Tolls and Implementation
Analyzing Dynamic Models
Specifying Transformations
MOF
Keynote2
Bridging Models
Risk, Trust and Dependability
Tool Environments
OCL
Roundtrip Engineering
Real Time and Embedded Systems
Workshops, Tutorials and Panels
Author Index
A Software Modeling Odyssey: Designing Evolutionary
Architecture-Centric Real-Time Systems and Product Lines
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0
An Experimental Investigation of UML Modeling Conventions
Improving the Definition of UML
MDA in Software Development
Adopting Model Driven Software Development in Industry A Case Study at Two Companies
Use Case Driven Iterative Development: Hurdles and Solutions
Model-Driven Development with SDL Process, Tools, and Experiences
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax
Correctly Defined Concrete Syntax for Visual Modeling Languages
Applying UML to Interaction and Coordination
Compositional MDA
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications
Aspects
Domain Models Are NOT Aspect Free
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects
Model Intergration
Package Merge in UML 2: Practice vs. Theory?
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis
Merging Models with the Epsilon Merging Language (EML)
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines
Facilitating the Definition of General Constraints in UML
……
Security
Model Transformation Tolls and Implementation
Analyzing Dynamic Models
Specifying Transformations
MOF
Keynote2
Bridging Models
Risk, Trust and Dependability
Tool Environments
OCL
Roundtrip Engineering
Real Time and Embedded Systems
Workshops, Tutorials and Panels
Author Index
