1146 search results - page 5 / 230 » Formal Specification Generation from Requirement Documents |
112
Voted
IWPSE
2010
IEEE
14 years 11 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...
108
click to vote
SIGSOFT
2008
ACM
16 years 2 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....
118
Voted
ICRE
2000
IEEE
15 years 6 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 ...
102
click to vote
SEMCO
2007
IEEE
15 years 8 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...
120
click to vote
RE
2005
Springer
15 years 7 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 ...