Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Rosenblum, David S. (Editor ), Taentzer, Gabriele (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6013
Temas:
Software engineering.
Computer networks .
Computer science.
Compilers (Computer programs).
Computer programming.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Speaker
  • Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization
  • Model Transformation
  • A Formalisation of Constraint-Aware Model Transformations
  • Formal Real-Time Model Transformations in MOMENT2
  • Reusing Model Transformations While Preserving Properties
  • Software Evolution
  • Are Popular Classes More Defect Prone?
  • Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation
  • A Method for Analyzing Code Homology in Genealogy of Evolving Software
  • Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
  • Graph Transformation
  • Incremental Service Composition Based on Partial Matching of Visual Contracts
  • Formal Analysis and Verification of Self-Healing Systems
  • Stochastic Simulation of Graph Transformation Systems
  • Modeling Concepts
  • Prescriptive Semantics for Big-Step Modelling Languages
  • A Modular Model Composition Technique
  • A Verifiable Modeling Approach to Configurable Role-Based Access Control
  • Incremental Consistency Checking of Dynamic Constraints
  • Verification
  • Proving Consistency and Completeness of Model Classes Using Theory Interpretation
  • Automatic Cross Validation of Multiple Specifications: A Case Study
  • An Automata-Theoretic Approach to Hardware/Software Co-verification
  • Program Analysis
  • Shape Refinement through Explicit Heap Analysis
  • Memory Leaks Detection in Java by Bi-abductive Inference
  • Analyzing the Impact of Change in Multi-threaded Programs
  • Testing and Debugging
  • Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
  • A Lightweight and Portable Approach to Making Concurrent Failures Reproducible
  • Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups
  • Performance Modeling and Analysis
  • Performance Modeling and Analysis of Context-Aware Mobile Software Systems
  • A Process to Effectively Identify "Guilty" Performance Antipatterns.

Ejemplares similares