Two-dimensional software development model combining object-oriented method with formal method

  • Authors:

  • Yuan Xiaodong;Chen Jiajun;Zheng Guoliang

  • Affiliations:

  • Dept. of Computer Science, Nanjing University, Nanjing 210093, P.R. China;Dept. of Computer Science, Nanjing University, Nanjing 210093, P.R. China;Dept. of Computer Science, Nanjing University, Nanjing 210093, P.R. China

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

Most of current software development models are linear, one-dimensional model. On the basis of the analysis of the current models, this paper provides a two-dimensional software development model that combines object-oriented method with formal method. This model has the advantages of both methods. We introduce three key stages of the model architecture in details