1397 search results - page 211 / 280 » On the Need for Practical Formal Methods |
120
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
116
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
160
click to vote
ER
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
135
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
129
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
The Internet, the World Wide Web, JavaTM technology, and software components are changing the software business. Activities traditionally constrained by the need for intense infor...