Multiple views of an executable software specification language: Applying specification, verification, and validation techniques to industrial software systems

Journal article

Peer reviewed

YUKUH Tung, A. A Khwaja and J. E Urban

The Journal of systems and software, Vol.21(3), pp.305-319

1993

Abstract

Applied sciences

Computer science; control theory; systems

Computer systems and distributed systems. User interface

Exact sciences and technology

Software

1 Record Views

Title: Multiple views of an executable software specification language
Creators - without role: YUKUH Tung - Arizona State University
A. A Khwaja - Arizona State University
J. E Urban - Arizona State University
Publication Details: The Journal of systems and software, Vol.21(3), pp.305-319
Publisher: Elsevier Science
Identifiers: 9919683808331
Academic Unit: King Faisal University
Language: English
Resource Type: Journal article