Formalizing design patterns

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1998, Pages 115-124

  Mikkonen, Tommi ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; HUMAN COMPUTER INTERACTION;

TEMPORAL BEHAVIORS; FORMAL METHODS;

SOFTWARE ENGINEERING;

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

References (17)