1676 search results - page 105 / 336 » Formal System Development with KIV |
173
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
139
click to vote
PCI
2001
Springer
15 years 9 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
123
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
139
click to vote
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
123
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...