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

DOI10.1016/0020-0255(83)90001-4zbMath0571.68020OpenAlexW1990785278WikidataQ111897696 ScholiaQ111897696MaRDI QIDQ1061482

B. George

Publication date: 1983

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(83)90001-4

zbMATH Keywords

implementationsoftware designvalidationdistributed computing systemssoftware developmentattributed grammarsdesign specificationmultiprocessing systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of software (68N99)

Cites Work

• A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
• Unnamed Item

This page was built for publication: A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation