Opening book details…
Can I read A Case Study Using Lightweight Formalism to Review an Information System Specification on EtoBox?
A Case Study Using Lightweight Formalism to Review an Information System Specification by Fiona Polack is a Computer Science article available to read on EtoBox.
What is A Case Study Using Lightweight Formalism to Review an Information System Specification about?
## Abstract This paper presents an approach using derivation of a formal model to review the diagram‐and‐text specification of an information system specification, based on concepts from the formal and structured integrated method, SAZ. Extraction of the formal model is outlined, and the approach is illustrated with a simplified extract from an industrial trial. Some empirical findings from the trial, which reviewed a pre‐existing commercial specification, are presented, and the general applicability of the review approach is discussed. Copyright © 2001 John Wiley & Sons, Ltd.
Who reads A Case Study Using Lightweight Formalism to Review an Information System Specification?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Fiona Polack
- Publisher
- John Wiley and Sons; Wiley (John Wiley & Sons); John Wiley & Sons Inc.; Wiley (ISSN 0038-0644)
- Published
- 2001
- Language
- EN
- Field
- Computer Science (Physical Sciences)