TOWARDS SIMPLER AND YET COMPLETE FORMAL SPECIFICATIONS.

Volumn , Issue , 1985, Pages 175-189

  Veloso, P A S ^a   Furtado, A L ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

CONSTRUCTIVE METHODOLOGY; FORMAL SPECIFICATIONS; GENERAL ASSUMPTIONS; PARTICULAR INFORMATION SYSTEMS; SEPARATE FORMALIZATION; SHORTER SPECIFICATIONS;

DATABASE SYSTEMS;

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

References (19)