490 search results - page 79 / 98 » A structured operational semantics for UML-statecharts |
CGF
2008
13 years 7 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
JUCS
2006
13 years 7 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
GEOINFORMATICA
1998
13 years 7 months ago
1998
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
ENTCS
1998
13 years 7 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...