16725 search results - page 42 / 3345 » Engineering Software Correctness |
119
click to vote
WCRE
1998
IEEE
15 years 4 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...
115
click to vote
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...
110
click to vote
TASE
2007
IEEE
15 years 6 months 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...
ICRE
2000
IEEE
15 years 4 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 ...
104
click to vote
CGO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...