DMCA
S.: A Specification-Oriented Framework for Information System User Interfaces (2002)
| Venue: | OOIS Workshops |
| Citations: | 5 - 1 self |
BibTeX
@ARTICLE{Kantorowitz02s.:a,
author = {Eliezer Kantorowitz and Sally Tadmor},
title = {S.: A Specification-Oriented Framework for Information System User Interfaces},
journal = {OOIS Workshops},
year = {2002},
volume = {2002},
pages = {112--121}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. A costly part of software development regards verification, i.e., checking that the code implements the specification correctly. We introduce the concept of specification-oriented frameworks, with the purpose of facilitating verification. A specification-oriented framework enables direct translation of the specifications into code, whose equivalence with the specification is easy to establish. The feasibility of this concept was investigated with the experimental Simple Interfacing (SI) framework for construction of user interface software of interactive information systems. Such an information system is constructed by translating the natural-language use-case specification into SI based code. SI provides high-level methods for data entry and data display. The use-case coding assumes that a database schema and required complex data manipulations are developed separately. The code produced for the use-cases of five small projects corresponded quite closely to the natural-language specifications and facilitated considerably the verification. Further research is required to assess the usefulness of the approach. 1
Keyphrases
specification-oriented framework information system user interface software development regard verification specification-oriented framework enables direct translation interactive information system user interface software high-level method database schema costly part natural-language specification use-case coding data display information system data entry complex data manipulation small project natural-language use-case specification experimental simple interfacing
