7 search results - page 2 / 2 » Academia Meets Industry at the Multimedia Grand Challenge |
FAC
2006
13 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
UML
2005
Springer
13 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...