Affiliation:
1. Department of Computer Science, Hosei University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference21 articles.
1. [1] S. Liu, Formal Engineering for Industrial Software Development, Springer, 2004.
2. [2] S. Stepney, F. Polack, and I. Toyn, “An outline pattern language for Z: Five illustrations and two tables,” ZB2003: Third International Conference of B and Z Users, Turku, Finland, ed. D. Bert, J.P. Bowen, S. King, and M. Walden, LNCS, vol.2651, pp.2-19, Springer, 2003.
3. [3] K. Miriyala and M. Harandi, “Automatic derivation of formal software specifications from informal descriptions,” IEEE Trans. Softw. Eng., vol.17, no.10, pp.1126-1142, Oct. 1991.
4. [4] S. Vadera and F. Meziane, “From English to formal specifications,” The Computer Journal, vol.37, no.9, pp.753-763, 1994.
5. [5] M. Elbendak, P. Vickers, and B.N. Rossiter, “Parsed use case descriptions as a basis for object-oriented class model generation,” J. Systems and Software, vol.84, no.7, pp.1209-1223, 2011.