1527 search results - page 184 / 306 » From Requirements to Design: Formalizing the Key Steps |
184
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
184
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
191
click to vote
JUCS
2010
15 years 4 months ago
2010
: Mobile agent technology advocates the mobility of code rather than the transfer of data. As data is found in several sites, a mobile agent has to plan an itinerary to visit sever...
212
click to vote
AAAI
1998
15 years 7 months ago
1998
The overwhelming amount of information sources now available through the internet has increased the need to combine or integrate the data retrieved from these sources in an intell...
176
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a n...