2748 search results - page 54 / 550 » Generating Object-Z Specifications from Use Cases |
109
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
111
click to vote
WSDM
2009
ACM
15 years 7 months ago
2009
ACM
The ranking function used by search engines to order results is learned from labeled training data. Each training point is a (query, URL) pair that is labeled by a human judge who...
113
Voted
BMCBI
2007
15 years 24 days ago
2007
Background: Proteins that evolve from a common ancestor can change functionality over time, and it is important to be able identify residues that cause this change. In this paper ...
DAGSTUHL
2003
15 years 2 months ago
2003
The Use Case Map (UCM) scenario notation has some strong features related to rapid capture and evaluation of requirements models. In this paper, we explain how a UCM model was deve...
117
Voted
BMCBI
2006
15 years 22 days ago
2006
Background: Numerous feature selection methods have been applied to the identification of differentially expressed genes in microarray data. These include simple fold change, clas...