Integrating ASMs into the software development life cycle

Journal of Universal Computer Science

Volumn 3, Issue 5, 1997, Pages 689-701

  Börger, Egon ^a   Mearelli, Luca ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Abstract state machines; Code documentation; Code inspection; Model checking; Program verification; Programming techniques; Requirement specification; Stepwise refinement

Indexed keywords

EID: 33947110477     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (0)