Search results for "FASE"

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

Publications at "FASE"( http://dblp.L3S.de/Venues/FASE )