Constructing formal specifications from informal requirements

Proceedings of the International Workshop on Software Technology and Engineering Practice, STEP

Volumn , Issue , 1997, Pages 68-75

  Clark, Robert G ^a   Moreira, Ana M D ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; USER INTERFACES;

LOTOS PROGRAMMING LANGUAGE; RIGOROUS OBJECT ORIENTED ANALYSIS (ROOA);

OBJECT ORIENTED PROGRAMMING;

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

References (16)