Conjunction as Composition

ACM Transactions on Software Engineering and Methodology (TOSEM)

Volumn 2, Issue 4, 1993, Pages 379-411

  Zave, Pamela ^a   Jackson, Michael ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b AT & T Bell Laboratories and Michael Jackson Consulting ^*  (United Kingdom)

Author keywords

compositional specification; multiparadigm specification; practical specification

Indexed keywords

EID: 84976743686     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/158431.158438     Document Type: Article

References (36)

1. ALLEN, R., AND GARLAN, D. A formal approach to software architectures. Tech. Rep. School of Computer Science, Carnegie Mellon University, Pittsburgh, Pa., February 1992.
2. BORGIDA, A., MYLOPOULOS, J., AND REITER, R. “And nothing else changes”: The frame problem in procedure specifications. In Proceedings of the 15th International Conference on Software Engineering. IEEE Computer Society, May 1993, 303-314.
3. BURRTALL, R. M. Formal description of program structure and semantics in first order logic. In B. Meltzer and D Michie, eds, Machine Intelligence 5 Edinburgh University Press, 1970, pp. 79-98.
4. CARDELLI, L., AND WEGNER, P. On understanding types, data abstraction, and polymorphism ACM Comput Surv 17, 4 (Dec. 1985), 471-522.
5. FINKELSTEIN, A., GOEDICKE, M., KRAMER, J., AND NISKIER, C. ViewPoint-oriented software development: Methods and viewpoints in requirements engineering. In Proceedings of the 2nd METEOR Workshop on Methods for Formal Specification. Springer-Verlag, 1989.
6. FINKELSTEIN, A., KRAMER, J., NUSEIBEH, B., FINKELSTEIN, L., AND GOEDICKE, M. Viewpoints A framework for integrating multiple perspectives in system development Int. J. Softw. Eng. Knowl. Eng 2, 1 (1992), 31-57
7. GARLAN, D., AND NOTKIN, D. Formalizing design spaces Implicit invocation mechanisms. In VDM ′91: Formal Software Development Methods (Proceedings of the 4th International Symposium of VDM Europe). Springer-Verlag (ISBN 3-540-54834-3), 1991, pp. 31-44.
8. HAILPERN, B. Multiparadigm languages and environments (guest editor's introduction to a special issue) IEEE Softw. 3, 1 (Jan. 1986), 6-9.
9. HAREL, D. Statecharts: A visual formalism for complex systems. Sci Comput Prog. 8, (1987), 231-274.
10. HAREL, D., LACHOVER, H., NAAMAD, A., PNUELI, A., POLITI, M., SHERMAN, R., SHTULL-TRAURING, A., AND TRAKHTENBROT, M. Statemate: A working environment for the development of complex reactive systems. IEEE Trans Softw Eng. SE-16, 4 (Apr 1990), 403-414
11. HAYES, R., AND SCHLICHTING, R. D Facilitating mixed language programming in distributed systems. IEEE Trans. Softw. Eng. SE-13, 12 (Dec 1987), 1254-1264.
12. HOARE, C. A R Communicating Sequential Processes Prentice-Hall International, 1985.
13. INTERNATIONAL ORGANIZATION FOR STANDARDIZATION. Information processing systems-Open systems interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behaviour. ISO 8807.1989
14. JACKSON, M. A. Principles of Program Design. Academic Press, 1975
15. JACKSON, M. Some complexities in computer-based systems and their implications for system development. In Proceedings of CompEuro ′90. IEEE Computer Society, (ISBN 0-8186-2041-2), 1990, pp. 344-351.
16. JACKSON, M., AND ZAVE, P. Domain descriptions In Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press (ISBN 0-8186-3120-1), 1993, pp. 56-64.
17. JOHNSON, W. L., FEATHER, M. S., AND HARRIS, D. R. Representation and presentation of requirements knowledge IEEE Transactions on Software Engineering SE-18, 10 (Oct 1992), 853-869.
18. JONES, C. B Systematic Software Development Using VDM Prentice-Hall International, 1986
19. KLEENE, S. C Mathematical Logic. Wiley, 1967.
20. LAMPORT, L. A simple approach to specifying concurrent systems Commun. ACM 32, 1 (Jan. 1989), 32-45
21. LAMPORT, L. A temporal logic of actions DEC Systems Research Center 57, Palo Alto, California, Apr. 1990
22. LONDON, P. E., AND FEATHER, M. S Implementing specification freedoms Sci Comput. Prog 2, (1982), 91-131
23. MAHONY, B. P., AND HAYES, I. J A case-study in timed refinement A mine pump. IEEE Trans. Softw. Eng SE-18, 9 (Sept. 1992), 817-826.
24. PLAT, N., VAN KATWIJK, J., AND PRONK, K. A case for structured analysis/formal design In VDM ′91: Formal Software Development Methods (Proceedings of the 4th International Symposium of VDM Europe) Springer-Verlag (ISBN 3-540-54834-3), 1991, pp. 81-105.
25. PNUELI, A. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on Foundations of Computer Science. IEEE Computer Society (77CH1278-1), 1977, pp 46-57
26. REISS, S. P Working in the Garden environment for conceptual programming. IEEE Software 4, 6 (Nov 1987), 16-27.
27. SPIVEY, J. M The Z Notation A Reference Manual Prentice-Hall International, 1989.
28. WARD, P. T The transformation schema: An extension of the data flow diagram to represent control and timing. IEEE Trans. Softw. Eng. 12, 2 (Feb. 1986), 198-210.
29. WILE, D. S. Integrating syntaxes and their associated semantics. USC/Information Sciences Institute Tech Rep RR-92-297 Umv Southern Calif., Marina del Rey, Calif., 1992
30. WILEDEN, J. C., WOLE, A. L., ROSENBLATT, W. R., AND TARR, P. L. Specification-level interoperability. Commun ACM 34, 5 (May 1991), 72-87.
31. WING, J. M. A specifier's introduction to formal methods. IEEE Comput. 23, 9 (Sept. 1990), 8-24
32. WORDSWORTH, J. B. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, 1992.
33. ZAVE, P. A compositional approach to multiparadigm programming. IEEE Softw. 6, 5 (Sept. 1989), 15-25.
34. ZAVE, P., AND JACKSON, M. Composition of descriptions: A progress report. In Proceedings of the Formal Methods Workshop ′91. Springer-Verlag, New York, 1991.
35. ZAVE, P., AND JACKSON, M. Techniques for partial specification and specification of switching systems In VDM ′91: Formal Software Development Methods (Proceedings of the 4th International Symposium of VDM Europe). Springer-Verlag (ISBN 3-540-54834-3), 1991, pp. 511-525.
36. ZAVE, P., AND JACKSON, M. Where do operations come from? Specification of event properties, submitted for publication, 1993.