APSEC
1997
IEEE
14 years 4 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
14 years 4 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
14 years 4 months ago
1997
IEEE
APSEC
1997
IEEE
14 years 4 months ago
1997
IEEE
APSEC
1997
IEEE
14 years 4 months ago
1997
IEEE
APSEC
1997
IEEE
14 years 4 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
14 years 4 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
14 years 4 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...