FORMAL METHODS AND HUMAN FACTORS IN THE DESIGN OF INTERACTIVE LANGUAGES

FORMAL METHODS AND HUMAN FACTORS IN THE DESIGN OF INTERACTIVE LANGUAGES

Abstract not available

Bibliographic Details
Main Author:	SINGER, ANDREW JAY
Language:	ENG
Published:	ScholarWorks@UMass Amherst 1979
Subjects:	Computer science
Online Access:	https://scholarworks.umass.edu/dissertations/AAI8004989

Similar Items

Representation of regular formal languages.
by: Safla, Aslam.
Published: (2014)

Formal translation of phrase-structure languages /
by: Pyster, Arthur B.
Published: (1975)

Formal methods for protocol conversion /
by: Yao, Yow-Wei
Published: (1991)

On the formal methods for protocol conformance testing.
by: Lu, Yueping.
Published: (2009)

Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software
by: Pamplin, Jason Andrew
Published: (2007)

The use of formal models in the design of interactive case memory systems
by: Dearden, Andrew Mark
Published: (1995)

Conceptual program editors: Design and formal specification /
by: Bucci, Paolo
Published: (1997)

Formal development methods for interactive systems : combining interactors and design rationale
by: Bramwell, Christopher John
Published: (1995)

Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems
by: Simko, Gabor
Published: (2014)

A formal method for classifying distributed systems /
by: Shands, Deborah Ann
Published: (1994)

A Multi-Formal Languages Collaborative Scheme for Complex Human Activity Recognition and Behavioral Patterns Extraction
by: Angeleas, Anargyros
Published: (2018)

A formal specification based approach to feature interaction: Application with Prolog.
by: Colle, Serge.
Published: (2009)

Parallel recognition of formal languages by cellular automate /
by: Moshell, Jack Michael
Published: (1975)

Reflecting on Formal Methods
by: Stella Höhn, et al.
Published: (2015-06-01)

A formal method for modeling and analysis of requirements for software /
by: Pino, Lou
Published: (1993)

Extending a formal specification & requirements language : a case study
by: Lai, Danny Cho-Liang, 1978-
Published: (2014)

A two-phased approach for natural language parsing into formal logic
by: Sturla, Giancarlo (Giancarlo F.)
Published: (2018)

Formal Methods in Automated Design Debugging
by: Safarpour, Sean Arash
Published: (2009)

Formal Methods in Automated Design Debugging
by: Safarpour, Sean Arash
Published: (2009)

A demonstration of a formal specification & requirements language : a case study
by: Sutherland, Sean J. P. (Sean Jason Perry), 1977-
Published: (2014)

The use of formal methods for safety-critical systems
by: Trafford, Paul Joseph
Published: (1997)

Problems Related to Shortest Strings in Formal Languages
by: Ang, Thomas
Published: (2010)

Problems Related to Shortest Strings in Formal Languages
by: Ang, Thomas
Published: (2010)

A method for formal specification and verification of interactive systems
by: Paterno, Fabio Domenico
Published: (1995)

Regulated rewriting in formal language theory
by: Taha, Mohamed A. M. S
Published: (2008)

A COMPARISON OF A PROCEDURAL AND A NONPROCEDURAL QUERY LANGUAGE: SYNTACTIC METRICS AND HUMAN FACTORS.
by: WELTY, CHARLES
Published: (1979)

Dcharts, a formalism for modeling and simulation based design of reactive software systems
by: Feng, Huining, 1979-
Published: (2004)

Formal languages in music theory
by: Diener, Glendon
Published: (1985)

Formal Methods in Verification of Interface and Bus Protocols
by: Kjellsson, Kenji
Published: (2014)

The Graphics Symbiosis System - an Interactive Mini-Computer Animation Graphics Language Designed for Habitability and Extensibility
by: De Fanti, Thomas Albert
Published: (1973)

Using formal languages in data communications protocols
by: Mulder, Petrus Gerhardus
Published: (2014)

A formal data fusion language
by: Newton, Alan R.
Published: (1995)

The use of formal language theory in computer vision
by: Van Niekerk, Graeme Neill
Published: (2014)

Formal analysis of firewall policies
by: Marmorstein, Robert Mathias
Published: (2008)

Formalization of timethreads using LOTOS.
by: Amyot, Daniel
Published: (2009)

Applying DNA Self-assembly in Formal Language Theory
by: Akkara, Pinto
Published: (2013)

Formal Analysis of Network Protocol Security
by: Hsu, Yating
Published: (2011)

A language modeling approach to information retrieval
by: Ponte, Jay Michael
Published: (1998)

Human Computer Interaction
Published: (2008)

Toward a formalism for the automation of neural network construction and processing control
by: Czuchry, Andrew J., Jr.
Published: (2006)