论文信息 - FuZE - Draft of the User's Guide

FuZE - Draft of the User's Guide

This report is the current Reference Manual for FuZE1. A HTML version is also available. History of the proposal: Date Name of the document Description Marsh 17 Draft 1 rst draft 1This document is still in progress.

Jean-Michel Bruel | Gopalakrishna Raghavan | B. Chintapally

[1] Gerald W. Both,et al. Object-oriented analysis and design with applications , 1994 .

[2] Thomas C. Hartrum,et al. Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies , 1994, CSEE.

[3] Chris Dollin,et al. Object-oriented development: the fusion method , 1994 .

[4] Robert B. France,et al. A Two-Dimensional View of Integrated Formal and Informal Specification Techniques , 1995, ZUM.

[5] Gill Smith,et al. Object-oriented analysis , 1988, WADAS '88.

[6] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.

[7] Rebecca Wirfs-Brock,et al. Designing object-oriented software , 1990 .

[8] Lesley Semmens,et al. Using Yourdon and Z: an Approach to Formal Specification , 1990, Z User Workshop.

[9] Maria M. Larrondo-Petrie,et al. Formalizing Fusion Object-Oriented Analysis Models , 1997 .

[10] Robert B. France,et al. Understanding the Role of Formal Specification Techniques in Requirements Engineering , 1995, CSEE.

[11] Ivar Jacobson,et al. Object-Oriented Software Engineering , 1991, TOOLS.

[12] David R. King,et al. Object-oriented software , 1990 .

[13] Betty H. C. Cheng,et al. A Formal Semantics for Object Model Diagrams , 1995, IEEE Trans. Software Eng..

[14] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.