46 search results - page 7 / 10 » Comparing Comprehensibility of Modelling Languages for Speci... |
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
KI
2012
Springer
13 years 5 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
ALT
2004
Springer
15 years 6 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
110
click to vote
ANSOFT
2002
14 years 9 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...