2835 search results - page 57 / 567 » Imperfect Requirements in Software Development |
RE
2001
Springer
14 years 2 days ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
IEAAIE
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
IWPC
2000
IEEE
14 years 1 days ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Emergencies often require interorganizational and/or international coordination for effective planning and response. Therefore, planning and response teams are often configured as...