Mohammed, Elkoutbi; Mohamed, Bennani; Rudolf, K Keller; M, Boulmalf
(the 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'02),(Morocco), 2002-11)
In this paper, we suggest a requirement
engineering process for real-time systems that
yields a formal specification of the system using
timed Petri nets. Scenarios are acquired in form of
sequence diagrams as defined ...