1601 search results - page 38 / 321 » The affordable application of formal methods to software eng... |
RE
2006
Springer
13 years 9 months ago
2006
Springer
We briefly review the history and key ideas in Goal-Oriented Requirements Engineering research. We then sketch two applications of these ideas. The first involves establishing an ...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents a new context-based method for automatic detection and extraction of similar and related words from texts. Finding similar words is a very important task for m...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic diļ¬erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
ASWSD
2004
Springer
14 years 2 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...