An Object Semantic Model of SOFL
暂无分享,去创建一个
[1] Jin Song Dong,et al. The role of secondary attributes in formal object modelling , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.
[2] David J. Duke,et al. Towards a Semantics for Object-Z , 1990, VDM Europe.
[3] Graeme Smith. Extending W for Object-Z , 1995, ZUM.
[4] Shaoying Liu,et al. A formal operational semantics for SOFL , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.
[5] Roger Duke,et al. Defining composition operators for object interaction , 1998, Object Oriented Syst..
[6] Shaoying Liu. SOFL: a formal engineering methodology for industrial applications , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
[7] Jin Song Dong,et al. The Geometry of Object Containment , 1994 .
[8] Susan Stepney,et al. High integrity compilation - a case study , 1993 .
[9] S. M. Brien,et al. W: A Logic for Z , 1991, Z User Workshop.
[10] Tony Clark,et al. Foundations of the unified modeling language , 1997, FME 1997.
[11] Roger Duke,et al. Object-Z: a specification language advocated for the description of standards , 1995 .
[12] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[13] Jin Song Dong. Living with free type and class union , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.
[14] Dines Bjørner,et al. Formal specification and software development , 1982 .
[15] Jin Song Dong,et al. An object-oriented denotational semantics of a small programming language , 1997, Object Oriented Syst..
[16] Shaoying Liu,et al. An approach to specifying and verifying safety-critical systems with practical formal method SOFL , 1998, Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193).
[17] Jin Song Dong,et al. Class Union and Polymorphism , 1993, TOOLS.