1375 search results - page 203 / 275 » SDL-2000: A Language with a Formal Semantics |
147
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
155
click to vote
WIKIS
2009
ACM
16 years 27 days ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
181
click to vote
IFM
2007
Springer
16 years 16 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
180
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
161
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...