Sciweavers

15885 search results - page 313 / 3177
» The Modest Software Engineer
Sort
View
108
Voted
SEFM
2008
IEEE
15 years 11 months ago
Ontology-Based Automatic Model Transformations
Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens ...
87
Voted
TASE
2008
IEEE
15 years 11 months ago
Structure and Interpretation of Computer Programs
Ganesh M. Narayan, K. Gopinath, Sridhar Varadaraja...
TASE
2008
IEEE
15 years 11 months ago
A Relational Model for Confined Separation Logic
Shuling Wang, Luís Soares Barbosa, Jos&eacu...
ASWEC
2007
IEEE
15 years 11 months ago
Benchmark Generation Using Domain Specific Modeling
Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu