Sciweavers

15860 search results - page 327 / 3172
» On agent-based software engineering
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...
126
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