13099 search results - page 214 / 2620 » Cooperative method development |
129
Voted
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The paper presents a method to guide the self-organised development of behaviours of autonomous robots. In earlier publications we demonstrated how to use the homeokinesi...
140
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
132
click to vote
VL
1994
IEEE
15 years 8 months ago
1994
IEEE
Developers of new imageanalysis algorithmstypically require an interactive environment in which the imagedata can be passed through various operators, some of which may involve fe...
95
Voted
CASCON
2006
15 years 6 months ago
2006
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
147
click to vote
CASCON
2006
15 years 6 months ago
2006
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...