5668 search results - page 797 / 1134 » Overlaps in Requirements Engineering |
228
click to vote
SIGSOFT
2003
ACM
16 years 26 days ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
218
click to vote
EWSPT
2003
Springer
16 years 25 days ago
2003
Springer
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
226
click to vote
PLDI
2010
ACM
16 years 20 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
206
click to vote
ICSE
2001
IEEE-ACM
16 years 1 days ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
203
click to vote
ISSTA
2000
ACM
15 years 12 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...