𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A case study in specifying and testing architectural features

✍ Scribed by Padmanabhan Krishnan

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
755 KB
Volume
18
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Specifying and verifying PLC systems wit
Specifying and verifying PLC systems with TLA+ : A case study
✍ Hehua Zhang; Stephan Merz; Ming Gu πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 499 KB

We report on a method for formally specifying and verifying programmable logic controllers (PLCs) in the specification language TLA + . The specification framework is generic. It separates the description of the environment from that of the controller itself and its structure is consistent with the

Computerized testing in large courses: A
Computerized testing in large courses: A case study
✍ John F. Kremer πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 37 KB

## Abstract Can computers help with one of the most persistent challenges of large classes: the accurate and efficient measurement of student learning?

A case study on multiple-choice testing
A case study on multiple-choice testing in anatomical sciences
✍ Stephanie DuPont Golda πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 77 KB

## Abstract Objective testing techniques, such as multiple‐choice examinations, are a widely accepted method of assessment in gross anatomy. In order to deter cheating on these types of examinations, instructors often design several versions of an examination to distribute. These versions usually i

A case study on process monitoring for s
A case study on process monitoring for surface features
✍ Winson Taam πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 218 KB πŸ‘ 2 views

In the fabrication of integrated circuits it is a common practice to measure the oxide thickness at many locations on a wafer and to summarize these measurements in terms of the average thickness and thickness uniformity. These summary measures, however, may not be as informative as certain features

Specification and testing using generali
Specification and testing using generalized machines: a presentation and a case study
✍ Florentin Ipate; Mike Holcombe πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 135 KB

Although testing is a major part of software development, it rarely gets the attention it deserves from researchers, partly because its foundations are weak and ill-understood. The principal purpose of testing is to detect (and then remove) faults in a software system. However, very few of the exist