Add to ORKG1 Introduction Large complex systems are put together, or configured, from smaller parts, someof which have already been put together from even smaller parts. This pape
The proliferation of high-performance microprocessors in recent years has made the development of sy...
Program construction by parts consists of tackling a complex specification one component at a time, ...
This paper deals with embedded systems modelling, mixed hardware/software codesign, and more general...
AbstractThis paper shows how systems can be built from their component parts with specified sharing....
Abstract. This paper shows how systems can be built from their com-ponent parts with specified shari...
The paper describes a language called PCL (Proteus Configuration Language), which has been designed ...
SpecCharts is a new language intended for system level specification and synthesis. SpecCharts repre...
The high rate of requirement changes make system administration a complex task. This complexity is f...
Automation of software configuration management is an important practical problem. Any automated to...
This paper describes facilities which have been included in a configuration language called PCL to s...
Author-contributed print itemThis paper presents a language for giving black-box specifications in t...
System configuration describes the construction of complex engineering systems from their compone...
The paper introduces and defines central concepts related to multi level configuration and analyzes ...
The paper describes a language called PCL, which has been designed to model the architecture of mult...
A configurable distributed application is an application that can be executed transparently across n...
The proliferation of high-performance microprocessors in recent years has made the development of sy...
Program construction by parts consists of tackling a complex specification one component at a time, ...
This paper deals with embedded systems modelling, mixed hardware/software codesign, and more general...
AbstractThis paper shows how systems can be built from their component parts with specified sharing....
Abstract. This paper shows how systems can be built from their com-ponent parts with specified shari...
The paper describes a language called PCL (Proteus Configuration Language), which has been designed ...
SpecCharts is a new language intended for system level specification and synthesis. SpecCharts repre...
The high rate of requirement changes make system administration a complex task. This complexity is f...
Automation of software configuration management is an important practical problem. Any automated to...
This paper describes facilities which have been included in a configuration language called PCL to s...
Author-contributed print itemThis paper presents a language for giving black-box specifications in t...
System configuration describes the construction of complex engineering systems from their compone...
The paper introduces and defines central concepts related to multi level configuration and analyzes ...
The paper describes a language called PCL, which has been designed to model the architecture of mult...
A configurable distributed application is an application that can be executed transparently across n...
The proliferation of high-performance microprocessors in recent years has made the development of sy...
Program construction by parts consists of tackling a complex specification one component at a time, ...
This paper deals with embedded systems modelling, mixed hardware/software codesign, and more general...