726 search results - page 124 / 146 » Formal Requirements Engineering: Learning from the Students |
106
click to vote
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
126
click to vote
DGO
2011
13 years 11 months ago
2011
The past few years have experienced an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous...
104
click to vote
ISPASS
2009
IEEE
15 years 6 months ago
2009
IEEE
Until recently, parallel programming has largely focused on the exploitation of data-parallelism in dense matrix programs. However, many important application domains, including m...
104
click to vote
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...