3192 search results - page 145 / 639 » A Requirements-Driven Development Methodology |
135
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
126
Voted
IGPL
2000
15 years 4 months ago
2000
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
149
Voted
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Large scale systems (LSS) contain multiple subsystems that interact across multiple nodes in sometimes unforeseen and complicated ways. As a result, pinpointing the subsystems t...
147
Voted
SAFECOMP
2010
Springer
15 years 3 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
144
click to vote
FLAIRS
2009
15 years 2 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...