7209 search results - page 690 / 1442 » Software Engineering for Multi-Agent Systems |
167
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...
189
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
169
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
160
click to vote
AMAST
1997
Springer
15 years 11 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
177
Voted
ICSM
1996
IEEE
15 years 11 months ago
1996
IEEE
During the maintenance of legacy systems, the structure and the documentationofthe system usually deteriorates, and hence the maintenance becomesprogressively harder and harder. I...