A Software Engineering Perspective

Abramsky S. (1989). Domain Theory in Logical Form. Annals of Pure and Applied Logic.

Abrial J.R. (1980). The Specification Language Z: (1) Syntax and Semantics (2) Basic Library. Oxford Univ. Programming Research Group.

Backus J. (1978). Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs. Comm. ACM, 21, 613–641.

Balzer R. , Cheatham T.E. , and Green C. (1983). Software technology in the 1990s: using a new paradigm. In Computer, IEEE Computer Society.

Balzer R. , Goldman N. , and Neches B. (1984). Specification base computing environments for information management. Proc. Int. Conf. on Data Engineering, Los Angeles.

Bjorner D. , and Jones C.B. (eds.) (1978). The Vienna Development Method: the meta-language. LNCS, 61, Springer-Verlag.

Boyer R.S. , and Moore J.S. (1979). A Computational Logic. Academic Press.

Brookes F.P. (1975). The Mythical Man-month. Addison-Wesley.

Buckle J.K. (1977). Managing Software Projects. MacDonald and Jane's, London.

Bundy A. (1983). The Computer Modelling of Mathematical Reasoning. Academic Press.

Burstall R.M. , and Darlington J. (1977). A transformational system for developing recursive environments. J. ACM, 24, 44–67.

Burstall R.M. , and Goguen J.A. (1977). Putting theories together to make specifications. Proc. Fifth IJCAI.

Burstall R.M. , and Goguen J.A. (1981). An informal introduction to specifications using CLEAR. Proc. Int. Summer School on Theoretical Foundations of Programming Methodology. Technical University of Munich.

Burstall R.M. , McQueen D.B. , and Sannella D.T. (1980). Hope: an experimental applicative language. Proc. LISP Conf. Stanford Univ., 136–143.

Buxton J.N. , and Randell B. (eds.) (1969). Software Engineering Techniques. Conf. sponsored by Nato Science Committee, Rome.

Buxton J. , and Stenning V. (1981). Principles for an Ada Environment (Stoneman). US Department of Defense.

Campbell I. (1986). PCTE proposal for a public common tool interface. In Software Engineering Environments. Sommerville I. (ed.), US Department of Defense.

Clark K.L. , and Darlington J. (1981). Algorithm classification through synthesis. The Computer Journal, 23, 1.

Clark K.L. , and Gregory S. (1986). Parlog: Parallel Programming in Logic. ACM TOPLAS, 8, 1.

Codd E.F. (1970). A relational model of data for large shared data banks. Comm. ACM, 13.

Codd E.F. (1972). Relational competeness of data base sublanguages. In Data Base Systems, Rustin R. (ed.), Prentice-Hall.

Colmerauer A. , Kanoui H. , Pasero R. , and Roussel Ph. (1973). Un Systeme de Communication Homme/Machine. Rapport, Group Intelligence Artificielle University d'Aix Marseille Luminy.

Constable R.L. (1983). Programs as proofs. Info. Processing Letters, 16, 3, 105–12.

Coquand Th. , and Huet G. (1986). The calculus of constructions. Information and Control.

Cunningham R.J. , Finkelstein A. , Goldsack S.J. , Maibaum T.S.E. , and Potts C. (1985). Formal requirements specification - The Forest Project. Third Intl. Workshop on Software Specification and Design. IEEE Comp. Society Press.

Darlington J. , and Reeve M. (1981). ALICE - a multipurpose reduction machine. Proc. ACM Confi on Functional Languages and Architectures. Portsmouth NH.

DeMarco T. (1979). Structured Analysis and System Specification. Prentice Hall.

Dick A.J.J. , and Cunningham R.J. (1986). Using narrowing to do isolation in symbolic equation solving — an experiment in automated reasoning. Proc. 8th Intl. Conf. on Automated Deduction LNCS 230. Springer Verlog.

Dijkstra E.W. (1972). Structured programming. In Structured Programming Dahl O-J. (ed.). Academic Press.

Dijkstra E.W. (1976). A Discipline of Programming. Prentice Hall.

Dowson M. (ed.) (1987). Proc. 3rd Int. Software Process Workshop. IEEE Computer Press.

