Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Carlo Ghezzi |
Software Engineering: Emerging Goals and Lasting Problems. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler |
Amplifying the Benefits of Design Patterns: From Specification Through Implementation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alain Giorgetti, Julien Groslambert |
JAG: JML Annotation Generation for Verifying Temporal Properties |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Curbera |
A Programming Model for Service Oriented Applications. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Harald Raffelt, Bernhard Steffen |
LearnLib: A Library for Automata Learning and Experimentation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniela E. Damian, Filippo Lanubile, Teresa Mallardo |
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama |
Trace-Based Memory Aliasing Across Program Versions. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nigamanth Sridhar, Jason O. Hallstrom |
A Behavioral Model for Software Containers. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Therese Berg, Bengt Jonsson 0001, Harald Raffelt |
Regular Inference for State Machines with Parameters. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hyun Gi Min, Soo Dong Kim |
A Technique to Represent and Generate Components in MDA/PIM for Automation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Reto Geiger, Beat Fluri, Harald C. Gall, Martin Pinzger 0001 |
Relation of Code Clones and Change Couplings. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Hamid Mcheick, Amal Elkharraz |
Concerned About Separation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Antónia Lopes |
A Formal Approach to Event-Based Architectures. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robby, Scott A. DeLoach, Valeriy A. Kolesnikov |
Using Design Metrics for Predicting System Flexibility. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff |
Argus: Online Statistical Bug Detection. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fraser P. Ruffell, Jason W. A. Selby |
The Pervasiveness of Global Data in Evolving Software Systems. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Reiko Heckel (eds.) |
Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Giovanni Toffetti Carughi |
A Graph-Based Approach to Transform XML Documents. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder |
Iterative Circular Coinduction for CoCasl in Isabelle/HOL. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff |
Kaveri: Delivering the Indus Java Program Slicer to Eclipse. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eichberg, Thorsten Schäfer, Mira Mezini |
Using Annotations to Check Structural Properties of Classes. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli (eds.) |
Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Arend Rensink |
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia, Matteo Rossi 0001, Dino Mandrioli, Angelo Morzenti |
Automated Compositional Proofs for Real-Time Systems. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David A. Naumann |
Observational Purity and Encapsulation. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Axel Martens |
Analyzing Web Service Based Business Processes. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Checking Memory Safety with Blast. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Egyed, Wuwei Shen, Kun Wang |
Maintaining Life Perspectives During the Refinement of UML Class Structures. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay |
Termination Criteria for Model Transformation. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Therese Berg, Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker, Harald Raffelt, Bernhard Steffen |
On the Correspondence Between Conformance Testing and Regular Inference. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Pasha Shabalin |
Tools for Secure Systems Development with UML: Security Analysis with ATPs. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Atanas Rountev, Scott Kagan, Jason Sawin |
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Leonardo Mariani |
Automatic Conformance Testing of Web Services. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski |
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Berry |
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Leicher, Jörn Guy Süß |
Augmenting UML Models for Composition Conflict Analysis. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Mostowski |
Formalisation and Verification of Java Card Security Properties in Dynamic Logic. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Jakobac, Alexander Egyed, Nenad Medvidovic |
Improving System Understanding via Interactive, Tailorable, Source Code Analysis. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos |
Improving the Build Architecture of Legacy C/C++ Software Systems. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel |
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ralf H. Reussner, Jens Happe, Annegret Habel |
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Arie Gurfinkel |
A Framework for Counterexample Generation and Exploration. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Soo Ho Chang, Man Jib Han, Soo Dong Kim |
A Tool to Automate Component Clustering and Identification. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Imed Hammouda, Juha Hautamäki, Mika Pussinen, Kai Koskimies |
Managing Variability Using Heterogeneous Feature Variation Patterns. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José Miguel Cañete, Francisco José Galán Morillo |
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arjan J. Mooij, Nicolae Goga, Judi Romijn |
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Engelbert Hubbers, Erik Poll |
Reasoning about Card Tears and Transactions in Java Card. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Egyed |
Consistent Adaptation and Evolution of Class Diagrams during Refinement. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michel Wermelinger, Tiziana Margaria (eds.) |
Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li |
Modeling Role-Based Access Control Using Parameterized UML Models. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Guillaume Dufay |
A Tool-Assisted Framework for Certified Bytecode Verification. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christine Choppy, Gianna Reggio |
Improving Use Case Based Requirements Using Formally Grounded Specifications. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Csaba Ölveczky, José Meseguer 0001 |
Specification and Analysis of Real-Time Systems Using Real-Time Maude. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman, Dilian Gurov, Christoph Sprenger 0001, Gennady Chugunov |
Checking Absence of Illicit Applet Interactions: A Case Study. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi |
Compositional Nested Long Running Transactions. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Saffrey, Muffy Calder |
Optimising Communication Structure for Model Checking. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
Filtering TOBIAS Combinatorial Test Suites. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
VDM, combinatorial testing, JML, model-based specifications |
1 | Haifeng He, Neelam Gupta |
Automated Debugging Using Path-Based Weakest Preconditions. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
software testing, Fault location, weakest precondition, postcondition |
1 | Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh |
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Predictable Dynamic Plugin Systems. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer |
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Si Won Choi, Soo Ho Chang, Soo Dong Kim |
A Systematic Methodology for Developing Component Frameworks. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ruth Breu, Gerhard Popp |
Actor-Centric Modeling of User Rights. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tim McComb |
Refactoring Object-Z Specifications. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul |
Distributed Information Management with XML and Web Services. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Islam A. M. El-Maddah, T. S. E. Maibaum |
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco |
Enhancing Remote Method Invocation through Type-Based Static Analysis. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Grégoire Hamon, John M. Rushby |
An Operational Semantics for Stateflow. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers |
Automating Decisions in Component Composition Based on Propagation of Requirements. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Moldt, Jan Ortmann |
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology |
1 | Jianjun Zhao 0001, Baowen Xu |
Measuring Aspect Cohesion. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne |
Translating Software Designs for Model Checking. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Systematic Testing of Software Architectures in the C2 Style. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath |
A Correlation Framework for the CORBA Component Model. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gruia-Catalin Roman, Christine Julien 0001, Jamie Payton |
A Formal Treatment of Context-Awareness. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michal Young |
Symbiosis of Static Analysis and Program Testing. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Till Mossakowski |
Monad-Independent Hoare Logic in HASCASL. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Sharygina, James C. Browne |
Model Checking Software via Abstraction of Loop Transitions. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ingolf Krüger |
Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers |
PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Gargantini, Elvinia Riccobene |
Automatic Model Driven Animation of SCR Specifications. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Koch, Francesco Parisi-Presicce |
Visual Specifications of Policies and Their Verification. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso |
Towards UML-Based Formal Specifications of Component-Based Real-Time Software. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jianjun Zhao 0001, Martin C. Rinard |
Pipa: A Behavioral Interface Specification Language for AspectJ. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck |
Modular Analysis of Dataflow Process Networks. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David J. Scott, Alastair R. Beresford, Alan Mycroft |
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nazareno Aguirre, T. S. E. Maibaum |
A Logical Basis for the Specification of Reconfigurable Component-Based Systems. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Marc Lohmann |
Model-Based Development of Web Applications Using Graphical Reaction Rules. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Sora, Pierre Verbaeten, Yolande Berbers |
A Description Language For Composable Components. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè (eds.) |
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Kelsen |
An Information-Based View of Representational Coupling in Object-Oriented Systems. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
object-oriented, metrics, refactoring, extensibility, coupling |
1 | Anita Goel, Suresh Chand Gupta, Siri Krishan Wasan |
Probe Mechanism for Object-Oriented Software Testing. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Wojciech Mostowski |
A Program Logic for Handling JAVA CARD's Transaction Mechanism. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Kubica |
A Temporal Approach to Specification and Verification of Pointer Data-Structures. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Morasca |
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | J. Christian Attiogbé, Pascal Poizat, Gwen Salaün |
Integration of Formal Datatypes within State Diagrams. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
formal methods integration, Z, algebraic specifications, B, state diagrams |
1 | Claus Pahl |
An Ontology for Software Component Matching. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser |
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Merz, Martin Wirsing, Júlia Zappe |
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri |
Composing Specifications of Event Based Applications. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|