Author:
Zafar Saad,Ahmed Musharif,Fatima Taskeen,Aslam Zohra
Publisher
Springer International Publishing
Reference33 articles.
1. Mauco, M.V., Leonardi, M.C., Riesco, D.: Deriving formal specifications from natural language requirements (2009)
2. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3–4), 213–254 (2007)
3. Wagner, F., Wolstenholme, P.: Modeling and building reliable, re-useable software. In: Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the, pp. 277–286. Alabama, USA (2003)
4. Dromey, R.G.: From requirements to design: Formalizing the key steps. In: Software Engineering and Formal Methods, 2003. Proceedings. First International Conference, pp. 2–11. Brisbane, Australia (2003)
5. Lamsweerde, A.: Formal specification: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering, pp. 147–159. Limerick, Ireland (2000)