1153 search results - page 4 / 231 » Compositional Specification Calculus for Information Systems... |
AMAI
2004
Springer
14 years 10 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
83
Voted
APSEC
1998
IEEE
15 years 2 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
83
Voted
APSEC
2004
IEEE
15 years 2 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
ICEIS
2007
IEEE
15 years 4 months ago
2007
IEEE
APWEB
2005
Springer
15 years 3 months ago
2005
Springer
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...