4919 search results - page 596 / 984 » A Process-Ontological Model for Software Engineering |
156
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
245
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
137
click to vote
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
166
click to vote
SEAA
2008
IEEE
15 years 11 months ago
2008
IEEE
The quality evaluation of open source software (OSS) products, e.g., defect estimation and prediction approaches of individual releases, gains importance with increasing OSS adopt...
135
Voted
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a scheme to compress branch trace information for use in snapshot-based microarchitecture simulation. The compressed trace can be used to warm any arbitrary branch pred...