Sciweavers

61 search results - page 13 / 13
» Fuzzy Logic in Clinical Practice Decision Support Systems
Sort
View
ICSE
2008
IEEE-ACM
14 years 5 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