Sciweavers

16682 search results - page 265 / 3337
» Software Engineering Education
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Model-based validation of QoS properties of biomedical sensor networks
Simon Tschirner, Liang Xuedong, Wang Yi
FASE
2008
Springer
15 years 8 months ago
Orthographic Modeling Environment
Colin Atkinson, Dietmar Stoll
FASE
2008
Springer
15 years 8 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff