Sciweavers

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