Search results for "reactive system design"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	David Harel, Itai Segall, Hillel Kugler, Yaki Setty	Crafting game-models using reactive system design.	Future Play	2008	DBLP DOI BibTeX RDF	simulators, game design, statecharts, systems biology, live sequence charts
2	Robert J. Hall	Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design.	FMSP	2000	DBLP DOI BibTeX RDF	Formal Methods, Reactive Systems, Electronic Mail
1	Ian East	Concurrent/Reactive System Design with Honeysuckle.	CPA	2007	DBLP BibTeX RDF
1	Doron Drusinsky	Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking.		2006	RDF
1	Cristina Cerschi Seceleanu, Tiberiu Seceleanu	Modular Design of Reactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Concurrency, Reactive systems, Modular design, Action systems
1	Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern	Formal Modeling of C. elegans Development: A Scenario-Based Approach.	CMSB	2003	DBLP DOI BibTeX RDF
1	Robert J. Hall	Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design.	Autom. Softw. Eng.	2002	DBLP DOI BibTeX RDF
1	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
1	Roel Wieringa, David N. Jansen	Techniques for Reactive System Design: The Tools in TRADE.	CAiSE	2001	DBLP DOI BibTeX RDF
1	T. S. E. Maibaum, Pauline Kan, Kevin Lano	Systematising Reactive System Design.	AMAST	1998	DBLP DOI BibTeX RDF
1	Andrei Borshchev, Yuri Karpov, Victor Roudakov	Systems modeling, simulation and analysis using COVERS active objects.	ECBS	1997	DBLP DOI BibTeX RDF	COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems
1	Christoph Schaffer, Herbert Praehofer	On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation.	EUROCAST	1993	DBLP DOI BibTeX RDF