APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
APSEC
1997
IEEE
13 years 10 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...