Sciweavers

7209 search results - page 586 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
AOSD
2009
ACM
15 years 11 months ago
Automated test data generation for aspect-oriented programs
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
Mark Harman, Fayezin Islam, Tao Xie, Stefan Wapple...
AOSD
2005
ACM
15 years 10 months ago
Modularizing design patterns with aspects: a quantitative study
Design patterns offer flexible solutions to common problems in software development. Recent studies have shown that several design patterns involve crosscutting concerns. Unfortun...
Alessandro F. Garcia, Cláudio Sant'Anna, Ed...
ICSE
2009
IEEE-ACM
15 years 9 months ago
A compositional approach to bidirectional model transformation
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...
IIWAS
2008
15 years 6 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
KBSE
2008
IEEE
15 years 11 months ago
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
George Edwards, Nenad Medvidovic