Behavioral specification of real-time requirements

Neonatal, Paediatric and Child Health Nursing

Volumn , Issue , 2008, Pages 299-306

  Babamir, Seyed Morteza ^a   Babamir, Faezeh Sadat ^b  

^a UNIVERSITY OF KASHAN   (Iran)

^b SHAHID BAHONAR UNIVERSITY OF KERMAN   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 60849114447     PISSN: 14416638     EISSN: None     Source Type: Journal    
DOI: 10.1109/APSEC.2008.22     Document Type: Conference Paper

References (12)

1. David,R., Alla,H, ";Discrete,Continuous and Hybrid Petri Nets";, Springer-Verlag, 2005.
2. Feather,M.S., Fickas,S., Lamsweerde A.V. and Ponsard C, ";Reconciling System Requirements and Runtime Behavior";, Proceedings of Software Specification and Design, 1998, pp. 50-59, 1999.
3. Maum,S., ";The Formalization of Message Sequence Charts";, Computer Networks and ISDN system, 28, pp. 1643-1657, 1996.
4. th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 197-207, 2006.
5. Damas,C, Lambeau,B., Dupont,P. and Lamsweerds,A.V. , ";Generating Annotated Behavior Models from End-User Scenarios";, IEEE Transactions on Software Engineering, 31(12), pp. 1056-1073,2005.
6. Uchitel,J., Kramer,J. and Magee,J., ";Synthesis of Behavioral Models from Scenarios";, IEEE Transactions on Software Engineering, 29(2), pp. 99-115, 2003.
7. Kruger,I., Grosu,R., Scholz,P. and Broy.M., ";From MSCs to Statecharts";, Proceedings of IFIP International Workshop on Distributed and Parallel Embedded Systems, Kluwer Academic Publishers, pp. 61-71, 1998.
8. Lamsweerd,A.V. and Willemet,L., ";Inferring Declarative Requirements Specifications from Operational Scenarios";. IEEE Transaction on Software Engineering, 24(12), pp. 1089-1144, 1998.
9. rd International Conference on Software Engineering, pp. 15-24, 2001.
10. th IEEE Joint International Conference on Requirements Engineering, pp. 200-210, 2003.
11. nd International Conference on Global E-Security, pp. 72-79, 2006.
12. Mueller, E.T., ";Event Calculus";, in Hermelen,F.V., Lifschitz,V. and Porter,B.(Eds.), Handbook of Knowledge Representation, Elsevier, pp. 1-38., 2006.