default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. FASE 2008: Budapest, Hungary (Part of ETAPS 2008)
- José Luiz Fiadeiro, Paola Inverardi:
Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4961, Springer 2008, ISBN 978-3-540-78742-6
Requirements and Architectures
- Dalal Alrajeh, Alessandra Russo
, Sebastián Uchitel:
Deriving Non-zeno Behavior Models from Goal Models Using ILP. 1-15 - Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. 16-30 - Mikolás Janota, Goetz Botterweck:
Formal Approach to Integrating Feature and Architecture Models. 31-45
Models, Model Transformations I
- Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling:
Correctness-Preserving Configuration of Business Process Models. 46-61 - Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages. 62-76 - Juan de Lara, Hans Vangheluwe:
Translating Model Simulators to Analysis Models. 77-92
Conceptual Models, UML
- Colin Atkinson, Dietmar Stoll:
Orthographic Modeling Environment. 93-96 - Achim D. Brucker, Burkhart Wolff:
HOL-OCL: A Formal Proof Environment for UML/OCL. 97-100 - Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Towards Faithful Model Extraction Based on Contexts. 101-115 - François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard:
Leveraging Patterns on Domain Models to Improve UML Profile Definition. 116-130
Service Engineering/Adaptable Services
- Juliana Küster Filipe Bowles, Sotiris Moschoyiannis:
When Things Go Wrong: Interrupting Conversations. 131-145 - Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar:
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. 146-162 - Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec:
Engineering Service Oriented Applications: From StPowla Processes to SRML Models. 163-178
Verification and Testing I
- Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
A Logic of Graph Constraints. 179-198 - Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. 199-214 - Gabriel Ciobanu, Maciej Koutny:
Modelling and Verification of Timed Interaction and Migration. 215-229 - Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. 230-245
Verification and Testing II
- Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
Contextual Integration Testing of Classes. 246-260 - Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte:
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. 261-275 - Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien:
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms. 276-291 - Jan Jürjens, Jörg Schreck, Yijun Yu:
Automated Analysis of Permission-Based Security Using UMLsec. 292-295
Objects and Components
- Radu Kopetz, Pierre-Etienne Moreau:
Software Quality Improvement Via Pattern Matching. 296-300 - Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz:
Object Composition in Scenario-Based Programming. 301-316 - Therese Berg, Bengt Jonsson, Harald Raffelt:
Regular Inference for State Machines Using Domains with Equality Tests. 317-331 - Subhajit Datta, Robert van Engelen:
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems. 332-346
Models, Model Transformations II
- Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. 347-361 - Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Model-Driven Program Refactoring. 362-376 - Artur Boronat, José Meseguer:
An Algebraic Semantics for MOF. 377-391 - Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. 392-406 - Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft:
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. 407-422 - Javier Cámara, Gwen Salaün, Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper). 423-427
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 2024-11-07 20:18 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:
