default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. 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
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.
last updated on 2025-03-01 15:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
