104
click to vote
APSEC
1997
IEEE
15 years 3 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
15 years 3 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...
72
Voted
APSEC
1997
IEEE
15 years 3 months ago
1997
IEEE
74
Voted
APSEC
1997
IEEE
15 years 3 months ago
1997
IEEE
69
Voted
APSEC
1997
IEEE
15 years 3 months ago
1997
IEEE
75
Voted
APSEC
1997
IEEE
15 years 3 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 ...
99
Voted
APSEC
1997
IEEE
15 years 3 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 ...
83
Voted
APSEC
1997
IEEE
15 years 3 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...