10241 search results - page 423 / 2049 » Goal-Driven Software Development |
178
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
169
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
176
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
152
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
190
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain acti...