Connie Heitmeyer Center for High Assurance Computer Systems Naval Research...  Home/Search
Context
Related
| navy.mil/ITD/5540/...4heitmeyerICSE.ps navy.mil/publicati...4heitmeyerICSE.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: navy.mil/ITD/5540/pub...index1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, I provide a brief overview of the two toolset efforts, describe some HCI issues we encountered in developing the CASE tools, and conclude with a summary of open research issues involving HCI and software engineering. (Update)
Similar documents based on text: More All
0.1: Applying the SCR* Requirements Toolset to DS-1 Fault Protection - Lutz, al. (1997) (Correct)
0.1: Applying the SCR Requirements Method to the Light Control.. - Heitmeyer, Bharadwaj (2000) (Correct)
0.0: Model Checking Complete Requirements Specifications Using.. - Bharadwaj, Heitmeyer (1999) (Correct)
BibTeX entry: (Update)
@misc{ heitmeyer-role,
author = "Connie Heitmeyer",
title = "The Role of HCI in CASE Tools Supporting Formal Methods",
url = "citeseer.ist.psu.edu/115611.html" }
Citations (may not include all citations):130 Specifying Software Requirements for Complex Systems: New Te.. (context) - Heninger - 1980
49 Designing for Usability--Key Principles and What Designers T.. (context) - Gould, Lewis - 1985
47 Functional documentation for computer Systems Engineering (context) - Parnas, Madey - 1991
39 MT: A Toolset for Specifying and Analyzing RealTime Systems (context) - Clements, Heitmeyer et al. - 1993
28 Semantics of Modechart in Real-Time Logic (context) - Jahanian - 1988
18 Abstract Requirements Specification: A New Approach and Its .. (context) - Heitmeyer, McLean - 1983
16 Consistency Checks for SCR-Style Requirements Specifications (context) - Heitmeyer, Labaw - 1993
10 Engineering CASE Tools to Support Formal Methods for Real-Ti.. (context) - Heitmeyer, Clements et al. - 1992
3 Requirements Specification of Hard Real-Time Systems: Experi.. (context) - Heitmeyer, Labaw - 1991
2 Modechart Toolset User's Guide (context) - Rose, Perez et al. - 1993
1 Aspects of Direct Manipulation in Advanced Cockpits (context) - Ballas, Heitmeyer et al. - 1992
1 Experiences Using Statecharts for a System's Requirements Sp.. (context) - Leveson - 1991
Documents on the same site (http://www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/1994/index1994.html): More
A Formal Model of Several Fundamental VHDL Concepts - Goldschlag (1994) (Correct)
Simple Timing Channels - Moskowitz, Miller (1994) (Correct)
A Model of Computation for the NRL Protocol Analyzer - Meadows (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC