Facilitating the Construction of Specification Pattern-based Properties.

Sascha Konrad Betty H. C. Cheng

Published in: RE (2005)

Keyphrases

high level
construction process
object oriented
real time
information technology
structural properties
desirable properties
formal specification
topological properties
formal language
key properties