In large, dynamic, real-time computer systems, it is frequently most cost effective to employ
different software performance and reliability techniques at different levels of granularity, at …

This paper describes the specification-based testing and analysis tools, and associated
processes, that were used to develop and certify safety-critical avionics systems in an …

Requirements verification is a set of procedures used to detect errors in requirement
specifications. This paper discusses various types of requirement errors and illustrates each …

The OBSERV methodology for software development is based on rapid construction of an
executable specification, or prototype, of a systems, which may be examined and modified …

The assimilation of expert systems into the business environment has been rapid. A number
of well-publicized expert system success stories have helped convince management that …

Although many variables can contribute to the failure of a systems development project, the
use of the traditional f one-dimensional systems development life cycle approach is often a …

Abstract Specification writing is considered a specialist task which is time consuming,
difficult to do well, but vitally important to any organisation which lets contracts for …

The task of writing specifications for measuring instruments requires knowledge from many
fields, including specification writing practices, measurement science and current …

In the second part of the paper, we investigate the applicability of formal methods to the
specification of measuring instrument systems. We then conduct a case study in the widely …

A primary contribution of this research is the rule-based methodological framework for
integrated requirements assessment. A basic feature of the assessment is categorization of …