Sciweavers

731 search results - page 2 / 147
» Specification Matching of Software Components
Sort
View
101
Voted
FASE
2003
Springer
15 years 4 months ago
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, T. S. E. Maibaum
ICSE
2008
IEEE-ACM
15 years 12 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
ICSEA
2006
IEEE
15 years 5 months ago
Specification of Software Component Requirements Using the Trace Function Method
Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas...