1490 search results - page 210 / 298 » Interactive semantics |
AISC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
ASM
2000
ASM
14 years 2 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
ICFP
1999
ACM
14 years 2 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
ERCIMDL
1998
Springer
14 years 2 months ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
TYPES
1998
Springer
14 years 2 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...