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 BibTeX

Invited Contributions

Jan Bosch:
Software Product Families: Towards Compositionality. 1-10
Electronic Edition (link) BibTeX
Bertrand Meyer:
Contract-Driven Development. 11
Electronic Edition (link) BibTeX

Evolution and Agents

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

Model Driven Development

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

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
Electronic Edition (link) BibTeX
David Harel, Asaf Kleinbort, Shahar Maoz:
S2A: A Compiler for Multi-modal UML Sequence Diagrams. 121-124
Electronic Edition (link) BibTeX

Distributed Systems

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

Specification

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

Services

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

Testing

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

Analysis

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

Design

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