833 search results - page 106 / 167 » Computer science as an integrated part of engineering educat... |
130
Voted
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
90
Voted
ICMT
2009
Springer
15 years 5 months ago
2009
Springer
Model transformations are an essential part of Model Driven Engineering and are in many ways similar to traditional software artifacts. Therefore it is necessary to define and eva...
156
click to vote
GG
2010
Springer
15 years 1 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
114
Voted
CAD
2006
Springer
15 years 17 days ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
124
Voted
ESEC
1995
Springer
15 years 4 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...