My Account Log in

1 option

Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / edited by Thomas Kühne.

SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online

View online
Format:
Book
Contributor:
Kühne, Thomas, editor.
SpringerLink (Online service)
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering ; SL 2, 4364.
Programming and Software Engineering ; 4364
Language:
English
Subjects (All):
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Management information systems.
Computer science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Management of Computing and Information Systems.
Local Subjects:
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Management of Computing and Information Systems.
Physical Description:
1 online resource (XII, 334 pages).
Edition:
First edition 2007.
Contained In:
Springer eBooks
Place of Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
System Details:
text file PDF
Contents:
W1 - Aspect-Oriented Modeling
9th International Workshop on Aspect-Oriented Modeling
Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study
Join Point Patterns: A High-Level Join Point Selection Mechanism
W2 - Critical Systems Development
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset
Model Checking of UML 2.0 Interactions
W3 - Reverse Engineering
3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL
W4 - Quality in Modeling
The 1st Workshop on Quality in Modeling
Consistency of Business Process Models and Object Life Cycles
A Qualitative Investigation of UML Modeling Conventions
W5 - Advanced User Interfaces
Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report
A Model-Driven Approach to the Engineering of Multiple User Interfaces
Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces
W6 - Real-Time and Embedded Systems
Modelling and Analysis of Real Time and Embedded Systems - Using UML
Time Exceptions in Sequence Diagrams
Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems
W7 - OCL
OCL for (Meta-)Models in Multiple Application Domains
OCL-Based Validation of a Railway Domain Profile
OCL Support in an Industrial Environment
W8 - Integrating MDA and V&V
Report on the 3rd MoDeVa Workshop - Model Design and Validation
Towards Model-Driven Unit Testing
Validation of Model Transformations - First Experiences Using a White Box Approach
W9 - Model Size Metrics
Summary of the 2006 Model Size Metrics Workshop
Model Size Matters
On the Application of Software Metrics to UML Models
W10 - Models@run.time
Summary of the Workshop Models@run.time at MoDELS 2006
Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware
Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems
W11 - Multi-Paradigm Modeling
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools
Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages
S1 - Doctoral Symposium
MoDELS 2006 Doctoral Symposium
Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems
S2 - Educators Symposium
Educators' Symposium at MoDELS 2006
If You're Not Modeling, You're Just Programming: Modeling Throughout an Undergraduate Software Engineering Program
Teaching Software Modeling in a Simulated Project Environment
Repository for Model Driven Development (ReMoDD)
S3 - A Formal Semantics for UML
2 nd UML 2 Semantics Symposium: Formal Semantics for UML
A UML Simulator Based on a Generic Model Execution Engine
Queries and Constraints: A Comprehensive Semantic Model for UML2
Analysis of UML Activities with Dynamic Meta Modeling Techniques.
Other Format:
Printed edition:
ISBN:
978-3-540-69489-2
9783540694892
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account