✦ LIBER ✦

A Refinement Strategy forCircus

✍ Scribed by Ana Cavalcanti; Augusto Sampaio; Jim Woodcock

Publisher: Springer
Year: 2003
Tongue: English
Weight: 331 KB
Volume: 15
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-003-0006-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A UTP semantics forCircus

✍ Marcel Oliveira; Ana Cavalcanti; Jim Woodcock 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 756 KB

Changing system interfaces consistently:

Changing system interfaces consistently: A new refinement strategy for

✍ Steve Schneider; Helen Treharne 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 453 KB

This paper is concerned with event refinement in the context of CSP‖B. Our motivation to include this notion within the CSP‖B framework is the desire to increase flexibility in the refinement process. This approach provides the ability to change the events of CSP processes and B machines when refini

A sequent-style model elimination strate

A sequent-style model elimination strategy and a positive refinement

✍ David A. Plaisted 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 689 KB

An anisotropic h-type mesh-refinement st

An anisotropic h-type mesh-refinement strategy

✍ W Rachowicz 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 699 KB

A multigrid adaptive mesh refinement str

A multigrid adaptive mesh refinement strategy for 3D aerodynamic design

✍ J.-C. Jouhaud; M. Montagnac; L. Tourrette 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 468 KB

A finite element adaptive-refinement str

A finite element adaptive-refinement strategy for the capillary surface problem

✍ S. Saha; P.C. Das; N.N. Kishore 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 529 KB