Search results for "FASE"

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

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