A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation
From MaRDI portal
Publication:1061482
DOI10.1016/0020-0255(83)90001-4zbMath0571.68020WikidataQ111897696 ScholiaQ111897696MaRDI QIDQ1061482
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
implementation; software design; validation; distributed computing systems; software development; attributed grammars; design specification; multiprocessing systems