2748 search results - page 79 / 550 » Generating Object-Z Specifications from Use Cases |
BIOCOMP
2006
15 years 2 months ago
2006
- Aligning specific sequences against other known sequences in a database is a central aspect of bioinformatics. New experimental data being added continuously to these databases n...
138
Voted
COLING
1996
15 years 1 months ago
1996
A domain independent model is proposed for the automated interpretation of nominal compounds in English. This model is meant to account for productive rules of interpretation whic...
123
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
91
Voted
BMCBI
2005
15 years 15 days ago
2005
Background: Recognition of microbial pathogens by plants triggers the hypersensitive reaction, a common form of programmed cell death in plants. These dying cells generate signals...
85
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...