Travelled to:3 × USA
Collaborated with:∅ B.S.Crawford
Talks about:object (3) formal (2) ada (2) stimulus (1) paradigm (1) behavior (1) softwar (1) respons (1) graphic (1) describ (1)
Person: George W. Cherry
DBLP: Cherry:George_W=
Contributed to:
199619941992Wrote 3 papers:
- TRI-Ada-1996-CherryC #design #object-oriented #specification
- The Situation in Object-Oriented Specification and Design (GWC, BSC), pp. 83–98.
- TRI-Ada-1994-Cherry #ada #formal method #paradigm #re-engineering #visualisation
- Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm (GWC), pp. 309–320.
- TRI-Ada-C-1992-Cherry #ada #behaviour
- Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior (GWC), pp. 321–332.