1199 search results - page 179 / 240 » Software Verification and Software Engineering a Practitione... |
169
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
131
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
152
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
151
click to vote
ECSA
2008
Springer
15 years 7 months ago
2008
Springer
It is commonly agreed that an architectural description (AD) consists of multiple views. Each view describes the architecture from the perspective of particular stakeholder concern...
205
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...