𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Trust-based specification of sociotechnical systems

✍ Scribed by Paja, Elda; Chopra, Amit K.; Giorgini, Paolo

Book ID
122658490
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
942 KB
Volume
87
Category
Article
ISSN
0169-023X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Sequence-based software specification of
Sequence-based software specification of deterministic systems
✍ Stacy J. Prowell; Jesse H. Poore πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 99 KB πŸ‘ 1 views

Specification of software under the box structure method requires a complete, consistent, and traceably-correct description of behavior solely in terms of external stimuli and responses. Such a specification, also called a black box, can be derived from the requirements through straightforward, syst