Advertisement

The PCTE initiative: toward a european approach to software engineering

  • Ferdinando Gallo
  • Bull DRTG/GL
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 275)

Abstract

This article describes the rationale for and the long term objectives of the ESPRIT project "A basis for Portable Common Tool Environments (PCTE)". The PCTE project is presented in the context of a strategic initiative which aims to establish the foundations for a systematic approach to software production in Europe. More detailed information on the technical aspects of PCTE can be found in [27, 8, 14, 15, 17, 18].

Keywords

Software Production Life Cycle Model Office Automation Information Technology Industry Esprit Project 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Atelier Logiciel Pour la Programmation des Applications de Grande Envergure, Bull, April 1982.Google Scholar
  2. [2]
    ANSI/X3/SPARC Study Group on Data Base Management Systems: Interim Report, FDT, Bulletin of ACM-SIGMOD, Vol.7, n.2, 1975.Google Scholar
  3. [3]
    KIT/KITIA Working Group, Proposed Military Standard Common Apse Interface Set, Department of Defense, USAGoogle Scholar
  4. [4]
    Chen, P.P., The entity relationship model: towards a unified view of data, ACM Transactions on Database Systems, 1,1, March 1976.Google Scholar
  5. [5]
    Ichbiah J. et al., Reference Manual for the Ada Programming Language, Advanced Research Projects Agency, U.S. Department of Defense, 1980.Google Scholar
  6. [6]
    Imperial Software Technology Ltd et all, Requirements for Software Engineering Databases, Final Report, June 1983.Google Scholar
  7. [7]
    Kernighan B.W., Ritchie D.M., The C Programming Language. Prentice Hall. N.J. 1978Google Scholar
  8. [8]
    Logica, ESPRIT Preparatory Study, Portable Common Tool Environment, Final Report, June 1983.Google Scholar
  9. [9]
    Onuegbe, E., Functional Requirements for a Software Engineering Database Management System, Computer Sciences Forum, Honeywell, Vol.9,n.1, January 1985.Google Scholar
  10. [10]
    Osterweil L., Software Environment Research: Directions for the Next Five Years, Computer, IEEE, April 1981, Volume 14, Number4.Google Scholar
  11. [11]
    Fortable Ada Programming System, Global Design Report, Olivetti, October 1982.Google Scholar
  12. [12]
    Ritchie D.M. and K. Thompson, The UNIX Time-Sharing System, Comm. of the ACM 17, Vol. 7, July 1974.Google Scholar
  13. [13]
    Requirement for Ada Programming Support Environments "STONEMAN", U.S. Department of Defense, February 1980.Google Scholar
  14. [14]
    Knowledge Based Programmer's Assistant: Preliminary Study Report, ESPRIT Portable Common Tool Environment Project, June 1984.Google Scholar
  15. [15]
    Knowledge Based Programmer's Assistant: Design Report, ESPRIT Portable Common Tool Environment Project, June 1985.Google Scholar
  16. [16]
    Kennett M.R., Plan Structures of the KBPA, Document 226.1.0, ESPRIT Portable Common Tool Environment Project, 23rd. July 1985.Google Scholar
  17. [17]
    Oddy G., The Development of the Knowledge Based Programmer's Assistant, Extended Abstract of a paper submitted to ESPRIT Technical Week 1986.Google Scholar
  18. [18]
    Poulter K., Representing Programming Knowledge in the KBPA, Paper presented at ESPRIT Technical Week 1985.Google Scholar
  19. [19]
    Poulter K. and Clark A., The STRATA Representation and Reasoning System, Extended Abstract of a paper submitted to ESPRIT Technical Week 1986.Google Scholar
  20. [20]
    Rich C., A Formal Representation for Plans in the Programmer's Apprentice, IJCAI-81 vol. 2, pp1044–1052, 1981.Google Scholar
  21. [21]
    Rich C. and Shrobe H.E., Initial Report on a Lisp Programmer's Apprentice, IEEE Trans. Software Engineering, vol. SE-4, no. 6, Nov. 1978.Google Scholar
  22. [22]
    Functional Specifications of the CMS, Bull, GEC, ICL, Olivetti, Nixdorf, Siemens; Dec. 1985Google Scholar
  23. [23]
    Report on the PCTE Verification Suite, Bull, GEC, ICL, Olivetti, Nixdorf, Siemens; May 1986Google Scholar
  24. [24]
    X/OPEN Portability Guide, X/OPEN Group, July 1986Google Scholar
  25. [25]
    System V Interface Definition, AT&T, Spring 1985Google Scholar
  26. [26]
    X/OPEN Verification Specification, X/OPEN Group, January 1986Google Scholar
  27. [27]
    PCTE Functional Specifications, Bull, GEC, ICL, Olivetti, Nixdorf, Siemens; June 1986Google Scholar
  28. [28]
    C Language Test (Functional Specification), Bull, GEC, ICL, Olivetti, Nixdorf, Siemens; June 1986Google Scholar
  29. [29]
    Pascal Compiler Validation, Brian Wichmann and Z. J. Ciechanowicz, John Wiley & Sons Ltd., 1983 Prentice-Hall, Inc., Englewood Cliffs, New JerseyGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Ferdinando Gallo
    • 1
  • Bull DRTG/GL
    • 1
  1. 1.LouveciennesFrance

Personalised recommendations