Sciweavers

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