10379 search results - page 196 / 2076 » The Chaos of Software Development |
141
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
110
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
125
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
102
click to vote
AGI
2008
15 years 5 months ago
2008
The OpenCog software development framework, for advancement of the development and testing of powerful and responsible integrative AGI, is
115
Voted
PROFES
2001
Springer
15 years 8 months ago
2001
Springer
We demonstrate the need for reuse in today's software development organisations in the light of widely accepted literature. Based on this need, we introduce the reuse processe...