Skip to main content
SpringerLink
Log in

Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules

  • Conference paper
Book cover Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

Abstract

Educational modules can be seen as relevant mechanisms to improve the learning processes in general. The goal is to produce quality educational products, capable of motivating the learners and effectively contribute to their knowledge construction process. Despite their relevance, none of the initiatives to address the problem of creating educational modules considers a systematic process for developing them. The establishment of a well-defined set of guidelines and supporting mechanisms should ease the distributed and cooperative work to create, reuse and evolve educational modules, taking also into account the impact on the learning process. In this work we present a standardized process we have established aiming at creating well-designed, highly flexible and configurable educational modules. We focus on the aspects of process specialization and instantiation, illustrating the practical application of the instantiated process by the development of an educational module for teaching the fundamentals of software testing. Particularly, the availability of learning facilities, allied to the development of testing tools, should facilitate the apprenticeship of specific testing theories and skills, promoting better dissemination conditions to the practical evaluation and application of testing strategies, both in academic and industrial sets. The produced module has been applied and preliminarily evaluated in terms of the learning effectiveness. The results obtained give us some evidences on the practical use of the standard process as a supporting mechanism to the development of effective educational modules.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barbosa, E.F.: Uma Contribuição ao Processo de Desenvolvimento e Modelagem de Módulos Educacionais. PhD thesis, ICMC-USP, São Carlos, SP (March 2004) (in Portuguese)

    Google Scholar 

  2. Barbosa, E.F., Maldonado, J.C.: An integrated content modeling approach for educational modules. In: IFIP 19th World Computer Congress – International Conference on Education for the 21st Century, Santiago, Chile, pp. 17–26 (August 2006)

    Google Scholar 

  3. Barbosa, E.F., Maldonado, J.C.: Towards the establishment of a standard process for developing educational modules. In: 36th Annual Frontiers in Education Conference (FIE 2006), San Diego, CA, p. 6. CD-ROM (October 2006)

    Google Scholar 

  4. Barbosa, E.F., Silva, M.A.G., Corte, C.K.D., Maldonado, J.C.: Integrated teaching of programming foundations and software testing. In: 38th Annual Frontiers in Education Conference (FIE 2008), Saratoga Springs, NY, p. 6 (October 2008) (to appear)

    Google Scholar 

  5. Barbosa, E.F., Souza, S.R.S., Maldonado, J.C.: An experience on applying learning mechanisms for teaching inspection and software testing. In: 21st Conference on Software Engineering Education and Training (CSEET 2008), Charleston, SC, pp. 189–196 (April 2008)

    Google Scholar 

  6. Basili, V., Selby, R.W.: Comparing the Effectiveness of Software Testing Strategies. IEEE Transactions on Software Engineering SE-13(12), 1278–1296 (1987)

    Article  Google Scholar 

  7. Brotherton, J.A., Abowd, G.D.: Lessons learned from eClass: Assessing automated capture and access in the classroom. ACM Transactions on Computer-Human Interaction 11(2), 121–155 (2004)

    Article  Google Scholar 

  8. Chaim, M.L.: PokeTool – Uma ferramenta para suporte ao teste estrutural de programas baseado em análise de fluxo de dados. Master’s thesis, DCA/FEEC/UNICAMP, Campinas, SP (April 1991) (in Portuguse)

    Google Scholar 

  9. Delamaro, M.E., Maldonado, J.C., Mathur, A.P.: Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering 27(3), 228–247 (2001)

    Article  Google Scholar 

  10. DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. IEEE Computer 11(4), 34–43 (1978)

    Article  Google Scholar 

  11. Dick, W., Carey, L., Carey, J.O.: The Systematic Design of Instruction, 5th edn. Longman (2001)

    Google Scholar 

  12. Dieberger, A., Guzdial, M.: CoWeb – experiences with collaborative web spaces. In: Lueg, C., Fisher, D. (eds.) From Usenet to CoWebs: Interacting with Social Information Spaces. Springer, Heidelberg (2003)

    Google Scholar 

  13. Downes, S.: Learning objects: Resources for distance education worldwide. International Review of Research in Open and Distance Learning 2(1) (July 2001)

    Google Scholar 

  14. Edwards, S.H.: Improving student performance by evaluating how well students test their own programs. Journal on Educational Resources in Computing 3(3), 24 (2003)

    Article  Google Scholar 

  15. Goldberg, M.W., Salari, S., Swoboda, P.: World Wide Web - Course Tool: An environment for building WWW-based courses. Computer Networks and ISDN Systems 28(7–11), 1219–1231 (1996)

    Article  Google Scholar 

  16. IEEE Computer Society. Guide to the Software Engineering Body of Knowledge: Trial version (1.0) (May 2001), http://www.swebok.org/

  17. IEEE Computer Society and Association for Computing Machinery. Computing Curricula – Computer Science Volume, Final Report (December 2001), http://www.computer.org/education/cc2001/

  18. IEEE Learning Technology Standards Committee. Learning Object Metadata (LOM) (June 2002)

    Google Scholar 

  19. John, W.C., Toto, R., Lim, K.Y.: Introducing Tablet PCs: Initial results from the classroom. In: 36th Annual Frontiers in Education Conference (FIE 2006), San Diego, CA, p. 6. CD-ROM (October 2006)

    Google Scholar 

  20. Maidantchik, C.L.L., Rocha, A.R.: Managing a worldwide software process. In: Workshop on Global Software Development – International Conference on Software Engineering (ICSE 2002), Orlando, FL (May 2002)

    Google Scholar 

  21. Mayorga, J.I., Verdejo, M.F., Rodríguez-Artacho, M., Calero, M.Y.: Domain modelling to support educational web-based authoring. In: TET 1999 Congress, Norway (June 1999)

    Google Scholar 

  22. Moodle, D.G.: Moodle – a free, open source course management system for online learning (2006), http://moodle.org/

  23. Schwabe, D., Rossi, G.: The object-oriented hypermedia design model. Communications of the ACM 38(8), 45–46 (1995)

    Article  Google Scholar 

  24. Shepard, T., Lamb, M., Kelly, D.: More testing should be taught. Communications of the ACM 44(6), 103–108 (2001)

    Article  Google Scholar 

  25. Simão, A.S., Ambrósio, A.M., Fabbri, S.C.P.F., Amaral, A.S., Martins, E., Maldonado, J.C.: Plavis/FSM: an environment to integrate FSM-based testing tools. In: XIX Simpósio Brasileiro de Engenharia de Software (SBES 2005) – Sessão de Ferramentas, Uberlândia, MG, pp. 1–6 (October 2005)

    Google Scholar 

  26. Turine, M.A.S., Oliveira, M.C.F., Masiero, P.C.: Designing structured hypertext with HMBS. In: VIII International ACM Hypertext Conference (Hypertext 1997), Southampton, UK, pp. 241–256 (April 1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of São Paulo – ICMC/USP, Av. do Trabalhador São-Carlense, 400, P.O. Box 668, São Carlos (SP), Brazil, 13560-970

    Ellen Francine Barbosa & José Carlos Maldonado

Authors
  1. Ellen Francine Barbosa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Carlos Maldonado
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barbosa, E.F., Maldonado, J.C. (2008). Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_36

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation