7209 search results - page 613 / 1442 » Software Engineering for Multi-Agent Systems |
119
click to vote
IUI
1993
ACM
15 years 9 months ago
1993
ACM
We examine the need for plan inference in intelligent help mechanisms. We argue that previous approaches have drawbacks that need to be overcome to make plan inference useful. Fir...
123
Voted
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
160
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
136
Voted
ICFEM
2000
Springer
15 years 8 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
137
click to vote
UIST
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents a comprehensive model for dealing with semantic conflicts in applications, and the implementation of this model in a toolkit for collaborative systems. Conflic...