Show simple item record

dc.contributor.advisorLuqi
dc.contributor.authorAnderson, Steven E.
dc.date.accessioned2013-11-20T23:33:43Z
dc.date.available2013-11-20T23:33:43Z
dc.date.issued1990-09
dc.identifier.urihttp://hdl.handle.net/10945/37558
dc.description.abstractAs fiscal impacts continue to make the U.S. Navy's budget increasingly austere, diligent efforts are being made to enhance the Navy's warfighting capability and streamline its operations. In this environment, it is necessary to efficiently produce computer systems that meet fleet requirements and do so at minimal cost. This thesis illustrates a methodology that integrates rapid prototyping with formal requirements analysis of a Generic C3I workstation. Traditional requirements analysis and software engineering principles tend to misplace emphasis on the completeness and the comprehensiveness of initial software modeling. Using formal specification tools and techniques, rapid prototyping provides prototype developers with constraints, while deliberately omitting up-front detailed descriptions. Precise constraints are refined through the evolution of requirements in the light of empirical performance and demonstrable functionality. A network capable software system for a Generic C3I Workstation, with embedded decision-support systems and robust message passing and processing, would offer functionality beyond that which is traditionally used in fleet operations. Through automation advancements, C3I information processing could be performed more quickly, efficiently, and accurately. In this thesis, an abstract model of a high-speed, networkable, generic C3I workstation is presented. This model defines the fundamental goals for the experimental modeling and development of a large, hard-real-time Ada software system for the U.S. Navy.en_US
dc.description.urihttp://archive.org/details/functionalspecif1094537558
dc.format.extentix, 260 p.: ill.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsCopyright is reserved by the copyright owner.en_US
dc.subject.lcshSoftware engineeringen_US
dc.subject.lcshCosten_US
dc.titleFunctional specification for a Generic C3I Workstationen_US
dc.typeThesisen_US
dc.contributor.secondreaderShimeall, Timothy
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.schoolNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science
dc.subject.authorSoftware specificationen_US
dc.subject.authorhard real time softwareen_US
dc.subject.authorembedded systemsen_US
dc.subject.authorgeneric C3I workstationen_US
dc.subject.authornext generation computer resourcesen_US
dc.description.serviceCivilian author.en_US
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record