![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
15. FASE 2012: Tallinn, Estonia (Part of ETAPS 2012)
- Juan de Lara, Andrea Zisman:
Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Lecture Notes in Computer Science 7212, Springer 2012, ISBN 978-3-642-28871-5
Invited Talk
- Wil M. P. van der Aalst
:
Distributed Process Discovery and Conformance Checking. 1-25
Software Architecture and Components
- Davide Di Ruscio
, Ivano Malavolta
, Henry Muccini
, Patrizio Pelliccione
, Alfonso Pierantonio
:
Model-Driven Techniques to Enhance Architectural Languages Interoperability. 26-42 - Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
Moving from Specifications to Contracts in Component-Based Design. 43-58 - Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem:
The SynchAADL2Maude Tool. 59-62
Services
- José Luiz Fiadeiro, Antónia Lopes
:
Consistency of Service Composition. 63-77 - Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki
, José Meseguer, Martin Wirsing:
Stable Availability under Denial of Service Attacks through Formal Patterns. 78-93 - Stefan Naujokat
, Anna-Lena Lamprecht, Bernhard Steffen:
Loose Programming with PROPHETS. 94-98
Verification and Monitoring
- Vineet Kahlon:
Schedule Insensitivity Reduction. 99-114 - Leo Hatvani
, Paul Pettersson
, Cristina Cerschi Seceleanu
:
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. 115-129 - Elvira Albert, Richard Bubel, Samir Genaim
, Reiner Hähnle
, Guillermo Román-Díez:
Verified Resource Guarantees for Heap Manipulating Programs. 130-145 - Fabrizio Maria Maggi, Marco Montali
, Wil M. P. van der Aalst
:
An Operational Decision Support Framework for Monitoring Business Constraints. 146-162
Intermodelling and Model Transformations
- Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki:
Intermodeling, Queries, and Kleisli Categories. 163-177 - Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
:
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. 178-193 - Julian C. Bradfield, Perdita Stevens:
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. 194-208 - Maarten de Mol, Arend Rensink, James J. Hunt:
Graph Transforming Java Data. 209-223
Modelling and Adaptation
- Rick Salay, Michalis Famelis, Marsha Chechik:
Language Independent Refinement Using Partial Modeling. 224-239 - Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
A Conceptual Framework for Adaptation. 240-254
Product Lines and Feature-Oriented Programming
- Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake:
Applying Design by Contract to Feature-Oriented Programming. 255-269 - Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer:
Integration Testing of Software Product Lines Using Compositional Symbolic Execution. 270-284 - Julia Rubin, Marsha Chechik:
Combining Related Products into Product Lines. 285-300
Development Process
- Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart, Thomas Grechenig:
Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages. 301-315 - Earl T. Barr
, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. Germán, Premkumar T. Devanbu
:
Cohesive and Isolated Development with Branches. 316-331 - Mário Luís Guimarães
, António Rito Silva
:
Making Software Integration Really Continuous. 332-346 - Giovanni Becce, Leonardo Mariani
, Oliviero Riganelli
, Mauro Santoro:
Extracting Widget Descriptions from GUIs. 347-361
Verification and Synthesis
- Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer:
Language-Theoretic Abstraction Refinement. 362-376 - Dalal Alrajeh, Jeff Kramer, Alessandra Russo
, Sebastián Uchitel
:
Learning from Vacuously Satisfiable Scenario-Based Specifications. 377-393 - Martin Erwig, Rahul Gopinath:
Explanations for Regular Expressions. 394-408
Testing and Maintenance
- Matt Staats, Gregory Gay
, Michael W. Whalen, Mats Per Erik Heimdahl:
On the Danger of Coverage Directed Test Case Generation. 409-424 - Macario Polo Usaola
, Pedro Reales Mateo, Beatriz Pérez Lamancha:
Reduction of Test Suites Using Mutation. 425-438 - Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella:
Model-Based Filtering of Combinatorial Test Suites. 439-454 - Rim Mahouachi, Marouane Kessentini, Khaled Ghédira:
A New Design Defects Classification: Marrying Detection and Correction. 455-470
Slicing and Refactoring
- Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Fine Slicing - Theory and Applications for Computation Extraction. 471-485 - Josep Silva
, Salvador Tamarit
, César Tomás:
System Dependence Graphs in Sequential Erlang. 486-500 - Huiqing Li, Simon J. Thompson
:
A Domain-Specific Language for Scripting Refactorings in Erlang. 501-515
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.