2748 search results - page 184 / 550 » Generating Object-Z Specifications from Use Cases |
IASTEDSE
2004
15 years 2 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
115
Voted
BMCBI
2008
15 years 24 days ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
106
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
GROUP
1999
ACM
15 years 5 months ago
1999
ACM
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...
104
Voted
BMCBI
2006
15 years 22 days ago
2006
Background: Finding the genetic causes of quantitative traits is a complex and difficult task. Classical methods for mapping quantitative trail loci (QTL) in miceuse an F2 cross b...