Eisinger N. , and Ohlbach H.J. (1986). The Markgraf Karl refutation procedure (MKRP). Proc. 8th International Conference on Automated Deduction, LNCS, 230, Springer-Verlag.

Evans M.W. (1983). Principles of Productive Software Management. Wiley.

Finkelstein A. , and Potts C. (1986). Structured common sense: the elicitation and formalisation of system requirements. In Software Engineering 86, Barnes D.J. , and Brown P.J. (eds.) IEE Computer Series 6 Peter Peregrinus.

Feldman S.I. (1979). Make - a program for maintaining computer programs. Software-Practice and Experience, 9, 255–265.

Floyd R.W. (1967). Assigning meanings to programs Proc. American Math. Soc. Symp. on Applied Math, 19.

Goguen J.A. , Thatcher J.W. , Wagner E.G. , and Wright J.G. (1975). Abstract data-types as initial algebras and correctness of data representations. Proc. Conf on Comp. Graphics, Pattern Recognition and Data Structure.

Goldberg A. (1984). Smalltalk-80; The Interactive Programming Environment. Addison-Wesley.

Goldblatt R. (1982). Axiomatising the logic of computer programming. LNCS 130. Springer-Verlag.

Gordon M. , Milner R. , and Wadsworth C. (1979). Edinburgh LGF. LNCS, 78, Springer-Verlag.

Gordon M.J.C. , and Herbert J. (1986). Formal hardware verification methodology and its application to a network interface chip. IEE Proceedings E, Comuters and Digital Techniques, 133, E, 5

Guttag J.V. (1978). The algebraic specification of data types. Acta Informatica, 10.

Henderson P. (ed.) (1987). Proc. Software Engineering Symposium on Practical Software Development Envionments. ACM SIGPLAN Notices, 22, 1.

Hoare C.A.R. (1969). An axiomatic basis for computer programming. Comm. ACM, 12, 10, 666–667.

Hoare C.A.R. (1972). Proof of correctness of data representations. Acta Informatica, 1, 271–281.

Hoare C.A.R. (1974). Monitors: an operating system structuring concept. Comm. ACM, 17, 10, 549–557.

Hoare C.A.R. (1978). Communicating Sequential Processes. Comm. ACM, 21, 8, 666–667.

Jackson M.A. (1975). Principles of Program Design. Academic Press.

Jeremaes P. , Khosla S. , and Maibaum T.S.E. (1986). A modal (action) logic for requirements specification. In Software Engineering 86, Barnes D.J. , and Brown P.J. (eds.). IEE Computer Series 6. Peter Peregrinus.

Jones C.B. (1980). Software Development: A Rigorous Approach. Prentice-Hall.

Kernighan B. (1981). The Unix programming environment. IEEE Computer.

Knuth D. (1974). Structured programming with go to statements. CACM.

Kowalski R.A. (1979). Logic for Problem Solving. North-Holland Publishing.

Kowalski R.A. (1979). Programming = Logic + Control. Comm. ACM, 22.

Kowalski R. A. , and Sergot M. (1986). A logic based calculus of events. New Generation Computing, 4, 1.

Kramer J. , and Magee J. (1985). Dynamic configuration for distributed systems. IEEE Trans. on Software Engineering, SE-11, 4.

Krieg-Bruckner B. (1986). Program development by specification and transformation. Proc. Esprit Conf CEC Brussels.

Lamport L. , and Schneider F.B. (1984). The ‘Hoare logic’ of CSP and all that. ACM TOPLAS, 6, 2, 281–296.

Lehman M.M. (1974). Programming systems growth dynamics. Infotech State of the Art Lectures, 20, 391–412.

Lescanne P. (1986). REVE - A rewrite rule laboratory. Proc. 8th International Conference on Automated Deduction, LNCS, 230. Springer-Verlag.

Lusk E. , McCune W. , and Overbeek R. (1986). ITP at Argonne National Laboratory. Proc. 8th International Conference on Automated Deduction, LNCS, 230, Springer-Verlag.

Martin-Loef P. (1979). Constructive mathematics and computer programming. Proc. 6th Intl. Congress for Logic, Method and Philosophy of Science.

