On the Reusable Specification of Non-functional Properties in DSLs.

Francisco Durán Steffen Zschaler Javier Troya

Published in: SLE (2012)

Keyphrases

service oriented
service selection
high level
data sets
evolutionary algorithm
specification language
functional properties
database
neural network
artificial intelligence
website
business processes
software systems
formal specification
formal verification
asynchronous circuits