Using Object-2 to Specify a Web Browser I
暂无分享,去创建一个
[1] Douglas White. A knowledge-based approach to software development , 1995 .
[2] Mayer D. Schwartz,et al. The Dexter Hypertext Reference Model , 1994, CACM.
[3] Roger Duke,et al. Object-Z: a specification language advocated for the description of standards , 1995 .
[4] Alan J. Dix,et al. Formal methods for interactive systems , 1991, Computers and people series.
[5] Michael D. Harrison,et al. From Formal Models to Formal Methods , 1994, ICSE Workshop on SE-HCI.
[6] Bing Wang,et al. An Object Oriented Database Approach for Supporting Hypertext , 1993, CAiSE.
[7] M. J. Aslett. A knowledge based approach to software development: ESPRIT project ASPIS , 1991 .
[8] Gregory D. Abowd. Formal descriptions of user interfaces , 1991 .
[9] Mark Green,et al. A survey of three dialogue models , 1986, TOGS.
[10] Bob Fields,et al. Applying Formal Methods for Human Error Tolerant Design , 1994, ICSE Workshop on SE-HCI.
[11] Jonathan P. Bowen,et al. Ten Commandments of Formal Methods , 1995, Computer.