1263 search results - page 154 / 253 » A Vision on a New Generation of Software Design Environments |
193
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
180
click to vote
SPIN
2009
Springer
16 years 27 days ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
152
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
158
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. When agents coordinate according to the principles of teamwork they can flexibly, robustly and reliably achieve complex goals in complex, dynamic and even hostile enviro...
153
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
A number of researchers have become interested in the design of global-scale networked systems and applications. Our thesis here is that the database community's principles a...