Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.

Atle Refsdal Knut Eilif Husa Ketil Stølen

Published in: FORMATS (2005)

Keyphrases

sequence diagrams
uml models
petri net
class diagram
activity diagrams
intermediate representation
real time systems
class diagrams
test cases
regression testing
requirements engineering
model based testing
databases
high level
database systems
distributed systems