10. FASE 2007: Braga, Portugal (Part of ETAPS 2007)

Matthew B. Dwyer, Antónia Lopes (Eds.): Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4422 Springer 2007, ISBN 978-3-540-71288-6

Invited Contributions

Jan Bosch:
Software Product Families: Towards Compositionality. 1-10
Bertrand Meyer:
Contract-Driven Development. 11

Evolution and Agents

Jacek Ratzinger, Martin Pinzger, Harald Gall:
EQ-Mine: Predicting Short-Term Defects for Software Evolution. 12-26
Romain Robbes, Michele Lanza, Mircea Lungu:
An Approach to Software Evolution Based on Semantic Change. 27-41
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
A Simulation-Oriented Formalization for a Psychological Theory. 42-56

Model Driven Development

Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. 57-71
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations. 72-86
Rolf Hennicker, Alexander Knapp:
Activity-Driven Synthesis of State Machines. 87-101
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages. 102-116

Tool Demonstrations

Markus Bach, Florian Forster, Friedrich Steimann:
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. 117-120
David Harel, Asaf Kleinbort, Shahar Maoz:
S2A: A Compiler for Multi-modal UML Sequence Diagrams. 121-124

Distributed Systems

George Edwards, Sam Malek, Nenad Medvidovic:
Scenario-Driven Dynamic Analysis of Distributed Architectures. 125-139
Chouki Tibermacine, Didier Hoareau, Reda Kadri:
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. 140-154
César Sánchez, Henny B. Sipma, Zohar Manna:
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. 155-169

Specification

Jon Whittle:
Precise Specification of Use Case Scenarios. 170-184
Florian Klein, Holger Giese:
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. 185-199
Rüdiger Grammes, Reinhard Gotzhein:
SDL Profiles - Formal Semantics and Tool Support. 200-214
Lilian Burdy, Marieke Huisman, Mariela Pavlova:
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. 215-229

Services

Roy Grønmo, Michael C. Jaeger, Andreas Wombacher:
A Service Composition Construct to Support Iterative Development. 230-244
Alistair P. Barros, Gero Decker, Marlon Dumas, Franz Weber:
Correlation Patterns in Service-Oriented Architectures. 245-259
Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel:
Dynamic Characterization of Web Application Interfaces. 260-275

Testing

Siavash Mirarab, Ladan Tahvildari:
A Prioritization Approach for Software Test Cases Based on Bayesian Networks. 276-290
Gordon Fraser, Franz Wotawa:
Redundancy Based Test-Suite Reduction. 291-305
Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard:
Testing Scenario-Based Models. 306-320
Sacha Reis, Andreas Metzger, Klaus Pohl:
Integration Testing in Software Product Line Engineering: A Model-Based Technique. 321-335

Analysis

Ádám Darvas, K. Rustan M. Leino:
Practical Reasoning About Invocations and Implementations of Pure Methods. 336-351
Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel:
Finding Environment Guarantees. 352-367
Ulrike Ranger, Thorsten Hermes:
Ensuring Consistency Within Distributed Graph Transformation Systems. 368-382
Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel:
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. 383-397

Design

Derek Mannering, Jon G. Hall, Lucia Rapanotti:
Towards Normal Design for Safety-Critical Systems. 398-411
Xin Zhou, Hui Yu:
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement. 412-422
Roberto E. Lopez-Herrejon, Sven Apel:
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies. 423-437

Last update Fri May 25 08:13:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page