648 search results - page 95 / 130 » Software requirements validation via task analysis |
PLDI
2012
ACM
12 years 15 days ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
LREC
2010
13 years 11 months ago
2010
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
EICS
2009
ACM
14 years 4 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
ERLANG
2007
ACM
14 years 1 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...