Transition diagram-based CAI/HELP systems

Feyock, Stefan

doi:10.1016/s0020-7373(77)80010-2

Cited by 24 publications

(5 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For reactive systems, a number of approaches to decomposition and specification have been proposed. Many of these methods are based on states and events to describe dynamic behavior, with finite state machines (FSMs) as the underlying formalism [5], [6], [7], [8], [9], [10], [11]. This approach has several drawbacks, such as exponential growth in the number of states and lack of a structured representation.…”

Section: Related Workmentioning

confidence: 99%

Extending statecharts with temporal logic

Sowmya

Ramesh

1998

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

The task of designing large real-time reactive systems, which interact continuously with their environment and exhibit concurrency properties, is a challenging one. In this paper, we explore the utility of a combination of behavior and function specification languages in specifying such systems and verifying their properties. An existing specification language, statecharts, is used to specify the behavior of real-time reactive systems, while a new logic-based language called FNLOG (based on first-order predicate calculus and temporal logic, is designed to express the system functions over real time. Two types of system properties, intrinsic and structural, are proposed. It is shown that both types of system properties are expressible in FNLOG and may be verified by logical deduction, and also hold for the corresponding behavior specification.

show abstract

Section: Related Workmentioning

confidence: 99%

Extending statecharts with temporal logic

Sowmya

Ramesh

1998

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Similar approaches have been based on transition diagrams [18,19]. These approaches do not include the inherent abstraction mechanism of a grammar and hence do not naturally provide groupings of commands (syntactic constructs) with an encapsulating description.…”

Section: Examples Of Use For Syntactic Constructsmentioning

confidence: 99%

An integral approach to user assistance

Fenchel¹

1981

Proceedings of the Joint Conference on Easier and More Productive Use of Computer Systems. (Part - II) Human Interface and the

View full text Add to dashboard Cite

User assistance is incorporated into some of today's interactive computing systems. The assistance is rarely consistent in its accuracy, availability, accessibility or style. In this paper we discuss general requirements for assistance systems and a characterization of different types of assistance which may be provided users. A technique for integrating the design of an assistance system with the design of an interactive computing system is described. The technique satisfies the expressed requirements and greatly facilitates the development of assistance systems. Finally, a brief discussion of techniques for evaluating the quality and effectiveness of an interactive assistance system is presented.

show abstract

“…The directed arcs are labeled with a possible input string followed by the system response to that string. Feyock [7] described transition diagrams in the context of computer-assisted education and help systems, and Denert offers a variant of these ideas [5]. Wasserman [33] describing interprocess communication activity between computers in a network [2], [23], [24].…”

Section: Introductionmentioning

confidence: 99%

“…Variants in user command formats can be quickly and easily implemented, thereby facilitating pilot testing and rapid improvement [22]. The machine specification may also aid in the automatic construction of user aids such as HELP facilities, UNDO FONT((typefont name)), 5) typesize TYPESIZE(Ksize)), 6) intensity INTENSITY(<level)), 7) colors COLOR(Kcolor choice)).…”

Section: Introductionmentioning

confidence: 99%

Multiparty Grammars and Related Features for Defining Interactive Systems

Shneiderman

1982

IEEE Trans. Syst., Man, Cybern.

View full text Add to dashboard Cite

Abstract-Multiparty grammars are introduced which contain labeled nonterminals to indicate the party that produces the terminal string. For interactive person-computer systems, both the user commands and system responses can be described by the linked BNF grammars. Multiparty grammars may also be used to describe communication among several people (by way of computers or in normal dialogue), network protocols among several machines, or complex interactions involving several people and machines. Visual features such as underlining, reversal, blinking, and color, window declarations, and dynamic operations dependent on cursor movement are also covered.

show abstract

Transition diagram-based CAI/HELP systems

Cited by 24 publications

References 5 publications

Extending statecharts with temporal logic

Extending statecharts with temporal logic

An integral approach to user assistance

Multiparty Grammars and Related Features for Defining Interactive Systems

Contact Info

Product

Resources

About