Can intuition become rigorous? Foundations for UML model verification tools

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2000, Pages 344-355

  Aleman, Jose Luis Fernandez ^a   Alvarez, Ambrosio Toval ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; OBJECT ORIENTED PROGRAMMING; RELIABILITY;

SOFTWARE MODEL RELIABILITY; STATECHART DIAGRAMS; UNIFIED MODELING LANGUAGES (UML);

SOFTWARE ENGINEERING;

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

References (33)