Specifications in software prototyping

Thumbnail Image
Files
Luqi_Specifications_in_software_prototyping.pdf (932.08 KB)
Authors
Luqi
Chang, Carl K.
Zhu, Hong
Subjects
Advisors
Date of Issue
1998
Date
Publisher
Language
Abstract
We explore the use of software speci®cations for software prototyping. This paper describes a process model for software prototyping, and shows how specifications can be used to support such a process via a cellular mobile phone switch example.
Type
Article
Description
URI
https://hdl.handle.net/10945/42329
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
The Journal of Systems and Software, Vol. 42 (1998), pp. 125-140
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Publications