arXiv Open Access 2024

An Interactive Empirical Approach to the Validation of Software Package Specifications

S. D. Fraser P. P. Silvester

Lihat Sumber

Abstrak

The objective of this research is the development of a practical system to manipulate and validate software package specifications. The validation process developed is based on consistency checks. Furthermore, by means of scenarios, the customer will be able to interactively experience the specified system prior to its implementation. Functions, data, and data types constitute the framework of our validation system. The specification of the Graphical Kernel System (GKS) is a typical example of the target software package specifications to be manipulated.

Topik & Kata Kunci

cs.SE

Penulis (2)

S. D. Fraser

P. P. Silvester

Format Sitasi

APA MLA BibTeX

Fraser, S.D., Silvester, P.P. (2024). An Interactive Empirical Approach to the Validation of Software Package Specifications. https://arxiv.org/abs/2401.17596

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2024
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