Software process ala Algebra: OBJ for OBJ

Proceedings - International Conference on Software Engineering

Volumn , Issue 12, 1990, Pages 12-23

  Nakagawa, Ataru T ^a   Futatsugi, Kokichi ^a  

^a SRA Inc   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--ALGORITHMIC LANGUAGES; MATHEMATICAL TECHNIQUES--ALGEBRA;

ALGEBRAIC SPECIFICATION LANGUAGES; SOFTWARE PROCESS MODEL;

COMPUTER SOFTWARE;

EID: 0024984134     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (42)