Searching for authors named "Rami Marelly" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach
- … and Rami Marelly The Weizmann Institute of Science Rehovot, Israel September 10, 2002 Abstract A powerful…
- Cited by 32 (12 self) – Add To MetaCart
-
Playing with Time: On the Specification and Execution of Time-Enriched LSCs
- …Playing with Time: On the Specification and Execution of Time-Enriched LSCs David Harel ⋆ & Rami…
- Cited by 21 (8 self) – Add To MetaCart
-
The Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements
- … Behavioral Requirements David Harel Hillel Kugler Rami Marelly The Weizmann Institute of Science Two kinds…
- Cited by 3 (0 self) – Add To MetaCart
-
Smart Play-Out
- …ABSTRACT Smart Play-Out ∗ David Harel, Hillel Kugler, Rami Marelly and Amir Pnueli {dharel,kugler,rami…
- Cited by 3 (0 self) – Add To MetaCart
-
Smart Play-Out of Behavioral Requirements
- …Smart Play-Out of Behavioral Requirements # David Harel, Hillel Kugler, Rami Marelly and Amir…
- Cited by 32 (19 self) – Add To MetaCart
-
Multiple Instances and Symbolic Variables in Executable Sequence Charts
- …Multiple Instances and Symbolic Variables in Executable Sequence Charts Rami Marelly, David Harel…
- Cited by 29 (14 self) – Add To MetaCart
-
InterPlay: Horizontal Scale-Up and Transition to Design in
- …, David Harel and Rami Marelly The Weizmann Institute of Science, Rehovot, Israel Abstract. We describe…
- Add To MetaCart
-
Formal Modeling of C. elegans Development: A Scenario-Based Approach
- … 1 , Hillel Kugler 1 , Rami Marelly 1 , Amir Pnueli 1 , E. Jane Albert Hubbard 2 , and Michael J…
- Cited by 23 (8 self) – Add To MetaCart
Showing 1 through 8.
