X. Jia, A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development, Proc. of the 21st Annual IEEE International Computer Software and Applications Conference, August 1997, Washington, D.C., USA. pp. 240-- 245. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Model Oriented Specifications through Animation - Kazmierczak, Winikoff, Dart (5 citations) (Correct)
....for verification or validation purposes. None of these papers directly discuss the exploration of models expressed in the Z notation, which is our major aim. Previous papers discussing light weight tools concentrate on showing how light weight tools can aid the requirements modelling process as in [6], but only by conducting non rigorous analyses and verification of the model against client understanding. These studies are valuable, but in this paper we seek to go beyond this and to put light weight approaches to formal methods on a more rigorous basis. The aim of this paper is twofold: 1) to ....
Xiaoping Jia. A pragmatic approach to formalizing object-oriented modeling and development. In Proc. 21st Annual Int'l Computer Software and Applications Conf., pages 240--245, Washington, D.C., USA, August 1997.
Rigorous and Automatic Testing of Web Applications - Jia, Liu (2002) Self-citation (Jia) (Correct)
No context found.
X. Jia, A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development, Proc. of the 21st Annual IEEE International Computer Software and Applications Conference, August 1997, Washington, D.C., USA. pp. 240-- 245.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC