Sciweavers

731 search results - page 3 / 147
» Specification Matching of Software Components
Sort
View
COMPSAC
2007
IEEE
16 years 4 days ago
Automated Testing EJB Components Based on Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
Liang Kong, Hong Zhu, Bin Zhou
106
Voted
ICSE
2009
IEEE-ACM
16 years 18 days ago
From system specifications to component behavioral models
Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...
170
Voted
CBSE
2009
Springer
15 years 9 months ago
Domain-Specific Software Component Models
We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...
Kung-Kiu Lau, Faris M. Taweel
138
Voted
EUROMICRO
2009
IEEE
16 years 17 days ago
Constructing Domain-Specific Component Frameworks through Architecture Refinement
Frédéric Loiret, Ales Plsek, Philipp...