An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations.

Régine Laleau Amel Mammar

Published in: ASE (2000)

Keyphrases

pairwise
cost function
support vector machine svm
classification method
generation method
web services
multiscale
preprocessing
experimental evaluation
classification accuracy
object oriented
software engineering
clustering method
synthetic data
high precision
formal specification