1146 search results - page 19 / 230 » Formal Specification Generation from Requirement Documents |
ECAI
1998
Springer
15 years 1 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
CASCON
2007
14 years 11 months ago
2007
Collaborative work on unstructured or semistructured documents, such as in literature corpora or source code, often involves agreed upon templates containing metadata. These templ...
EDOC
2006
IEEE
15 years 1 months ago
2006
IEEE
Enterprise Systems (ES) can be understood as the de facto standard for holistic operational and managerial support within an organization. Most commonly ES are offered as commerci...
APN
2000
Springer
15 years 2 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...