19587 search results - page 3689 / 3918 » Systems Engineering for software Engineers |
168
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scienti c and engineering application has led to several ...
173
click to vote
SAFECOMP
1999
Springer
15 years 10 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
147
click to vote
ARITH
1997
IEEE
15 years 10 months ago
1997
IEEE
Engineering design methodology recommends designing a system as follows: Start with an unambiguous speci cation, partition the system into blocks, specify the functionality of eac...
211
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
177
click to vote
SCCC
1997
IEEE
15 years 10 months ago
1997
IEEE
A cooperative database allows the user to specify approximate or vague query conditions. A vague query requires the database system to rank the retrieved answers according to thei...