Login / Signup
Use Case Specification at Different Levels of Abstraction.
Dusan Savic
Alberto Rodrigues da Silva
Sinisa Vlajic
Sasa Lazarevic
Vojislav Stanojevic
Ilija Antovic
Milos Milic
Published in:
QUATIC (2012)
Keyphrases
</>
levels of abstraction
abstraction levels
requirements analysis
provably correct
activity diagrams
specification language
information systems
clustering algorithm
case study
digital libraries
formal specification
operational semantics
artificial intelligence