Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Piotr Kosiuczenko |
On the Implementation of @pre. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Ronald Middelkoop |
Proving Consistency of Pure Methods and Model Fields. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
Synchronous Modeling and Validation of Priority Inheritance Schedulers. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages |
1 | Marsha Chechik, Martin Wirsing (eds.) |
Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vasanth Rajamani, Christine Julien 0001, Jamie Payton, Gruia-Catalin Roman |
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen |
Confluence in Domain-Independent Product Line Transformations. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Scalable Analysis of Scalable Systems. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
Formal Specification and Analysis of Timing Properties in Software Systems. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Andrei Voronkov |
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kelly Androutsopoulos, David Clark 0001, Mark Harman, Zheng Li 0002, Laurence Tratt |
Control Dependence for Extended Finite State Machines. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
reactive systems, slicing, control dependence, extended finite state machines |
1 | Frank Hermann 0001, Hartmut Ehrig, Claudia Ermel |
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Autili, Paolo Di Benedetto, Paola Inverardi |
Context-Aware Adaptive Services: The PLASTIC Approach. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guido Wachsmuth |
A Formal Way from Text to Code Templates. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
Cross-Entropy-Based Replay of Concurrent Programs. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn E. Gray, Alan Mycroft |
Logical Testing. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Interface Generation and Compositional Verification in JavaPathfinder. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mithun Acharya, Tao Xie 0001 |
Mining API Error-Handling Specifications from Source Code. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Qichang Chen, Liqiang Wang, Zijiang Yang 0006, Scott D. Stoller |
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen |
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens |
What's in a Feature: A Requirements Engineering Perspective. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
Formal Model-Driven Program Refactoring. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Küster Filipe Bowles, Sotiris Moschoyiannis |
When Things Go Wrong: Interrupting Conversations. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Denaro, Alessandra Gorla, Mauro Pezzè |
Contextual Integration Testing of Classes. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
Reference process model, model configuration, Petri net |
1 | Jan Jürjens, Jörg Schreck, Yijun Yu |
Automated Analysis of Permission-Based Security Using UMLsec. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: A Formal Proof Environment for UML/OCL. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
holocl, ocl, Formal Method, Theorem Proving, uml |
1 | Gabriel Ciobanu, Maciej Koutny |
Modelling and Verification of Timed Interaction and Migration. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
compositional translation, behavioural consistency, mobility, process algebra, high-level Petri nets, timers |
1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Verification of Architectural Refactorings by Rule Extraction. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation |
1 | Colin Atkinson 0001, Dietmar Stoll |
Orthographic Modeling Environment. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, Goetz Botterweck |
Formal Approach to Integrating Feature and Architecture Models. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Lutz Schröder, Sergey Goncharov 0001 |
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft |
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Subhajit Datta, Robert van Engelen |
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Hans Vangheluwe |
Translating Model Simulators to Analysis Models. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Paola Inverardi (eds.) |
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 |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi 0001 |
A Model Checking Approach for Verifying COWS Specifications. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel |
Towards Faithful Model Extraction Based on Contexts. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
algorithm generation, Java, domain-specific language, detection, code smells, antipatterns, Design defects |
1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange |
Consistent Integration of Models Based on Views of Visual Languages. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Clint: A Composition Language Interpreter (Tool Paper). |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar |
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
Model-Based Adaptation, Behavioural Adaptation, Semantic Adaptation, Input Output Labelled Transition Systems, Services |
1 | Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec |
Engineering Service Oriented Applications: From StPowla Processes to SRML Models. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Therese Berg, Bengt Jonsson 0001, Harald Raffelt |
Regular Inference for State Machines Using Domains with Equality Tests. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte |
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radu Kopetz, Pierre-Etienne Moreau |
Software Quality Improvement Via Pattern Matching. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Artur Boronat, José Meseguer 0001 |
An Algebraic Semantics for MOF. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
metamodeling semantics, reflection, model-driven development, MOF, membership equational logic |
1 | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel |
Deriving Non-zeno Behavior Models from Goal Models Using ILP. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz |
Object Composition in Scenario-Based Programming. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè |
A Formal Framework for Developing Adaptable Service-Based Applications. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Hartmut Ehrig, Ulrike Prange |
A Logic of Graph Constraints. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Fraser 0001, Franz Wotawa |
Redundancy Based Test-Suite Reduction. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto E. Lopez-Herrejon, Sven Apel |
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | César Sánchez 0001, Henny B. Sipma, Zohar Manna |
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Grammes, Reinhard Gotzhein |
SDL Profiles - Formal Semantics and Tool Support. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
A Simulation-Oriented Formalization for a Psychological Theory. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Asaf Kleinbort, Shahar Maoz |
S2A: A Compiler for Multi-modal UML Sequence Diagrams. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Ranger, Thorsten Hermes |
Ensuring Consistency Within Distributed Graph Transformation Systems. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel |
Dynamic Characterization of Web Application Interfaces. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bosch |
Software Product Families: Towards Compositionality. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
compositionality, Software product families |
1 | Xin Zhou, Hui Yu |
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
Clustering, Class, Requirement Traceability, Use Case, Object-oriented software development |
1 | Ádám Darvas, K. Rustan M. Leino |
Practical Reasoning About Invocations and Implementations of Pure Methods. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Romain Robbes, Michele Lanza, Mircea Lungu |
An Approach to Software Evolution Based on Semantic Change. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alistair Barros, Gero Decker, Marlon Dumas, Franz Weber |
Correlation Patterns in Service-Oriented Architectures. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roy Grønmo, Michael C. Jaeger, Andreas Wombacher |
A Service Composition Construct to Support Iterative Development. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chouki Tibermacine, Didier Hoareau, Reda Kadri |
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sacha Reis, Andreas Metzger, Klaus Pohl |
Integration Testing in Software Product Line Engineering: A Model-Based Technique. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel |
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Florian Klein 0001, Holger Giese |
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
Visual Specification Language, Temporal Logic, Property Specification |
1 | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
Towards Normal Design for Safety-Critical Systems. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jon Whittle 0001 |
Precise Specification of Use Case Scenarios. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Siavash Mirarab, Ladan Tahvildari |
A Prioritization Approach for Software Test Cases Based on Bayesian Networks. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
Bayesian Networks, Regression Testing, Test case Prioritization |
1 | Bertrand Meyer 0001 |
Contract-Driven Development. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lilian Burdy, Marieke Huisman, Mariela Pavlova |
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bach, Florian Forster, Friedrich Steimann |
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk |
Flexible and Extensible Notations for Modeling Languages. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jacek Ratzinger, Martin Pinzger 0001, Harald C. Gall |
EQ-Mine: Predicting Short-Term Defects for Software Evolution. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
Quality Prediction, Machine Learning, Classification, Software Evolution, Regression, Defect Density |
1 | Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard |
Testing Scenario-Based Models. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Alexander Knapp |
Activity-Driven Synthesis of State Machines. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel |
Finding Environment Guarantees. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann 0001, Gabriele Taentzer |
Information Preserving Bidirectional Model Transformations. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | George Edwards, Sam Malek, Nenad Medvidovic |
Scenario-Driven Dynamic Analysis of Distributed Architectures. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Koushik Sen, Gul Agha |
Automated Systematic Testing of Open Distributed Programs. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa |
Automatic Generation of Tutorial Systems from Development Specification. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Carlo Corrales Delgado |
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Benet Devereux, Marsha Chechik |
Automated Support for Building Behavioral Models of Event-Driven Systems. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Koch, Karl Pauls |
Engineering Self-protection for Autonomous Systems. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Cooney, Marlon Dumas, Paul Roe |
GPSL: A Programming Language for Service Implementation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Csaba Ölveczky, Marco Caccamo |
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Sacha |
Evaluation of Expected Software Quality: A Customer's Viewpoint. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jason Hickey, Aleksey Nogin |
: Designing a Scalable Build Process. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Lavazza, Vieri Del Bianco |
Combining Problem Frames and UML in the Description of Software Requirements. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dwayne Towell, Jason Denton |
A Software Implementation Progress Model. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Köb, Franz Wotawa |
Fundamentals of Debugging Using a Resolution Calculus. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Artur Boronat, José A. Carsí, Isidro Ramos |
Algebraic Specification of a Model Transformation Engine. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
Model Transformation, Model-Driven Engineering, Traceability, Algebraic Specifications, QVT |
1 | Bernd Westphal, Tobe Toben |
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|