Search results for "Statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Ira Diethelm, Leif Geiger, Albert Zündorf	Applying Story Driven Modeling to the Paderborn Shuttle System Case Study.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
10	Holger Giese, Florian Klein 0001, Sven Burmester	Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
10	Walter Cazzola, Ahmed Ghoneim, Gunter Saake	Software Evolution through Dynamic Adaptation of Its OO Desgin.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF	Consistency Validation, UML, Reflection, Software Evolution, Dynamic Reconfiguration, XMI
10	Subash Shankar, Sinan Asa	Formal Semantics of UML with Real-Time Constructs.	UML	2003	DBLP DOI BibTeX RDF
10	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
10	David Harel	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.	HSCC	2003	DBLP DOI BibTeX RDF
10	Rajeev Alur	Formal Analysis of Hierarchical State Machines.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
10	John Power, Konstantinos Tourlas	Abstraction in Reasoning about Higraph-Based Systems.	FoSSaCS	2003	DBLP DOI BibTeX RDF
10	Matthias Tichy, Holger Giese	Seamless UML Support for Service-Based Software Architectures.	FIDJI	2003	DBLP DOI BibTeX RDF	Development methodologies for UML, service-based architectures, design of distributed Java applications
10	Angelo Furfaro, Libero Nigro, Francesco Pupo	Real-Time Systems Development Using Hierarchical State Machines.	JMLC	2003	DBLP DOI BibTeX RDF
10	Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres	Specifying and Validating Reactive Systems with CommonKADS Methodology.	KES	2003	DBLP DOI BibTeX RDF
10	Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings	Developing Agent Interaction Protocols Using Graphical and Logical Methodologies.	PROMAS	2003	DBLP DOI BibTeX RDF
10	Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon	Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability.	Component-Based Software Quality	2003	DBLP DOI BibTeX RDF
10	David Harel, Orna Kupferman	On Object Systems and Behavioral Inheritance.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design
10	David Harel, Gregory Yashchin	An algorithm for blob hierarchy layout.	Vis. Comput.	2002	DBLP DOI BibTeX RDF	Higraph, Hierarchy, Layout, Statechart, Aesthetics
10	Rajeev Alur, Michael McDougall, Zijiang Yang	Exploiting Behavioral Hierarchy for Efficient Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
10	Boualem Benatallah, Quan Z. Sheng, Anne H. H. Ngu, Marlon Dumas	Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services.	ICDE	2002	DBLP DOI BibTeX RDF	Web services interoperation, peer-to-peer provisioning, service communities, Web services, service composition
10	Vincent Hilaire, Abder Koukam, Pablo Gruer	A Mechanism for Dynamic Role Playing.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF	Multi-agent systems, formal specification, methodology
10	Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline	A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior.	FAABS	2002	DBLP DOI BibTeX RDF
10	João Araújo 0001, Jonathan Whittle 0001, José Ambrosio Toval Álvarez, Robert B. France	Integration and Transformation of UML Models.	ECOOP Workshops	2002	DBLP DOI BibTeX RDF
10	Gregor Engels, Luuk Groenewegen	Towards Team-Automata-Driven Object-Oriented Collaborative Work.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
10	Walter Cazzola, Ahmed Ghoneim, Gunter Saake	Reflective Analysis and Design for Adapting Object Run-Time Behavior.	OOIS	2002	DBLP DOI BibTeX RDF	Meta-Objects, UML, Design Pattern, Reflection, Software Evolution
10	Giuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche	A Case Study Using the Round-Trip Strategy for State-Based Class Testing.	ISSRE	2002	DBLP DOI BibTeX RDF
10	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP DOI BibTeX RDF
10	Rakesh Mohan, Mitchell A. Cohen, Josef Schiefer	A State Machine Based Approach for a Process Driven Development of Web-Applications.	CAiSE	2002	DBLP DOI BibTeX RDF
10	Tom Holvoet, Elke Steegmans	Application-Specific Reuse of Agent Roles.	SELMAS	2002	DBLP DOI BibTeX RDF
10	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Composable semantics for model-based notations.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	model-based notations, communication, concurrency, composition, operational semantics, formal analysis
10	István Majzik, Gábor Huszerl	Towards Dependability Modeling of FT-CORBA Architectures.	EDCC	2002	DBLP DOI BibTeX RDF
10	Phillip J. Brooke, Richard F. Paige	The Design of a Tool-Supported Graphical Notation for Timed CSP.	IFM	2002	DBLP DOI BibTeX RDF	process algebra, tool support, graphical notation, Timed CSP
10	Franz-Josef Rammig	Synthesis Aspects of the PARADISE Design Environment.	WORDS	2002	DBLP DOI BibTeX RDF
10	Martin Gogolla, Mark Richters	Development of UML Descriptions with USE.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
10	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
10	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	LATIN	2002	DBLP DOI BibTeX RDF
10	Vieri Del Bianco, Luigi Lavazza, Marco Mauri	Model Checking UML Specifications of Real Time Software.	ICECCS	2002	DBLP DOI BibTeX RDF
10	Jochen Malte Küster, Joachim Stroop	Consistent Design of Embedded Real-Time Systems with UML-RT.	ISORC	2001	DBLP DOI BibTeX RDF
10	Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault	Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.	ISORC	2001	DBLP DOI BibTeX RDF
10	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Analysis of Recursive State Machines.	CAV	2001	DBLP DOI BibTeX RDF
10	Steffen Helke, Florian Kammüller	Representing Hierarchical Automata in Interactive Theorem Provers.	TPHOLs	2001	DBLP DOI BibTeX RDF
10	Krzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam	A Formal Specification of M-Agent Architecture.	CEEMAS	2001	DBLP DOI BibTeX RDF
10	Xiaojun Liu 0001, Yuhong Xiong, Edward A. Lee	The Ptolemy II Framework for Visual Languages.	HCC	2001	DBLP DOI BibTeX RDF
10	Raimondas Lencevicius, Edu Metz, Alexander Ran	Tracing Execution of Software for Design Coverage.	ASE	2001	DBLP DOI BibTeX RDF
10	Harold W. Thimbleby	Affordance and Symmetry.	DSV-IS	2001	DBLP DOI BibTeX RDF
10	John Power, Konstantinos Tourlas	An Algebraic Foundation for Higraphs.	CSL	2001	DBLP DOI BibTeX RDF
10	Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou	A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.	PRDC	2001	DBLP DOI BibTeX RDF
10	Rik Eshuis, Roel J. Wieringa	A Real-Time Execution Semantics for UML Activity Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
10	Nanette Bauer, Ralf Huuck	Towards Automatic Verification of Embedded Control Software.	APAQS	2001	DBLP DOI BibTeX RDF
10	Mor Peleg, Dov Dori	The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology
10	Günter Graw, Peter Herrmann, Heiko Krumm	Verification of UML-Based Real-Time System Designs by Means of cTLA.	ISORC	2000	DBLP DOI BibTeX RDF
10	Rajeev Alur, Radu Grosu	Modular Refinement of Hierarchic Reactive Machines.	POPL	2000	DBLP DOI BibTeX RDF
10	Florence Maraninchi, Yann Rémond, Yannick Raoul	MATOU: An Implementation of Mode-Automata.	CC	2000	DBLP DOI BibTeX RDF
10	Radu Grosu	And/Or Hierarchies and Round Abstraction.	MFCS	2000	DBLP DOI BibTeX RDF
10	Jan Murray, Oliver Obst, Frieder Stolzenburg	RoboLog Koblenz 2000.	RoboCup	2000	DBLP DOI BibTeX RDF
10	Lynette van Zijl, John-Paul Harper, Frank Olivier	The MERLin Environment Applied to *-NFAs.	CIAA	2000	DBLP DOI BibTeX RDF
10	Nimal Nissanke, Hamdan Dammag	Risk Bands - A Novel Feature of Safecharts.	ISSRE	2000	DBLP DOI BibTeX RDF
10	Egon Börger, Alessandra Cavarra, Elvinia Riccobene	Modeling the Dynamics of UML State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
10	Rajeev Alur	Exploiting Hierarchical Structure for Efficient Formal Verification.	CONCUR	2000	DBLP DOI BibTeX RDF
10	Kevin Lano, David Clark 0001, Kelly Androutsopoulos, Pauline Kan	Invariant-Based Synthesis of Fault-Tolerant Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
10	David Harel, Orna Kupferman	On the Behavioral Inheritance of State-Based Objects.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
10	Kevin Lano, Kelly Androutsopoulos, David Clark 0001	Structuring and Design of Reactive Systems Using RSDS and B.	FASE	2000	DBLP DOI BibTeX RDF
10	Alain Girault, Bilung Lee, Edward A. Lee	Hierarchical finite state machines with multiple concurrency models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
10	Stefan Leue, Gerard J. Holzmann	v-Promela: A Visual, Object-Oriented Language for SPIN.	ISORC	1999	DBLP DOI BibTeX RDF
10	Jörg Niere, Albert Zündorf	Testing and Simulating Production Control Systems Using the Fujaba Environment.	AGTIVE	1999	DBLP DOI BibTeX RDF
10	Jörg Niere, Albert Zündorf	Using FUJABA for the Development of Production Control Systems.	AGTIVE	1999	DBLP DOI BibTeX RDF
10	Nancy A. Lynch	High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
10	Philippe Baufreton	SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
10	Vered Gafni	Robots: A Real-Time Systems Architectural Style.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
10	Antonio Mendes da Silva Filho	Toward More Reliable Telecom Systems.	COMPSAC	1999	DBLP DOI BibTeX RDF
10	Gennaro Costagliola, Filomena Ferrucci, Giuseppe Polese, Giuliana Vitiello	The Development of Hierarchical Visual Languages.	ICIAP	1999	DBLP DOI BibTeX RDF
10	Hamdan Dammag, Nimal Nissanke	Safecharts for Specifying and Designing Safety Critical Systems.	SRDS	1999	DBLP DOI BibTeX RDF
10	Kirsten Winter, Thomas Santen, Maritta Heisel	An Agenda for Specifying Software Components with Complex Data Models.	SAFECOMP	1998	DBLP DOI BibTeX RDF
10	Bilung Lee, Edward A. Lee	Hierarchical Concurrent Finite State Machines in Ptolemy.	ACSD	1998	DBLP DOI BibTeX RDF	concurrency, finite state machine, heterogeneity, hierarchy
10	René Klösch, Johannes Weidl, Georg Trausmuth, Harald C. Gall	Facilitating Program Comprehension via Generic Components for State Machines.	WPC	1997	DBLP DOI BibTeX RDF
10	Juan Bicarregui, Kevin Lano, T. S. E. Maibaum	Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.	ECOOP	1997	DBLP DOI BibTeX RDF
10	Thomas Müller-Wipperfürth	Extensions and Semantics of Controller State Diagrams for Practical Applications.	EUROCAST	1997	DBLP DOI BibTeX RDF
10	Andrei Borshchev, Yuri G. Karpov, Victor Roudakov	COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems.	DIS-RT	1997	DBLP DOI BibTeX RDF
10	Bernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken	The SEA Language for System Engineering and Animation.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
10	Rosângela A. D. Penteado, Fernão Stella R. Germano, Paulo César Masiero	An Overall Process Based on Fusion to Reverse Engineer Legacy Code.	WCRE	1996	DBLP DOI BibTeX RDF	legacy code reverse engineering, object-oriented systems development, Fusion/RE, statechart editing, statechart simulation, application documentation, conversion effort, reverse engineering, metrics, heuristics, tools, fusion method, data reverse engineering
10	C. Murray Woodside	A Three-View Model for Performance Engineering of Concurrent Software.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	software dynamics, paths in software, Software design, software performance engineering
10	Kevin Lano	Reactive System Specification and Refinement.	TAPSOFT	1995	DBLP DOI BibTeX RDF
10	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
10	Andrew C. Uselton	Structured Operational Semantics for Concurrency and Hierarchy.	STACS	1993	DBLP DOI BibTeX RDF
10	Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena	ADVcharts: a graphical specification for abstract data views.	CASCON	1993	DBLP BibTeX RDF
10	Tirza Hirst, David Harel	On the Power of Bounded Concurrency II: The Pushdown Automata Level.	CAAP	1990	DBLP DOI BibTeX RDF
10	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
10	Florence Maraninchi	Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
10	John L. Gustafson	Reevaluating Amdahl's Law.	Commun. ACM	1988	DBLP DOI BibTeX RDF