3799 search results - page 391 / 760 » An Engineering Approach to Formal Methods |
171
click to vote
ESEC
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...
188
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
168
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
In early phases of the software cycle, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individual requiremen...
195
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
158
click to vote
TR
2010
15 years 1 months ago
2010
Redundancy allocation problems (RAPs) have attracted much attention for the past thirty years due to its wide applications in improving the reliability of various engineering syste...