Manna Z. , and Waldinger R. (1980). A deductive approach to program synthesis. ACM TOPLAS, 2, 1.

McCarthy J. (1960). Recursive functions of symbolic expressions and their computation by machine. Comm. ACM, 3, 184–195.

McCarthy J. (1962). LISP 1.5 Programmers Manual. MIT Press.

MacClelland J.M. , and Rumelhart D. (1986). Parallel Distributed Processing: Explorations in the Microstructure of Cognition. MIT Press.

Milner R. (1983). A proposal for standard ML. Report of the Dept. of Computer Science, University of Edinburgh.

Montague R. (1974). The proper treatment of quantification in ordinary English. In Formal Philosophy, Selected Papers of Richard Montague, Thomason R (ed.). Yale University Press.

Mosses P.D. (1976). Compiler generation using denotational semantics. In LNCS, 45 436–441.

Mosses P.D. (1979). SIS - Semantics implementation system, manual and user guide. Report DAIMO MD-33, Computer Science Dept., Aarus University.

Nakajima R. , Honda M. , and Nakahara H. (1980). Hierarchical program specification and verification - a many-sorted logical approach. Acta Informatica, 14, 135–155.

Naur P. , and Randell B. (eds.) (1968). Software Engineering. Conf. sponsored by Nato Science Committee, Garmisch.

Osterweil L. (1986). Software Process Interpretation and Software Environments. Department of Computer Science Report CU-CS-324-86, University of Colorado, Boulder, USA.

Pamas D.L. (1972). On criteria to be used in decomposing systems into modules. Comm. ACM, 15, 1053–1058.

Pnueli A. (1986). Specification and development of reactive systems. Proc. IFIP Congress.

Potts C. (ed.) (1984). Proc. Software Process Workshop. IEEE Computer Society.

Redwine S.T. , Seigel E.R. , and Berglass G.R. (1981). Candidate R&D Thrusts for the Software Technology Initiative. United States Department of Defense.

Reid P. , and Weiland R.C. (1986). Project development in view. In Sommerville (ed.) Software Engineering Environments, IEE Computer Series 7, Peter Peregrinus.

Ritchie D.M. , and Thompson K. (1978). The Unix time-sharing system. BSTJ, 57, 6, 1905–1929.

Siegel E.R. (1982). Summary of Responses to the Software Technology Initiative Questionnaire. Report of The MITRE Corporation, McLean, Virginia.

Scott D.S. , and Strachey C. (1971). Towards a mathematical semantics for computer languages. Proc. Symp. Computers and Automata. Polytechnic Press.

Sommerville I. (ed.) (1986). Software Engineering Environments, IEE Computing Series 7. Peter Peregrinus.

Stephens M. , and Whithead K. (1985). The Analyst - a workstation for analysis and design. Proc. 8th Intl. Conf on Software Engineering. IEEE Comp. Soc. Press.

Stoy J.E. (1977). Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press.

Talbot D.E. (1986). Software Engineering. In The Alvey Programme Annual Report. The Alvey Directorate, London.

Talbot D.E. , and Witty R.W. (1983). Alvey Programme: Software Engineering Strategy. The Alvey Directorate, London.

Tannenbaum A. , and van Renesse R. (1985). Distributed operating systems. ACM Computing Surveys, 17, 4, 419–470.

Turner D.A. (1985). A non-strict functional language with polymorphic types. In Functional Programming Languages and Computer Architecture, Jouannaud J.P. (ed.), LNCS, 201, Springer-Verlag.

Wand M. (1985). From interpreter to compiler: a representational derivation. In Proc, Workshop on Programs as Data Objects, LNCS 217, Springer-Verlag.

Waters R.C. (1985). The programmer's apprentice: a session with KBEmacs. IEEE Trans. on Software Eng., SE-11, (Nov.)

Wilden J.C. , and Dowson M. (eds.) (1986). Proc. 2nd Int. Software Process Workshop. ACM Software Engineering Notes, 11, 4.

Wirth N. (1971). Program development by stepwise refinement. Comm. ACM, 14, 4.

Wirth N. (1973). Systematic Programming: An Introduction. Prentice-Hall.