Search results for "Statemachines"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Ali Taleghani, Joanne M. Atlee	Semantic Variations Among UML StateMachines.	MoDELS	2006	DBLP DOI BibTeX RDF
68	Ivan Porres, Irum Rauf	From Nondeterministic UML Protocol Statemachines to Class Contracts.	ICST	2010	DBLP DOI BibTeX RDF	Protocol Statemachines, class contracts
61	Colin F. Snook, Marina Waldén	Refinement of Statemachines Using Event B Semantics.	B	2007	DBLP DOI BibTeX RDF
47	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
37	Ivan Porres, Irum Rauf	Generating class contracts from UML protocol statemachines.	MoDeVVa@MoDELS	2009	DBLP DOI BibTeX RDF
37	Ivan Porres, Irum Rauf	Generating Class Contracts from Deterministic UML Protocol Statemachines.	MoDELS (Workshops)	2009	DBLP DOI BibTeX RDF
31	Marta Plaska, Marina Waldén, Colin F. Snook	Documenting the Progress of the System Development.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development
31	Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu 0001	Semantic Criteria for Choosing a Language for Big-Step Models.	RE	2009	DBLP DOI BibTeX RDF	Semantics of modelling languages, UML statemachines, big-step modelling languages, interactive systems, Statecharts, reactive systems, Synchronous languages
23	Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla 0001	Automatic Ada Code Generation Using a Model-Driven Engineering Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF
23	Hai Li, Chen-Yong Cher, T. N. Vijaykumar, Kaushik Roy 0001	VSV: L2-Miss-Driven Variable Supply-Voltage Scaling for Low Power.	MICRO	2003	DBLP DOI BibTeX RDF
23	Dániel Varró	A Formal Semantics of UML Statecharts by Model Transition Systems.	ICGT	2002	DBLP DOI BibTeX RDF
23	Diana Marculescu, Radu Marculescu, Massoud Pedram	Sequence Compaction for Probabilistic Analysis of Finite-State Machines.	DAC	1997	DBLP DOI BibTeX RDF
23	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems