Complementing semi-formal specifications with Z

Knowledge - Based Software Engineering - Conference Proceedings, KBSE

Volumn , Issue , 1996, Pages 52-61

  Ledru, Yves ^a  

^a Lab Logiciels Systemes Reseaux   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; DATA PROCESSING; DATA STRUCTURES; DATABASE SYSTEMS; FLOWCHARTING; SOFTWARE ENGINEERING;

ACCESS CONTROL SYSTEMS; DATA FLOW DIAGRAMS; ENTITY RELATIONSHIP SCHEMA; SEMI FORMAL SPECIFICATIONS; STATE MACHINE DESCRIPTION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (14)