224 search results - page 15 / 45 » The Waterfall Model in Large-Scale Development |
SPIN
2012
Springer
13 years 1 days ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
AGILEDC
2009
IEEE
15 years 4 months ago
2009
IEEE
—The Scrum software development framework was designed for the hyperproductive state where productivity increases by 5-10 times over waterfall teams and many colocated teams have...
113
click to vote
AGI
2011
14 years 1 months ago
2011
Intelligent software agents aiming for general intelligence are likely to be exceedingly complex systems and, as such, will be difficult to implement and to customize. Frameworks h...
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
112
click to vote
ICPADS
1996
IEEE
15 years 1 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...