Specifications in software development
暂无分享,去创建一个
Summary form only given. Various kinds of specifications used during software development are presented through examples. The focus is on the practical aspects of the nature and use of formal specifications. Some open research problems that should be of particular interest are mentioned.<<ETX>>
[1] Douglas T. Ross,et al. Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.
[2] James J. Horning,et al. The Larch Family of Specification Languages , 1985, IEEE Software.
[3] Jeannette M. Wing. A specifier's introduction to formal methods , 1990, Computer.