𝔖 Bobbio Scriptorium
✦   LIBER   ✦

X-Nets: A visual formalism for system specification and analysis

✍ Scribed by S. Antoniazzi; A. Balboni; W. Fornaciari

Publisher
Elsevier Science
Year
1993
Weight
642 KB
Volume
38
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Formal specification and use case genera
Formal specification and use case generation for a mobile telephony system
✍ Randall Tuok; Luigi Logrippo πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 814 KB

Use cases are widely recognized as useful tools for describing user requirements. However, the representation of a system by a collection of use cases has disadvantages, particularly it is time-consuming to derive large sets of use cases manually, and it is difficult to ascertain consistency and com

UCSF Chimeraβ€”A visualization system for
UCSF Chimeraβ€”A visualization system for exploratory research and analysis
✍ Eric F. Pettersen; Thomas D. Goddard; Conrad C. Huang; Gregory S. Couch; Daniel πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 323 KB

## Abstract The design, implementation, and capabilities of an extensible visualization system, UCSF Chimera, are discussed. Chimera is segmented into a __core__ that provides basic services and visualization, and __extensions__ that provide most higher level functionality. This architecture ensure