Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
| Σειρά: | Lecture Notes in Computer Science,
4961 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Requirements and Architectures
- Deriving Non-zeno Behavior Models from Goal Models Using ILP
- What’s in a Feature: A Requirements Engineering Perspective
- Formal Approach to Integrating Feature and Architecture Models
- Models, Model Transformations I
- Correctness-Preserving Configuration of Business Process Models
- Consistent Integration of Models Based on Views of Visual Languages
- Translating Model Simulators to Analysis Models
- Conceptual Models, UML
- Orthographic Modeling Environment
- HOL-OCL: A Formal Proof Environment for uml/ocl
- Towards Faithful Model Extraction Based on Contexts
- Leveraging Patterns on Domain Models to Improve UML Profile Definition
- Service Engineering/Adaptable Services
- When Things Go Wrong: Interrupting Conversations
- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services
- Engineering Service Oriented Applications: From StPowla Processes to SRML Models
- Verification and Testing I
- A Logic of Graph Constraints
- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
- Modelling and Verification of Timed Interaction and Migration
- A Model Checking Approach for Verifying COWS Specifications
- Verification and Testing II
- Contextual Integration Testing of Classes
- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms
- Automated Analysis of Permission-Based Security Using UMLsec
- Objects and Components
- Software Quality Improvement Via Pattern Matching
- Object Composition in Scenario-Based Programming
- Regular Inference for State Machines Using Domains with Equality Tests
- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems
- Models, Model Transformations II
- Verification of Architectural Refactorings by Rule Extraction
- Formal Model-Driven Program Refactoring
- An Algebraic Semantics for MOF
- A Formal Framework for Developing Adaptable Service-Based Applications
- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications
- Clint: A Composition Language Interpreter (Tool Paper).
