1799 search results - page 106 / 360 » The Logic of Correctness in Software Engineering |
151
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
189
Voted
WCRE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
192
Voted
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
175
click to vote
TASE
2007
IEEE
16 years 12 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
161
click to vote
ICRE
2000
IEEE
15 years 10 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 ...