1318 search results - page 188 / 264 » The formal semantics of the timeER model |
174
click to vote
LMO
1996
15 years 7 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
160
click to vote
CGF
2008
15 years 6 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...
149
click to vote
MOMPES
2008
IEEE
16 years 20 days ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
169
click to vote
ECMDAFA
2008
Springer
15 years 7 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
177
click to vote
PPDP
2007
Springer
16 years 12 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...