This paper presents a language for giving black-box specifications in the early stages of software design. The underlying computational model combines message passing with temporal events in a precisely defined way. The features of the language, especially those important for large scale design are presented by means of examples
The development and maintenance of today's software systems is an increasingly effort-consuming and ...
The adequate testing of black-box components is an important basis before they will be reused in the...
A well-defined design methodology supported by a system-level design language (SLDL) is the key for ...
Paper presented at the 1988 International Conference on Computer Languages, Miami Beach, Florida, Oc...
Author-contributed print itemThis paper presents a language for giving black-box specifications in t...
Prior to designing a system, customers and contractors should agree on required black box (externall...
Software development is increasingly concerned with maintaining and extending existing software syst...
This paper introduces an initial account of a formal methodology for specification-based black-box v...
In this paper, we report on a controlled experiment, in which we compared two different requirements...
This paper presents an approach to writing specifications for parts of software systems. The main go...
When implemented with existing mainstream programming languages, the code of interacting features wi...
This paper is concerned with problems inherent in the informal specification of design. It describes...
This paper describes the combination of two industrially proven methods, SCR Requirements and Cleanr...
We define a notion of equivalence for designs containing black boxes. Using this notion, we describe...
SpecCharts is a new language intended for system level specification and synthesis. SpecCharts repre...
The development and maintenance of today's software systems is an increasingly effort-consuming and ...
The adequate testing of black-box components is an important basis before they will be reused in the...
A well-defined design methodology supported by a system-level design language (SLDL) is the key for ...
Paper presented at the 1988 International Conference on Computer Languages, Miami Beach, Florida, Oc...
Author-contributed print itemThis paper presents a language for giving black-box specifications in t...
Prior to designing a system, customers and contractors should agree on required black box (externall...
Software development is increasingly concerned with maintaining and extending existing software syst...
This paper introduces an initial account of a formal methodology for specification-based black-box v...
In this paper, we report on a controlled experiment, in which we compared two different requirements...
This paper presents an approach to writing specifications for parts of software systems. The main go...
When implemented with existing mainstream programming languages, the code of interacting features wi...
This paper is concerned with problems inherent in the informal specification of design. It describes...
This paper describes the combination of two industrially proven methods, SCR Requirements and Cleanr...
We define a notion of equivalence for designs containing black boxes. Using this notion, we describe...
SpecCharts is a new language intended for system level specification and synthesis. SpecCharts repre...
The development and maintenance of today's software systems is an increasingly effort-consuming and ...
The adequate testing of black-box components is an important basis before they will be reused in the...
A well-defined design methodology supported by a system-level design language (SLDL) is the key for ...
DOI
Add to ORKG