631 search results - page 92 / 127 » Deriving Specifications from Requirements: An Example |
ISI
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...
CHI
2010
ACM
14 years 15 days ago
2010
ACM
In a molecular biology lab, scientists often need to execute strictly defined sequences of operations, typically mixing specific amounts of reagents. The exact steps require infor...
ICSE
2001
IEEE-ACM
13 years 11 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
CC
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
DEXAW
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper describes two results of the European ESPRIT project no. 22828 ,,CSCCM", which aims at optimising the bidding process of small and medium companies in the construc...