A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

P. M. Lu; S. S. Yau; W. Hong

doi:10.1016/0020-0255(83)90001-4

A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

P. M. Lu, S. S. Yau, W. Hong

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Abstract

With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.

Original language	English (US)
Pages (from-to)	79-105
Number of pages	27
Journal	Information Sciences
Volume	30
Issue number	2
DOIs	https://doi.org/10.1016/0020-0255(83)90001-4
State	Published - Aug 1983
Externally published	Yes

ASJC Scopus subject areas

Software
Control and Systems Engineering
Theoretical Computer Science
Computer Science Applications
Information Systems and Management
Artificial Intelligence

Access to Document

10.1016/0020-0255(83)90001-4

Cite this

@article{452e84e07d1f47f88e9b5ba062113674,

title = "A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation",

abstract = "With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.",

author = "Lu, {P. M.} and Yau, {S. S.} and W. Hong",

note = "Funding Information: *The work reported here was supported in part by U.S. Army Research Office under Contract No. DAAC29-80-K-0092.",

year = "1983",

month = aug,

doi = "10.1016/0020-0255(83)90001-4",

language = "English (US)",

volume = "30",

pages = "79--105",

journal = "Information Sciences",

issn = "0020-0255",

publisher = "Elsevier Inc.",

number = "2",

}

TY - JOUR

T1 - A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

AU - Lu, P. M.

AU - Yau, S. S.

AU - Hong, W.

N1 - Funding Information: *The work reported here was supported in part by U.S. Army Research Office under Contract No. DAAC29-80-K-0092.

PY - 1983/8

Y1 - 1983/8

N2 - With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.

AB - With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.

UR - http://www.scopus.com/inward/record.url?scp=0020797570&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0020797570&partnerID=8YFLogxK

U2 - 10.1016/0020-0255(83)90001-4

DO - 10.1016/0020-0255(83)90001-4

M3 - Article

AN - SCOPUS:0020797570

SN - 0020-0255

VL - 30

SP - 79

EP - 105

JO - Information Sciences

JF - Information Sciences

IS - 2

ER -

A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this