1146 search results - page 5 / 230 » Formal Specification Generation from Requirement Documents |
IWPSE
2010
IEEE
14 years 7 months ago
2010
IEEE
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
ICRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
SEMCO
2007
IEEE
15 years 3 months ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
85
Voted
RE
2005
Springer
15 years 3 months ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...