The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase play-engine (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002-2005 (15) 2006-2008 (10)
Publication types (Num. hits)
article(5) book(2) inproceedings(18)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 21 keywords

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