Bridge Specifications for Separated Concerns.

Agung Fatwanto Clive Boughton

Published in: Software Engineering Research and Practice (2008)

Keyphrases

specification language
formal specification
feature selection
three dimensional
delay insensitive
reliability assessment
real time
data sets
neural network
information systems
website
similarity measure
formal verification
bounded model checking