Towards pedagogically sound learning environments: The specification process

  • Christophe Marquesuzaa
  • Jacques Meyranx
  • Thierry Nodenot
Learning Environments: Modelling and Design
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1108)


The global process for designing educational software requires the integration of several domains and techniques onto a unifying support. Thus, Integrated Courseware Engineering Systems (ICES) satisfy Computer- Aided Learning principles, in particular by taking into account multimedia improvements, software engineering, artificial intelligence and Human- Computer Interface aspects.

They provide adequate means of cooperation between the various actors (pedagogues, instructors, software engineers, ...) thanks to specific methodologies based on prototyping (spiral life cycle) and thanks to capabilities of reuse and guiding within the global process.

We apply these general principles while focusing on a specific stage of educational software lifecycle: that of specification. The environment can enhance the capabilities of the pedagogues as they define the major aims of a piece of educational software through inferences on the formalized methodological framework and through the reuse of pedagogical components. The framework can be adapted according to different ways of teaching as we try to demonstrate with an example of teaching English for Specific Purposes.


New technologies in Computer Aided Education Methodologies for inserting CAT/CAI in Engineering or Science Curricula Engineering & Scientific courseware development Principles/tools for instructional design 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M.A.G.E.: un Méta-Atelier de Génie Educatif T. NODENOT Doctorat de l'Université Paul Sabatier, Toulouse III, 20 Novembre 1992Google Scholar
  2. [2]
    Educational Software Engineering: a methodology based on cooperative developments T. NODENOT ICCAL'92 — 4th International Conference on Computers And Learning, Wolfville, Nova Scotia, Canada, Juin 1992Google Scholar
  3. [3]
    Applying process programming to the spiral model B.W. BOEHM 4th int. software process workshop, Moretonhampstead, Devon, UK, May 1988Google Scholar
  4. [4]
    Théories contemporaines de l'Education Y. BERTRAND Editions Chronique Sociale, Collection “Synthèse”, 1993Google Scholar
  5. [5]
    Modèle d'interface réactive dans les systèmes tutoriels de découverte guidée E.ADAM Rapport de DEA — Laboratoire A.P.I. — Université de Toulouse III, Juin 1995Google Scholar
  6. [6]
    Strategies for Incorporating Formal Specifications in Formal Development M.D. FRASER, K. KUMAR, V.K. VAISHNAVI Communications of the ACM, Vol. 37, n∘10, Pages 74–86, Octobre 1994Google Scholar
  7. [7]
    What if the pedagogues specified Educational Software? T. NODENOT WCCE 95 — 6th World Conference Computers in Education — Pages 791–803, Birmingham, United Kingdom, 23-28 Juillet 1995Google Scholar
  8. [8]
    Software Engineering with Abstractions V. BERZINS, LUQI Addison-Wesley Publishing Company, 1990Google Scholar
  9. [9]
    Specifying Educational Software: Goals and Process C. MARQUESUZAA, J. MEYRANX, T. NODENOT ED-MEDIA 96 — World Conference on Educational Multimedia and Hypermedia Boston, USA, 17–22 Juin 1996Google Scholar
  10. [10]
    Object Oriented Modeling and Design ? J. RUMBAUGH et al. Prentice Hall Inc. Englewood Cliffs, 1991Google Scholar
  11. [11]
    HARDY User's Guide version 1.3 J. SMART Artificial Intelligence Applications Institute, University of Edinburgh 12 Feb. 1995Google Scholar
  12. [12]
    CLIPS User's guide version 6.0 J.C. GIARRATANO NASA, Lyndon B. Johnson Space Center, Information Systems Directorate Software Technology Branch, May 1993Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Christophe Marquesuzaa
    • 1
  • Jacques Meyranx
    • 1
  • Thierry Nodenot
    • 1
  1. 1.Laboratoire Informatique U.P.P.A.Institut Universitaire de Technologie - Centre de RechercheBayonneFrance

Personalised recommendations