𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Tool Support for Refinement of Non-functional Specifications

✍ Scribed by Simone Röttger; Steffen Zschaler

Publisher
Springer-Verlag
Year
2006
Tongue
English
Weight
548 KB
Volume
6
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A tactic language for refinement of stat
A tactic language for refinement of state-rich concurrent specifications
✍ Marcel Oliveira; Frank Zeyda; Ana Cavalcanti 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 849 KB

Circus is a refinement language in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and calculus are distinctive, but since refinements may be long and repetitive, the practical application of this technique c

Design of a user interface for a knowled
Design of a user interface for a knowledge refinement tool
✍ Andrew Basden; Alex J. Brown; Stephen D.A. Tetlow; Peter R.R. Hibberd 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 359 KB

As argued in a companion paper , Basden and Hibberd (1996) , there is a need for a more ''proximal'' form of user interface than is currently of fered by traditional WIMP styles of interface . This is necessary for knowledge representation tools used in ill structured domains , in the use of which n

Bounds for smoothness of refinable funct
Bounds for smoothness of refinable functions
✍ Henning Thielemann 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 244 KB

The VILLEMOES machine can be used to compute the SOBOLEV smoothness of a refinable function. We start with presenting this technique. It involves the computation of the spectral radius of a special matrix which has at least quadratic time complexity with respect to the refinement mask size. For the