1146 search results - page 36 / 230 » Formal Specification Generation from Requirement Documents |
132
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
TREC
2004
14 years 11 months ago
2004
We approached the problem of classifying papers for the TREC 2004 Genomics Track triage task as a four step process: feature generation, feature selection, classifier training, an...
ENTCS
2002
14 years 9 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
90
Voted
DAWAK
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...