219 search results - page 35 / 44 » PrIMe: a software engineering methodology for developing pro... |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
SP
1998
IEEE
14 years 29 days ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
FCCM
2007
IEEE
14 years 3 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
KCAP
2005
ACM
14 years 2 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...