Search results for "FASE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jennifer Tenzer, Perdita Stevens	Modelling Recursive Calls with UML State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF
1	Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio	Xere: Towards a Natural Interoperability between XML and ER Diagrams.	FASE	2003	DBLP DOI BibTeX RDF
1	Henry Muccini	Detecting Implied Scenarios Analyzing Non-local Branching Choices.	FASE	2003	DBLP DOI BibTeX RDF
1	Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein 0001, Martti Piirainen	A Generic Component Framework for System Modeling.	FASE	2002	DBLP DOI BibTeX RDF
1	Juan de Lara, Hans Vangheluwe	AToM3: A Tool for Multi-formalism and Meta-modelling.	FASE	2002	DBLP DOI BibTeX RDF	Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation
1	João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade 0001, José Luiz Fiadeiro	The Coordination Development Environment.	FASE	2002	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
1	Mariano Belaunde, Mikael Peltier	From EDOC Components to CCM Components: A Precise Mapping Specification.	FASE	2002	DBLP DOI BibTeX RDF
1	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt	The KeY System: Integrating Object-Oriented Design and Formal Methods.	FASE	2002	DBLP DOI BibTeX RDF
1	Marco Bernardo 0001, Francesco Franzè	Architectural Types Revisited: Extensible And/Or Connections.	FASE	2002	DBLP DOI BibTeX RDF
1	Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen	Model Generation by Moderated Regular Extrapolation.	FASE	2002	DBLP DOI BibTeX RDF
1	Alexandre David, M. Oliver Möller, Wang Yi 0001	Formal Verification of UML Statecharts with Real-Time Extensions.	FASE	2002	DBLP DOI BibTeX RDF
1	Michel Charpentier	An Approach to Composition Motivated by wp.	FASE	2002	DBLP DOI BibTeX RDF
1	Tony Clark 0001, Andy Evans, Stuart Kent 0001	Engineering Modelling Languages: A Precise Meta-Modelling Approach.	FASE	2002	DBLP DOI BibTeX RDF
1	Oscar López, Miguel A. Laguna, Francisco José García-Peñalvo	Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach.	FASE	2002	DBLP DOI BibTeX RDF	Petri nets, workflow, Requirement engineering, use cases, requirements reuse
1	Reiner Hähnle, Kristofer Johannisson, Aarne Ranta	An Authoring Tool for Informal and Formal Requirements Specifications.	FASE	2002	DBLP DOI BibTeX RDF
1	Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide	Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.	FASE	2002	DBLP DOI BibTeX RDF
1	Luciano Baresi, Mauro Pezzè	A Toolbox for Automating Visual Software Engineering.	FASE	2002	DBLP DOI BibTeX RDF
1	Gilles Barthe, Dilian Gurov, Marieke Huisman	Compositional Verification of Secure Applet Interactions.	FASE	2002	DBLP DOI BibTeX RDF
1	Felix Bübl	Introducing Context-Based Constraints.	FASE	2002	DBLP DOI BibTeX RDF
1	Virginia C. Carneiro de Paula, Thaís Vasconcelos Batista	Mapping an ADL to a Component-Based Application Development Environment.	FASE	2002	DBLP DOI BibTeX RDF	Software architecture, component, CORBA, configuration, dynamic reconfiguration, ADL, scripting language
1	Antonio Navarro 0001, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, José Luis Sierra	Formal-Driven Conceptualization and Prototyping of Hypermedia Applications.	FASE	2002	DBLP DOI BibTeX RDF
1	Andreas Nonnengart, Georg Rock, Werner Stephan 0001	Formal Requirements Engineering Using Observer Models.	FASE	2002	DBLP DOI BibTeX RDF
1	Ralf-Detlef Kutsche, Herbert Weber (eds.)	Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings	FASE	2002	DBLP DOI BibTeX RDF
1	Fei Xie, James C. Browne	Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.	FASE	2002	DBLP DOI BibTeX RDF
1	Antonio Cerone	Implementing Condition/Event Nets in the Circal Process Algebra.	FASE	2002	DBLP DOI BibTeX RDF
1	Fei Xie, Vladimir Levin, James C. Browne	ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.	FASE	2002	DBLP DOI BibTeX RDF
1	Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini	Meta-modeling Techniques Meet Web Application Design Tools.	FASE	2002	DBLP DOI BibTeX RDF
1	Sumit Kumar, Susan Horwitz	Better Slicing of Programs with Jumps and Switches.	FASE	2002	DBLP DOI BibTeX RDF
1	Bart Jacobs 0001, Erik Poll	A Logic for the Java Modeling Language JML.	FASE	2001	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.	FASE	2001	DBLP DOI BibTeX RDF
1	Francis Bordeleau, Jean-Pierre Corriveau	On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design.	FASE	2001	DBLP DOI BibTeX RDF
1	Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim	A CSP View on UML-RT Structure Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
1	Jan Jürjens	Towards Development of Secure Systems Using UMLsec.	FASE	2001	DBLP DOI BibTeX RDF
1	Reiko Heckel, Stefan Sauer 0001	Strengthening UML Collaboration Diagrams by State Transformations.	FASE	2001	DBLP DOI BibTeX RDF	UML collaboration diagrams, pre/postconditions, graph process, graph transformation
1	Tony Clark 0001, Andy Evans, Stuart Kent 0001	The Metamodelling Language Calculus: Foundation Semantics for UML.	FASE	2001	DBLP DOI BibTeX RDF
1	Gianna Reggio, Maura Cerioli, Egidio Astesiano	Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.	FASE	2001	DBLP DOI BibTeX RDF
1	Richard F. Paige, Jonathan S. Ostroff	Metamodelling and Conformance Checking with PVS.	FASE	2001	DBLP DOI BibTeX RDF
1	Rik Eshuis, Roel J. Wieringa	A Real-Time Execution Semantics for UML Activity Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
1	Heinrich Hußmann (eds.)	Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings	FASE	2001	DBLP DOI BibTeX RDF
1	Ralf Pinger, Hans-Dieter Ehrich	Compositional Checking of Communication among Observers.	FASE	2001	DBLP DOI BibTeX RDF	distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality
1	Bran Selic	Physical Programming: Beyond Mere Logic.	FASE	2001	DBLP DOI BibTeX RDF
1	Oliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck, Werner Goerigk, Andrei Erochok, Bernhard Hammelmann	Demonstration of an Automated Integrated Testing Environment for CTI Systems.	FASE	2001	DBLP DOI BibTeX RDF
1	Till Mossakowski, Serge Autexier, Dieter Hutter	Extending Development Graphs with Hiding.	FASE	2001	DBLP DOI BibTeX RDF
1	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.	FASE	2001	DBLP DOI BibTeX RDF	mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
1	Natasha Sharygina, James C. Browne, Robert P. Kurshan	A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.	FASE	2001	DBLP DOI BibTeX RDF
1	Ralf Lämmel	Grammar Testing.	FASE	2001	DBLP DOI BibTeX RDF
1	Paola Inverardi, Sebastián Uchitel	Proving Deadlock Freedom in Component-Based Programming.	FASE	2001	DBLP DOI BibTeX RDF
1	Bernhard Reus, Martin Wirsing, Rolf Hennicker	A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.	FASE	2001	DBLP DOI BibTeX RDF
1	Joy N. Reed, Jane E. Sinclair	Combining Independent Specifications.	FASE	2001	DBLP DOI BibTeX RDF
1	Perdita Stevens	On Use Cases and Their Relationships in the Unified Modelling Language.	FASE	2001	DBLP DOI BibTeX RDF
1	Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps	Debugging via Run-Time Type Checking.	FASE	2001	DBLP DOI BibTeX RDF
1	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman	Semantics of Architectural Specifications in CASL.	FASE	2001	DBLP DOI BibTeX RDF
1	Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide	Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.	FASE	2001	DBLP DOI BibTeX RDF
1	Pablo Gruer, Vincent Hilaire, Abder Koukam	Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.	FASE	2000	DBLP DOI BibTeX RDF
1	Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar	A Model for Describing Object-Oriented Systems from Multiple Perspectives.	FASE	2000	DBLP DOI BibTeX RDF
1	Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky	Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.	FASE	2000	DBLP DOI BibTeX RDF
1	Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann	Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.	FASE	2000	DBLP DOI BibTeX RDF
1	Francesco Parisi-Presicce, Alexander L. Wolf	Foundations for Software Configuration Management Policies Using Graph Transformations.	FASE	2000	DBLP DOI BibTeX RDF
1	Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums	Formal System Development with KIV.	FASE	2000	DBLP DOI BibTeX RDF
1	Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül	Using Domain-Specific Languages for the Realization of Component Composition.	FASE	2000	DBLP DOI BibTeX RDF
1	José Hernández-Orallo, M. José Ramírez-Quintana	Software as Learning: Quality Factors and Life-Cycle Revised.	FASE	2000	DBLP DOI BibTeX RDF
1	Pascal Fradet, Valérie Issarny, Siegfried Rouvrais	Analyzing Non-functional Properties of Mobile Agents.	FASE	2000	DBLP DOI BibTeX RDF
1	Kevin Lano, Kelly Androutsopoulos, David Clark 0001	Structuring and Design of Reactive Systems Using RSDS and B.	FASE	2000	DBLP DOI BibTeX RDF
1	Kees Huizing, Ruurd Kuiper 0001	Verification of Object Oriented Programs Using Class Invariants.	FASE	2000	DBLP DOI BibTeX RDF
1	Richard Mark Soley	Memex Is Not Enough.	FASE	2000	DBLP DOI BibTeX RDF
1	Marieke Huisman, Bart Jacobs 0001	Java Program Verification via a Hoare Logic with Abrupt Termination.	FASE	2000	DBLP DOI BibTeX RDF
1	T. S. E. Maibaum (eds.)	Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings	FASE	2000	DBLP DOI BibTeX RDF
1	Thomas Hune, Anders Sandholm 0001	A Case Study on Using Automata in Control Synthesis.	FASE	2000	DBLP DOI BibTeX RDF
1	Christoph Lüth, Burkhart Wolff	More About TAS and IsaWin - Tools for Formal Program Development.	FASE	2000	DBLP DOI BibTeX RDF
1	Alexander Egyed, Nenad Medvidovic	A Formal Approach to Heterogeneous Software Modeling.	FASE	2000	DBLP DOI BibTeX RDF
1	Carsten Sühl	Applying RT-Z to Develop Safety-Critical Systems.	FASE	2000	DBLP DOI BibTeX RDF
1	Heike Wehrheim	Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.	FASE	2000	DBLP DOI BibTeX RDF
1	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.	FASE	2000	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada	Using Maude.	FASE	2000	DBLP DOI BibTeX RDF
1	Hidetaka Kondoh	What Is 'Mathematicalness' in Software Engineering?	FASE	2000	DBLP DOI BibTeX RDF
1	Gunnar Övergaard	Formal Specification of Object-Oriented Meta-modelling.	FASE	2000	DBLP DOI BibTeX RDF
1	Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli	Parallel Refinement Mechanisms for Real-Time Systems.	FASE	2000	DBLP DOI BibTeX RDF
1	Wladyslaw M. Turski	Essay on Software Engineering at the Turn of Century.	FASE	2000	DBLP DOI BibTeX RDF
1	Henning Dierks	A Process Algebra for Real-Time Programs.	FASE	2000	DBLP DOI BibTeX RDF
1	Giovanna Dondossola, Oliver Botti	System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.	FASE	2000	DBLP DOI BibTeX RDF
1	David Harel	From Play-In Scenarios to Code: An Achievable Dream.	FASE	2000	DBLP DOI BibTeX RDF
1	Herbert Weber	Continuous Engineering of Information and Communication Infrastructures (Extended Abstract).	FASE	1999	DBLP DOI BibTeX RDF
1	Kevin Lano, Andy Evans	Rigorous Development in UML.	FASE	1999	DBLP DOI BibTeX RDF
1	Roberto Bruni, José Meseguer 0001, Ugo Montanari	Executable Tile Specifications for Process Calculi.	FASE	1999	DBLP DOI BibTeX RDF
1	Wan J. Fokkink, Chris Verhoef	Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories.	FASE	1999	DBLP DOI BibTeX RDF
1	Valery A. Nepomniaschy	Verification of Definite Iteration over Hierarchical Data Structures.	FASE	1999	DBLP DOI BibTeX RDF
1	Josef Tapken	Implementing Hierarchical Graph-Structures.	FASE	1999	DBLP DOI BibTeX RDF
1	Eva Coscia, Gianna Reggio	JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.	FASE	1999	DBLP DOI BibTeX RDF
1	Christoph Lüth, Haykal Tej, Kolyang 0001, Bernd Krieg-Brückner	TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.	FASE	1999	DBLP DOI BibTeX RDF
1	Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin	Dynamic Systems with Implicit State.	FASE	1999	DBLP DOI BibTeX RDF
1	Davide Ancona, Maura Cerioli, Elena Zucca	A Formal Framework with Late Binding.	FASE	1999	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland	On the Evolution of Reactive Components: A Process-Algebraic Approach.	FASE	1999	DBLP DOI BibTeX RDF
1	Candida Attanasio, Flavio Corradini, Paola Inverardi	Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.	FASE	1999	DBLP DOI BibTeX RDF
1	Chiara Nottegar, Corrado Priami, Pierpaolo Degano	Semantic-Driven Performance Evaluation (Extended Abstract).	FASE	1999	DBLP DOI BibTeX RDF
1	Lynne Blair, Trevor Jones, Gordon S. Blair	A Tool Suite for Multi-paradigm Specification.	FASE	1999	DBLP DOI BibTeX RDF
1	Arie van Deursen, Paul Klint, Chris Verhoef	Research Issues in the Renovation of Legacy Systems.	FASE	1999	DBLP DOI BibTeX RDF
1	Antónia Lopes, José Luiz Fiadeiro	Using Explicit State to Describe Architechtures.	FASE	1999	DBLP DOI BibTeX RDF
1	Jean-Pierre Finance (eds.)	Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings	FASE	1999	DBLP DOI BibTeX RDF
1	Tobias Nipkow, Leonor Prensa Nieto	Owicki/Gries in Isabelle/HOL.	FASE	1999	DBLP DOI BibTeX RDF

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