Login / Signup
Concept location in formal specifications.
Andreas Bollin
Published in:
J. Softw. Maintenance Res. Pract. (2008)
Keyphrases
</>
formal specification
model checking
object oriented design
concurrent systems
specification languages
design methodology
software components
database
artificial intelligence
high level
knowledge representation
formal methods