Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models.

Radoslaw Klimek

Published in: CoRR (2014)

Keyphrases

reactive systems
software tools
software architecture
software systems
conceptual models
prior knowledge
complex systems
source code
software design
embedded systems
computer systems
database
open source
probabilistic model
user interface
artificial intelligence
machine learning
neural network
databases