Login / Signup
Formal requirements modelling with executable use cases and coloured Petri nets.
Jens Bæk Jørgensen
Simon Tjell
João M. Fernandes
Published in:
Innov. Syst. Softw. Eng. (2009)
Keyphrases
</>
coloured petri nets
formal specification
formal verification
requirements specification
image processing
requirements engineering
functional requirements
legal argument
metadata
learning environment
search algorithm
software engineering
formal model
real time
formal methods
formal language
social networks