Search results for "Play-Engine"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	InterPlay, play-engine, intraobject, interobject, transition to design, Modeling methodologies, LSCs, scenario-based programming
40	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart play-out.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs
39	Hillel Kugler, Cory Plock, Amir Pnueli	Synthesizing reactive systems from LSC requirements using the play-engine.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	reactive systems, live sequence charts, controller synthesis
38	Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun 0002	Visualizing and Simulating Semantic Web Services Ontologies.	ICFEM	2005	DBLP DOI BibTeX RDF	Play-Engine, Semantic Web Services, OWL-S, LSC
26	David Harel	Come, let's play - scenario-based programming using LSCs and the play-engine.		2003	RDF
26	David Harel, Rami Marelly	Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine.		2003	DOI RDF
25	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
24	Pierre Combes, David Harel, Hillel Kugler	Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Live sequence charts (LSCs), Verification, Requirements engineering, Telecommunication
24	Pierre Combes, David Harel, Hillel Kugler	Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool.	ATVA	2005	DBLP DOI BibTeX RDF
22	Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard	Testing Scenario-Based Models.	FASE	2007	DBLP DOI BibTeX RDF
22	David Harel, Rami Marelly	Specifying and executing behavioral requirements: the play-in/play-out approach.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Live sequence charts (LSCs), System modeling and execution, UML, Testing, Requirements engineering, Scenarios
18	David Harel	Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.	CAV	2006	DBLP DOI BibTeX RDF
18	David Harel	Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).	EMSOFT	2002	DBLP DOI BibTeX RDF
17	Claudia Täubner, Silke Eckstein	Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine.	FBTC@CONCUR	2007	DBLP DOI BibTeX RDF
15	David Harel, Hillel Kugler, Gera Weiss	Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
15	David Harel, Rami Marelly	Playing with Time: On the Specification and Execution of Time-Enriched LSCs.	MASCOTS	2002	DBLP DOI BibTeX RDF
11	Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel	Toward Verified Biological Models.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, verification, statecharts, C. elegans
11	David Harel, Yaki Setty	Generic Reactive Animation: Realistic Modeling of Complex Natural Systems.	FMSB	2008	DBLP DOI BibTeX RDF
7	Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein	Supporting UML-based development of embedded systems by formal techniques.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Formal methods
7	Claudia Täubner, Brigitte Mathiak, Silke Eckstein	Modeling and Management of Signal Transduction Pathways with Live Sequence Charts.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
7	David Harel, Hillel Kugler, Amir Pnueli	Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
7	David Harel	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.	HSCC	2003	DBLP DOI BibTeX RDF
7	Rami Marelly, David Harel, Hillel Kugler	Multiple instances and symbolic variables in executable sequence charts.	OOPSLA	2002	DBLP DOI BibTeX RDF
7	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart Play-out of Behavioral Requirements.	FMCAD	2002	DBLP DOI BibTeX RDF
7	David Harel	Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).	ICGT	2002	DBLP DOI BibTeX RDF