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 |
|