Constructing software design theories and models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1078, Issue , 1996, Pages 103-114

  Ryman, Arthur ^a  

^a IBM TORONTO LAB   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

CONCEPTUAL MODEL; DATABASE VISUALIZATION; DESIGN THEORY; ENTITY-RELATIONSHIP; HIGRAPHS; SOFTWARE DESIGN THEORIES; VISUAL LOGIC;

SOFTWARE DESIGN;

EID: 21344437761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030523     Document Type: Conference Paper

References (17)

1. S. Ceri, G. Gottlob, and L. Tanca: Datalog: A self-contained tutorial (part 2). Programmirovanie (Russia) Program. Comput. Softw. (USA), 17(5), September-October 1991.
2. Peter Chen. The entity relationship model: Towards a unified view of data. ACM Transactions on Database Systems, 1(1):9-36, March 1976.
3. Mariano Consens, Alberto Mendelzon, and Arthur Ryman. Visualizing and querying software structures. In Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 1992.
4. Tom DeMarco. Structured Analysis and System Specification. Prentice- Hall, Inc., Englewood Cliffs, New Jersey, 1979.
5. Milan Fukar. Translating Graphlog into Prolog. Technical Report TR 74.080, IBM, October 1991.
6. IBM, North York, Ontario. AIX XL C-I-+ Compiler/6000 User's Guide Version 1, first edition, April 1992.
7. Michael A. Jackson. System Development. Prentice-Hall International, 1983.
8. Shahram Javey, Kin'ichi Mitsui, Hiroaki Nakamura, Tsuyoshi Ohira, Kazu Yasuda, Kazushi Kuse, Tsutomu Kamimura, and Richard Helm. Architecture of the xl C++ browser. In John Botsford, Arthur Ryman, Jacob Slonim, and David Taylor, editors, Proceedings of the 1992 CAS Conference, Volume I, pages 369-379, Toronto, Ontario, November 1992.
9. S. Javey and K. Yasuda. The conceptual model for the C-t-+ program database. Technical Report TR 74.093, IBM, May 1992.
10. Karl J. Lieberherr and Ian M. Holland. Assuring good style for objectoriented programs. IEEE Software, pages 38-48, September 1989.
11. Richard A. O'Keefe. The Craft of Prolog. The MIT Press, Cambridge, Massachusetts, 1990.
12. James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice- Hall, Inc., Englewood Cliffs, New Jersey, 1991.
13. Arthur Ryman, David Alex Lamb, and Nitin Jain. Theories and models in software design. Technical Report TR 74.081, IBM, October 1991.
14. Arthur Ryman. The theory-model paradigm in software design. Technical Report TR 74.048, IBM, October 1989.
15. Arthur Ryman. Foundations of 4Thought. In John Botsford, Arthur Ryman, Jacob Slonim, and David Taylor, editors, Proceedings of the 1992 CAS Conference, Volume 1, pages 133-155, Toronto, Ontario, November 1992.
16. J.M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International (UK) Ltd., London, England, second edition, 1992.
17. Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-C1Mre Schayes, and Robert Champagne. Generic lifecycle support in the alma environment. IEEE Transactions on Software Engineering, 14(6), June 1988.