7380 search results - page 533 / 1476 » Engineering Software Intensive Systems |
150
Voted
KBSE
2007
IEEE
16 years 17 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
126
click to vote
WER
2007
Springer
16 years 12 days ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
145
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
Abstract—Reliably predicting software defects is one of software engineering’s holy grails. Researchers have devised and implemented a plethora of bug prediction approaches var...
198
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
156
click to vote
COMPGEOM
2001
ACM
15 years 10 months ago
2001
ACM
This paper addresses the problem of lossy compression of arrangements. Given an arrangement of n lines in the plane, we show how to construct another arrangement consisting of man...