An evaluation of the Teamwork CASE environment for specifications capture of hardware systems

Author

Dollas, Apostolos ; Crutchfield, Scott L.

Author_Institution

Dept. of Electr. Eng., Duke Univ., Durham, NC, USA

fYear

1992

fDate

23-25 Jun 1992

Firstpage

38

Lastpage

48

Abstract

The use of the Teamwork computer-aided software engineering (CASE) environment in a hardware application is examined. Teamwork is used to capture and maintain the specifications of a real-time image processing system under development at Duke University. It is demonstrated that when coupled with appropriate methodology, Teamwork can be used in hardware projects. The strengths and weaknesses of this approach are identified. The requirements for similar environments to overcome some of the problems encountered are outlined

Keywords

configuration management; formal specification; formal verification; image processing; software tools; Teamwork CASE; computer-aided software engineering; hardware application; real-time image processing system; Computer aided software engineering; Hardware; Histograms; Image processing; Integrated circuit technology; Real time systems; Silicon; Software prototyping; Space technology; Teamwork;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid System Prototyping, 1992. Shortening the Path from Specification to Prototype, 1992 International Workshop on

Conference_Location

Research Triangle Park, NC

Print_ISBN

0-8186-3520-7

Type

conf

DOI

10.1109/IWRSP.1992.243918

Filename

243918