Spécification et spécialisation de Patterns en UML et B.

Rafael Marcano-Kamenoff Nicole Lévy Francisca Losavio

Published in: LMO (2000)

Keyphrases

allocation strategy
pattern discovery
object oriented
software development
database design
sequential patterns
formal methods
conceptual modeling
knowledge base
data mining techniques
software systems
temporal patterns
similar patterns