8179 search results - page 142 / 1636 » The PRACTIONIST Development Tool |
143
click to vote
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
164
click to vote
CADE
1998
Springer
15 years 10 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...
181
click to vote
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
156
click to vote
VL
1994
IEEE
15 years 10 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...
201
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...