Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
26
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,158
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Models in Software Engineering
other
Editor(s):
Juergen Dingel
,
Arnor Solberg
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genomic Prediction: Software
Author and book information
Book
ISBN (Print):
978-3-642-21209-3
ISBN (Electronic):
978-3-642-21210-9
Publication date (Print):
2011
DOI:
10.1007/978-3-642-21210-9
SO-VID:
7899f121-2440-43c6-a7bd-3923796ba797
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
The Doctoral Symposium at MODELS 2010
pp. 4
ReuseMe - Towards Aspect-Driven Reuse in Modelling Method Development
pp. 19
A Model-Based Framework for Software Performance Feedback
pp. 35
Software Modeling in Education: The 6th Educators’ Symposium at MODELS 2010
pp. 40
Novel Communication Channels in Software Modeling Education
pp. 55
Implementation of the Concept-Driven Approach in an Object-Oriented Analysis and Design Course
pp. 70
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010)
pp. 75
Virtual Verification of System Designs against System Requirements
pp. 90
From Interaction Overview Diagrams to Temporal Logic
pp. 105
Report of the 15th International Workshop on Aspect-Oriented Modeling
pp. 110
Aspect-Oriented Feature Models
pp. 125
Mapping Aspect-Oriented Models to Aspect-Oriented Code
pp. 140
Equation-Based Object-Oriented Modeling Languages and Tools
pp. 145
Model-Driven Interoperability: MDI 2010
pp. 150
From the Heterogeneity Jungle to Systematic Benchmarking
pp. 165
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking
pp. 180
Models and Evolution - ME2010
pp. 184
Conflicts as First-Class Entities: A UML Profile for Model Versioning
pp. 194
A Manifesto for Semantic Model Differencing
pp. 204
Summary of the 5th International Workshop on Models@run.time
pp. 209
Meta-modeling Runtime Models
pp. 224
The Role of Models and Megamodels at Runtime
pp. 239
MoDeVVa 2010 Workshop Summary
pp. 244
Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases
pp. 259
Traceability for Mutation Analysis in Model Transformation
pp. 274
Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools
pp. 279
Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests
pp. 293
Simplifying Model Transformation Chains by Rule Composition
pp. 308
The 3 rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010)
pp. 312
Integration of Component Fault Trees into the UML
pp. 328
QVTR2: A Rational and Performance-Aware Extension to the Relations Language
pp. 334
A Specification-Based Test Case Generation Method for UML/OCL
pp. 349
Integrating OCL and Textual Modelling Languages
pp. 364
Quality of Service-Oriented Software Systems (QUASOSS 2010)
pp. 369
An Accuracy Information Annotation Model for Validated Service Behavior Specifications
pp. 384
Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds
pp. 400
First International Workshop on Model Based Engineering for Robotics (RoSym’10)
pp. 401
Integrating Ontological Domain Knowledge into a Robotic DSL
Similar content
3,158
CPAchecker: A Tool for Configurable Software Verification
Authors:
Dirk Beyer
,
M. Erkan Keremoglu
Commercial Computer-Aided Design Software Optimises DRO Circuit Design
Authors:
B.S. Virdee
,
A.J. Parsons
,
R.G. Meadows
Numerical simulation of perovskite solar cell with different material as electron transport layer using SCAPS-1D Software
Authors:
K. Bhavsar
,
P.B. Lapsiwala
See all similar
Cited by
1
Potential Errors and Test Assessment in Software Product Line Engineering
Authors:
Hartmut Lackner
,
Martin Schmidt
See all cited by