Wafula, E.N. and P.A. Swatman, FOOM: a diagrammatic illustration of Object-Z specifications. Object Oriented Systems, 1996; 3:(4): p. 215-243. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Visualization of Formal Specifications - Kim, Carrington (1999) (2 citations) (Correct)
....possible faults in various ways [3, 4, 15] Despite their potential, formal methods are rarely adopted in industry. There are numerous reasons proposed for this. The most often stated limitations of formal specification techniques are the difficulties in using and understanding formal notations [5, 7, 8, 18]. In this paper, we address this difficulty by combining graphical and formal specification techniques. In our work graphical notations are used as an alternative representation of Z [17] specifications. This is in contrast to some other work [6, 9] that combines graphical and formal ....
....a formal semantics for graphical notations or to formalize informal models. The aim of our work is to increase the readability and the understandability of Z specifications by visualizing them, and to provide a systematic translation process between the two representations. There is similar work [5, 7, 11, 16, 18] that develops or uses graphical notations to represent formal specifications. Most of these studies however limit the scope of their visualization to the structural aspects of a LEAVE BLANK THE LAST 2.5 cm (1 ) OF THE LEFT COLUMN ON THE FIRST PAGE FOR THE COPYRIGHT NOTICE. preserve these six ....
E. N. Wafula and P. A. Swatman, FOOM: a diagrammatic illustration of Object-Z specifications, Object Oriented Systems, vol. 3, pp. 215-242, 1995.
The Role of Object-Oriented Modelling - Dawson, Swatman (1999) Self-citation (Swatman) (Correct)
....message passing and event handling. Some common dynamic models are state transition and event diagrams [24] state diagrams [25, 30] objectcharts [29] interaction diagrams [34] rules [32] object communication models [33, 35] and dynamic models using event chains and collaborative diagrams [36 38]. Sequencing is often modelled using use cases [34] task scripts [32] or scenarios [29, 30] defining typical user interaction with the system 3 A Motivating Case Carroll and Swatman [13] describe a case study of the requirements engineering process for a relatively simple electronic commerce ....
Wafula, E.N. and P.A. Swatman, FOOM: a diagrammatic illustration of Object-Z specifications. Object Oriented Systems, 1996; 3:(4): p. 215-243.
Supplementing Process-Oriented with Structure-Oriented.. - Nguyen, Swatman, Shanks (1998) Self-citation (Swatman) (Correct)
No context found.
Wafula, E.N. and Swatman, P.A., FOOM: A diagrammatic illustration of Object-Z specifications, ObjectOriented Systems, 1996, 3(4): 215-242.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC