Sciweavers

731 search results - page 2 / 147
» Specification Matching of Software Components
Sort
View
82
Voted
ICSE
2008
IEEE-ACM
15 years 10 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 3 months ago
Specification of Software Component Requirements Using the Trace Function Method
Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas...