648 search results - page 22 / 130 » Software requirements validation via task analysis |
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...
DSN
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
JUCS
2008
13 years 9 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...