8083 search results - page 88 / 1617 » A Formalization of Software Architecture |
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
CSMR
2009
IEEE
13 years 5 months ago
2009
IEEE
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...