Sciweavers

3901 search results - page 86 / 781
» software 2008
Sort
View
102
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems
David Servat, Huáscar Espinoza, Séba...
97
Voted
KBSE
2008
IEEE
15 years 10 months ago
genSpace: Exploring social networking metaphors for knowledge sharing and scientific collaborative work
Christian Murphy, Swapneel Sheth, Gail E. Kaiser, ...
98
Voted
SEFM
2008
IEEE
15 years 10 months ago
Ontology-Based Automatic Model Transformations
Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens ...
CISIS
2008
IEEE
15 years 5 months ago
Embla - Data Dependence Profiling for Parallel Programming
Karl-Filip Faxén, Konstantin Popov, Lars Al...
123
Voted
FASE
2008
Springer
15 years 5 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...