C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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