113
click to vote
CSL
1995
Springer
15 years 7 months ago
1995
Springer
We give an evolving algebra solution for the well-known railroad crossing problem and use the occasion to experiment with agents that perform instantaneous actions in continuous t...
106
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
141
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
140
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...