%0 Journal Article
%T AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGE<br>面向对象软件规格语言的设计
%A Quan Bingzhe
%A Jin Chunzhao
%A <br>全炳哲
%A 金淳兆
%J 软件学报
%D 1995
%I 
%X JOOSL is an object-oriented formal specification language, which can be used to describe requirement specification, preliminary design and detailed design of an object-oriented software. From the view point of specification method, requirement specification is about the same as priliminary design. In these specifications the data and operations should be described abstractly. The detailed design is concerned with specifying algorithmic details and concrete data representations. In JOOSL, an object is considered as an abstract state machine and inheritance is defined as sharing of behavior.
%K Object-oriented development model
%K Object-oriented design
%K formal specification language
%K automatic programming
%K software reuse<br>面向对象开发模型，面向对象设计，形式规格语言，自动程序设计，软件重用。
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=4DCB33762FEF800F8E1E09AFD50340FF&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=59906B3B2830C2C5&sid=703F3C1B6594BA64&eid=FD6137FFCE59D193&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=23