3799 search results - page 224 / 760 » An Engineering Approach to Formal Methods |
160
click to vote
AGILEDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
184
click to vote
CAISE
1997
Springer
15 years 9 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
142
Voted
ICMI
2007
Springer
15 years 11 months ago
2007
Springer
Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related discipli...
129
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
160
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...