Documenting design refinement

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 2000, Pages 89-100

  Olderog, E R ^a   Ravn, A P ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; EMBEDDED SYSTEMS; FORMAL LOGIC; INTERFACES (COMPUTER); REAL TIME SYSTEMS; SEMANTICS; SYSTEM PROGRAM DOCUMENTATION;

DOCUMENT DESIGN; HYBRID SYSTEMS; REFINEMENT;

SOFTWARE ENGINEERING;

EID: 0034514307     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (34)