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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fiadeiro, José (Editor ), Inverardi, Paola (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Theoretical Computer Science and General Issues, 4961
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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).

Ejemplares similares