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 journalArticle

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 languageEnglish (US)
Pages (from-to)79-105
Number of pages27
JournalInformation Sciences
Volume30
Issue number2
DOIs
StatePublished - Aug 1983
Externally publishedYes

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation'. Together they form a unique fingerprint.

  • Cite this