3185 search results - page 178 / 637 » Principles for modeling language design |
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
We discuss the technical skills that a software engineer should possess. We take the viewpoint of a school of engineering and put the software engineer's education in the wid...
IJCV
1998
13 years 7 months ago
1998
The purpose of this article is to define optic flow for scalar and density images without using a priori knowledge other than its defining conservation principle, and to incorpo...
RE
2002
Springer
13 years 7 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
DAGSTUHL
1996
13 years 9 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
FMCAD
2007
Springer
13 years 12 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...