757 search results - page 79 / 152 » Composing Security-Aware Software |
122
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
163
click to vote
FIW
2009
15 years 1 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...
134
Voted
CLEIEJ
2010
15 years 22 days ago
2010
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
143
click to vote
JSS
2010
14 years 10 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
117
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...