MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Semantics of Circus." – sorted by Relevance.

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

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

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

ATOM

Predicate transformers in the semantics of Circus
by A. L. C. Cavalcanti, J. C. P. Woodcock — IEE Proceedings - Software
…Predicate transformers in the semantics of Circus A.L.C. Cavalcanti and J.C.P. Woodcock University…
Cited by 2 (1 self) – Add To MetaCart

Operational Semantics for Model Checking Circus
by Jim Woodcock, Ana Cavalcanti, Leonardo Freitas — 2005 — of Lecture Notes in Computer Science
…Operational Semantics for Model Checking Circus Jim Woodcock, Ana Cavalcanti, and Leonardo Freitas…
Cited by 2 (0 self) – Add To MetaCart

A.: A Semantics for UML-RT Active Classes via Mapping into Circus
by Rodrigo Ramos, Augusto Sampaio, Alexandre Mota — 2005 — Society for Computer Simulation
…A Semantics for UML-RT Active Classes via Mapping into Circus Rodrigo Ramos, Augusto Sampaio…
Cited by 5 (1 self) – Add To MetaCart

Unifying classes and processes
by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock — Software and System Modelling
… semantics, a refinement theory, and a development strategy. The design of Circus is our solution…
Cited by 1 (0 self) – Add To MetaCart

A Cognitively Plausible Approach to Understanding Complex Syntax
by Claire Cardie, Wendy Lehnert — 1991 — In Proceedings of the Ninth National Conference on Artificial Intelligence
… for systematically handling complex syntactic constructions within a semantic parser called CIRCUS [ Lehnert, 1990…
Cited by 19 (12 self) – Add To MetaCart

Transformation laws for UML-RT
by Rodrigo Ramos, Augusto Sampaio, Alexandre Mota — 2006 — In FMOODS
…. In previous work [6] we defined a semantics for UML-RT via mapping into the formal notation Circus [14], which…
Cited by 1 (0 self) – Add To MetaCart

Class and Capsule Refinement in UML for Real Time
by Augusto Sampaio, Alexandre Mota, Rodrigo Ramos — 2004 — In Proceedings of the Brazilian Workshop on Formal Methods, volume 95 of ENTCS
… and whose behaviour is given by an action expressed in the CSP notation. The semantics of Circus [34] (and…
Cited by 6 (4 self) – Add To MetaCart

A Semantic Foundation for TCOZ in Unifying Theories of Programming Shengchao Qin
by Shengchao Qin, Jin Song Dong, Wei-ngan Chin — 2003 — FME2003: Formal Methods, volume 2805 of Lecture Notes in Computer Science
… for timed Circus [17], which naturally extends Woodcock and Cavalcanti’s semantics for Circus [18]. Although…
Cited by 9 (2 self) – Add To MetaCart

Domain-Specific Knowledge Acquisition For Conceptual Sentence Analysis
by Claire Cardie — 1994
… : : : : : : : : : : : : : : : : : : : : 31 3.1.2 Predictive Semantics in CIRCUS : : : : : : : : : : : : : : : : : : : 33 3.1.3 Handling…
Cited by 26 (4 self) – Add To MetaCart

A Framework for Specification, Verification and Development of Real Time Systems using Circus
by Adnan Sherif, He Jifeng — 2002
… the timed semantics of a program P to the untimed semantics of the Circus program. This is done by applying…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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