MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Smart play-out." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Smart Play-Out
by David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli — 2003
…ABSTRACT Smart Play-Out ∗ David Harel, Hillel Kugler, Rami Marelly and Amir Pnueli {dharel…
Cited by 3 (0 self) – Add To MetaCart

Smart Play-Out of Behavioral Requirements
by David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli — 2002 — The Weizmann Institute of Science
…Smart Play-Out of Behavioral Requirements # David Harel, Hillel Kugler, Rami Marelly and Amir…
Cited by 32 (19 self) – Add To MetaCart

Smart Play-Out Extended: Time and Forbidden Elements
by David Harel, David Harel, Hillel Kugler, Hillel Kugler, Amir Pnueli, Amir Pnueli — 2004 — Proc. 4th Int. Conf. on Quality Software (QSIC’04), IEEE Computer
…OMEGA Correct development of Real-time systems IST-2001-33522 Title: Smart Play-Out Extended: Time…
Cited by 5 (2 self) – Add To MetaCart

Smart Play-Out Extended: Time and Forbidden Elements
by David Harel Hillel, David Harel, Hillel Kugler, Amir Pnueli — 2004 — Proc. 4th Int. Conf. on Quality Software (QSIC’04), IEEE Computer
…Smart Play-Out Extended: Time and Forbidden Elements ∗ David Harel, Hillel Kugler and Amir Pnueli…
Add To MetaCart

Can Behavioral Requirements be Executed? (And why would we want to do so?)
by David Harel — 2002 — Proc. EMSOFT 2002, Lecture Notes in Computer Science
… the development cycle; see Fig. 4 of [2] We also describe our work on \smart" play-out, joint with Hillel Kugler…
Cited by 1 (0 self) – Add To MetaCart

Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out
by David Harel, Hillel Kugler, Gera Weiss — 2005 — IN PROC. SCENARIOS: MODELS, ALGORITHMS AND TOOLS, VOLUME 3466 OF LECT. NOTES IN COMP. SCI
… + Input Mechanism + Execution Engine + Analysis Tools (LSCs) (Play-In) (Play-Out) (Smart Play-Out) Fig.1…
Cited by 7 (5 self) – Add To MetaCart

The Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements
by David Harel, Hillel Kugler, Rami Marelly — 2002 — The Israeli Workshop on Programming Languages & Development Environments (PLE'02
… directly without having to build or synthesize an intra-object model of the system. In [11], smart play-out…
Cited by 3 (0 self) – Add To MetaCart

and the play-engine tool
by Pierre Combes, David Harel, Hillel Kugler, P. Combes, D. Harel, H. Kugler (b — 2005 — In Proc. ATVA 2005, number 3707 in LNCS
…] introduces a technique for executing LSCs, called smart play-out. Smart play-out uses model-checking to find…
Cited by 8 (3 self) – Add To MetaCart

Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs
by David Harel, Itai Segall — 2007 — Programs”, 13th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’07
… smart play-out [10, 11], in which play-out is translated into a model-checking problem. A model…
Cited by 1 (1 self) – Add To MetaCart

S2A: A compiler for multi-modal UML sequence diagrams
by David Harel, Asaf Kleinbort, Shahar Maoz — 2007 — In Proc. Fundamental Approaches to Software Engineering (FASE’07), volume 4422 of LNCS
…, we are planning to implement better play-out strategies, such as Smart Play-Out [5], which uses model…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB