You have Guest access.
Log In
José Luiz Fiadeiro and Paola Inverardi
Front matter
1-15
Deriving Non-zeno Behavior Models from Goal Models Using ILP
16-30
What’s in a Feature : A Requirements Engineering Perspective
31-45
Formal Approach to Integrating Feature and Architecture Models
46-61
Correctness-Preserving Configuration of Business Process Models
62-76
Consistent Integration of Models Based on Views of Visual Languages
77-92
Translating Model Simulators to Analysis Models
93-96
Orthographic Modeling Environment
97-100
HOL-OCL: A Formal Proof Environment for uml /ocl
101-115
Towards Faithful Model Extraction Based on Contexts
116-130
Leveraging Patterns on Domain Models to Improve UML Profile Definition
131-145
When Things Go Wrong: Interrupting Conversations
146-162
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services
163-178
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
179-198
A Logic of Graph Constraints
199-214
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
215-229
Modelling and Verification of Timed Interaction and Migration
230-245
A Model Checking Approach for Verifying COWS Specifications
246-260
Contextual Integration Testing of Classes
261-275
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
276-291
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms
292-295
Automated Analysis of Permission-Based Security Using UMLsec
296-300
Software Quality Improvement Via Pattern Matching
301-316
Object Composition in Scenario-Based Programming
317-331
Regular Inference for State Machines Using Domains with Equality Tests
332-346
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems
347-361
Verification of Architectural Refactorings by Rule Extraction
362-376
Formal Model-Driven Program Refactoring
377-391
An Algebraic Semantics for MOF
392-406
A Formal Framework for Developing Adaptable Service-Based Applications
407-422
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications
423-427
Clint: A Composition Language Interpreter (Tool Paper)
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info