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 /

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 /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Rosenblum, David S. (Editor), Taentzer, Gabriele (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6013
Subjects:
Computer science.
Computer communication systems.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computer logic.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items