Formal Approaches to Systems Analysis Using UML

Author:

1 October 2000

journal article
Published by IGI Global Scientific Publishing in Journal of Database Management

Vol. 11 (4) , 4-13
DOI:10.4018/jdm.2000100101

Abstract

Formal Approaches to Systems Analysis Using UML: An Overview: 10.4018/jdm.2000100101: Formal methods, whereby a system is described and/or analyzed using precise mathematical techniques, is a well -established and yet, under-used approach for

Keywords

REWRITING
FORMAL LANGUAGE
SYSTEM ANALYSIS
MODEL CHECKING