Uma contribuição ao processo de desenvolvimento e modelagem de módulos educacionais
暂无分享,去创建一个
[1] Stephen Downes. Learning Objects: Resources For Distance Education Worldwide , 2001 .
[2] Jörg M. Haake,et al. Hypermedia and cognition: designing for comprehension , 1995, CACM.
[3] Boris Beizer,et al. Software testing techniques (2. ed.) , 1990 .
[4] Robert V. Binder,et al. Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .
[5] Tatiana Sugeta. PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes. , 1999 .
[6] Carlos José Pereira de Lucena,et al. AulaNet: Ajudando Professores a Fazerem seu Dever de Casa , 1999 .
[7] A. C. Marshall,et al. Static dataflow-aided weak mutation analysis (SDAWM) , 1990 .
[8] Stuart Zweben,et al. Development and application of a white box approach to integration testing , 1984, J. Syst. Softw..
[9] Simeon C. Ntafos,et al. On Required Element Testing , 1984, IEEE Transactions on Software Engineering.
[10] M. D. Merrill,et al. Knowledge objects and mental models , 2000, Proceedings International Workshop on Advanced Learning Technologies. IWALT 2000. Advanced Learning Technology: Design and Development Issues.
[11] Auri Marcelo Rizzo Vincenzi,et al. Orientação a objeto: definição, implementação e análise de recursos de teste e validação , 2004 .
[12] Elaine J. Weyuker,et al. Testing software to detect and reduce risk , 2000, J. Syst. Softw..
[13] Byoungju Choi,et al. PMothra: scheduling mutants for execution on a hypercube , 1989, TAV3.
[14] Elaine J. Weyuker,et al. An Applicable Family of Data Flow Testing Criteria , 1988, IEEE Trans. Software Eng..
[15] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[17] Elaine J. Weyuker,et al. Provable Improvements on Branch Testing , 1993, IEEE Trans. Software Eng..
[18] Elaine J. Weyuker,et al. A Formal Analysis of the Fault-Detecting Ability of Testing Methods , 1993, IEEE Trans. Software Eng..
[19] J. Novak. Concept mapping: A useful tool for science education , 1990 .
[20] B. Bloom. Taxonomy of educational objectives , 1956 .
[21] S. W. Holman. A challenge. , 1955, Medical technicians bulletin.
[22] Gregory D. Abowd,et al. Anchoring discussions in lecture: an approach to collaboratively extending classroom digital media , 1999, CSCL.
[23] Tim O'Reilly,et al. Lessons from open-source software development , 1999, CACM.
[24] Maria Cristina Ferreira de Oliveira,et al. HMBS/M - an object oriented method for hypermedia design , 1999 .
[25] A. J. Offutt,et al. Integration testing based on software couplings , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.
[26] Mark C. Paulk,et al. The Capability Maturity Model: Guidelines for Improving the Software Process , 1994 .
[27] Thomas R. Gruber,et al. Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..
[28] Roger Mundell,et al. Experiences with reusable E-learning objects: From theory to practice , 2002, Internet High. Educ..
[29] Mark Guzdial,et al. Introducing testing practices into objects and design course , 2003, Proceedings 16th Conference on Software Engineering Education and Training, 2003. (CSEE&T 2003)..
[30] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[31] Auri Marcelo Rizzo Vincenzi,et al. Evaluating N -selective mutation for C programs: unit and integration testing , 2001 .
[32] Márcio Eduardo Delamaro. PROTEUM - UM AMBIENTE DE TESTE BASEADO NA ANÁLISE DE MUTANTES , 1993 .
[33] Márcio Eduardo Delamaro,et al. Mutação de interface: um critério Interprocedimental para o teste de integração , 1997 .
[34] Phyllis G. Frankl,et al. The ASTOOT approach to testing object-oriented programs , 1994, TSEM.
[35] Janusz W. Laski,et al. A Data Flow Oriented Program Testing Strategy , 1983, IEEE Transactions on Software Engineering.
[36] Ivan Luiz Marques Ricarte,et al. Exploring Learning Objects under Conceptual, Instructional and Didactic Perspectives , 2003, PGLDB.
[37] P. David Stotts,et al. Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.
[38] Georgios D. Styliaras,et al. Evaluation of hypermedia application development and management systems , 1998, HYPERTEXT '98.
[39] Kent L. Beck,et al. Extreme programming explained - embrace change , 1990 .
[40] Gregory D. Abowd,et al. Classroom 2000: An Experiment with the Instrumentation of a Living Educational Environment , 1999, IBM Syst. J..
[41] Richard A DeMillo. Mutation Analysis as a Tool for Software Quality Assurance. , 1980 .
[42] Marcia Regina de Carvalho. HMBS/M - Um método orientado a objetos para o projeto e o desenvolvimento de aplicações hipermídia , 1998 .
[43] Auri Marcelo Rizzo Vincenzi,et al. Toward the determination of sufficient mutant operators for C † , 2001, Softw. Test. Verification Reliab..
[44] José Carlos Maldonado,et al. Proteum/IM 2.0: An Integrated Mutation Testing Environment , 2001 .
[45] Aditya P. Mathur,et al. Non-intrusive testing, monitoring and control of distributed CORBA objects , 2000, Proceedings 33rd International Conference on Technology of Object-Oriented Languages and Systems TOOLS 33.
[46] Bo Yang,et al. A Structural Test Selection Criterion , 1988, Inf. Process. Lett..
[47] Mark Guzdial. Use of collaborative multimedia in computer science classes , 2001 .
[48] Márcio Eduardo Delamaro,et al. Proteum - A Tool for the Assessment of Test Adequacy for C Programs User's guide , 1996 .
[49] A. Jefferson Offutt,et al. Inter-class mutation operators for Java , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..
[50] Joseph Robert Horgan,et al. Assessing testing tools in research and education , 1992, IEEE Software.
[51] Joseph D. Novak,et al. Learning How to Learn , 1984 .
[52] Roger S. Pressman,et al. Software Engineering: A Practitioner's Approach , 1982 .
[53] Monika Müllerburg,et al. Test data selection criteria for (software) integration testing , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.
[54] Mario Jino,et al. Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados , 1991 .
[55] Robert E. Horn. Mapping Hypertext , 1989 .
[56] Nicola Guarino,et al. Understanding and building, using ontologies , 1997, Int. J. Hum. Comput. Stud..
[57] W. Eric Wong,et al. Component-Based Software: An Overview of Testing , 2003, Component-Based Software Quality.
[58] Ricardo De Almeida Falbo. Integra??o de Conhecimento em um Ambiente de Desenvolvimento de Software , 1998 .
[59] A. Jefferson Offutt,et al. A semantic model of program faults , 1996, ISSTA '96.
[60] Márcio Eduardo Delamaro,et al. Proteum/FSM: a tool to support finite state machine validation based on mutation testing , 1999, Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society.
[61] William E. Howden,et al. Theoretical and Empirical Studies of Program Testing , 1978, IEEE Transactions on Software Engineering.
[62] Elaine J. Weyuker,et al. Analyzing Partition Testing Strategies , 1991, IEEE Trans. Software Eng..
[63] Richard D. Sidwell,et al. Modeling and analysis of concurrent systems , 1987 .
[64] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[65] Aditya P. Mathur,et al. Interface Mutation: An Approach for Integration Testing , 2001, IEEE Trans. Software Eng..
[66] Sudipto Ghosh,et al. Mining System Tests to Aid Software Maintenance , 1998, Computer.
[67] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[68] E. Barbosa. Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas C , 1998 .
[69] Tomás Isakowitz,et al. RMM: a methodology for structured hypermedia design , 1995, CACM.
[70] Gregory D. Abowd,et al. Classroom 2000: a system for capturing and accessing multimedia classroom experiences , 1998, CHI Conference Summary.
[71] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[72] Rodrigo Funabashi Jorge,et al. Teste de Mutação: subsídios para a redução do custo de aplicação , 2002 .
[73] Auri Marcelo Rizzo Vincenzi,et al. Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria , 2001 .
[74] P. David Stotts,et al. Dynamic adaptation of hypertext structure , 1991, HYPERTEXT '91.
[75] Mark Guzdial. Supporting Learners as users , 1999, ASTR.
[76] Mildred L. G. Shaw,et al. WebMap: Concept Mapping on the Web , 1995, World Wide Web J..
[77] Auri Marcelo Rizzo Vincenzi,et al. Proteum: a family of tools to support specification and program testing based on mutation , 2001 .
[78] Mark Guzdial,et al. Apprenticeship-based learning environments: a principled approach to providing software-realized scaffolding through hypermedia , 1998 .
[79] P. M. Herman,et al. A Data Flow Analysis Approach to Program Testing , 1976, Aust. Comput. J..
[80] Robert V. Binder. Modal testing strategies for OO software , 1996 .
[81] David Wiley,et al. Learning object design and sequencing theory , 2000 .
[82] John A. Clark,et al. Investigating the effectiveness of object‐oriented testing strategies using the mutation method , 2001 .
[83] Elaine J. Weyuker,et al. Testing Component-Based Software: A Cautionary Tale , 1998, IEEE Softw..
[84] Mary Beth Chrissis,et al. CMMI: Guidelines for Process Integration and Product Improvement , 2003 .
[85] Wynne Hsu,et al. DESIGN OF MUTANT OPERATORS FOR THE C PROGRAMMING LANGUAGE , 2006 .
[86] Sebastian G. Elbaum,et al. A survey on quality related activities in open source , 2000, SOEN.
[87] John A. Clark,et al. The Rigorous Generation of Java Mutation Operators Using HAZOP , 1999 .
[88] Giancarlo Guizzardi,et al. Using objects and patterns to implement domain ontologies , 2002, J. Braz. Comput. Soc..
[89] Maria das Graças,et al. Autoria de Aplicações Hipermídia para Ensino , 1999 .
[90] José Carlos Maldonado,et al. Criterios potenciais usos : uma contribuição ao teste estrutural de Software , 1991 .
[91] Ivan Luiz Marques Ricarte,et al. Learning materials: towards the establishment of guidelines for domain modeling , 2002 .
[92] W. Eric Wong,et al. An empirical comparison of data flow and mutation‐based test adequacy criteria , 1994, Softw. Test. Verification Reliab..
[93] Mark Guzdial,et al. Information ecology of collaborations in educational settings: influence of tool , 1997, CSCL.
[94] Gregory D. Abowd,et al. Rooms Take Note: Room Takes Notes! , 2002 .
[95] Frank Maurer,et al. Extreme Programming: Rapid Development for Web-Based Applications , 2002, IEEE Internet Comput..
[96] Gregory D. Abowd,et al. Supporting long-term educational activities through dynamic web interfaces , 2001 .
[97] Mary Jean Harrold,et al. Testing: a roadmap , 2000, ICSE '00.
[98] John F. Passafiume,et al. Software testing and evaluation , 1987 .
[99] W. Eric Wong,et al. Coverage testing software architectural design in SDL , 2003, Comput. Networks.
[100] Gustavo Rossi,et al. The object-oriented hypermedia design model , 1995, CACM.
[101] Linda Rising,et al. The Scrum Software Development Process for Small Teams , 2000, IEEE Softw..
[102] David Wiley,et al. Connecting learning objects to instructional design theory: A definition, a metaphor, and a taxonomy , 2000 .
[103] Elaine J. Weyuker,et al. Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.
[104] Simeon C. Ntafos,et al. A Comparison of Some Structural Testing Strategies , 1988, IEEE Trans. Software Eng..
[105] Alain Abran,et al. The Guide to the Software Engineering Body of Knowledge , 1999, IEEE Softw..
[106] Ricardo de Almeida Falbo,et al. Supporting Ontology Development with ODEd , 2004, J. Braz. Comput. Soc..
[107] S. Fabbri. Análise de mutantes no contexto de sistemas reativos : uma contribuição para o estabelecimento de estratégias de teste e validação , 1996 .
[108] EDWINA RISSLAND MICHENER,et al. Understanding Understanding Mathematics , 1978, Cogn. Sci..
[109] Kent L. Beck,et al. Embracing Change with Extreme Programming , 1999, Computer.
[110] Gregory D. Abowd,et al. Automated capture, integration, and visualization of multiple media streams , 1998, Proceedings. IEEE International Conference on Multimedia Computing and Systems (Cat. No.98TB100241).
[111] William W. Lee,et al. Multimedia-based Instructional Design: Computer-based Training, Web-based Training, Distance Broadcast Training, Performance-based Solutions , 2004 .
[112] William E. Howden,et al. Functional program testing and analysis , 1986 .
[113] Gregg Rothermel,et al. An experimental determination of sufficient mutant operators , 1996, TSEM.
[114] Danny B. Lange,et al. An object-oriented design method for hypermedia information systems , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.
[115] Mary Lou Soffa,et al. Selecting and using data for integration testing , 1991, IEEE Software.
[116] Hugo Fuks,et al. AulaNet[TM]--An Environment for the Development and Maintenance of Courses on the Web. , 1998 .
[117] David L. Ryan-Jones,et al. Designing Instruction with Learning Objects. , 2002 .
[118] Oleg Liber,et al. A framework for pedagogical evaluation of virtual learning environments , 1999 .
[119] Adenilso da Silva Simão,et al. MuDeL: a language and a system for describing and generating mutants , 2001, J. Braz. Comput. Soc..
[120] Vernon Rego,et al. High Performance Software Testing on SIMD Machines , 1991, IEEE Trans. Software Eng..
[121] John Paul,et al. Automated Software Testing: Introduction, Management, and Performance , 1999 .
[122] Arthur D. Friedman,et al. Logical design of digital systems , 1975 .
[123] Gregory D. Abowd,et al. Investigating the capture, integration and access problem of ubiquitous computing in an educational setting , 1998, CHI.
[124] Willie Dresler Leiva. A hypertext model to support Web-mediated teaching (Um modelo de hipertexto para apoio ao ensino mediado pela Web) , 2003 .
[125] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.
[126] Richard J. Lipton,et al. Theoretical and empirical studies on using program mutation to test the functional correctness of programs , 1980, POPL '80.
[127] Simone do Rocio Senger de Souza,et al. Mutation testing applied to Estelle specifications , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.
[128] Henrik Eriksson,et al. Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .
[129] Brian Fitzgerald,et al. A framework analysis of the open source software development paradigm , 2000, ICIS.
[130] Mark Guzdial,et al. Beyond Adoption to Invention: Teacher-Created Collaborative Activities in Higher Education , 2001 .
[131] Leonardo Bottaci,et al. Efficiency of mutation operators and selective mutation strategies: an empirical study , 1999 .
[132] Byoungju Choi,et al. High-performance mutation testing , 1993, J. Syst. Softw..
[133] Ana Regina Cavalcanti da Rocha,et al. A Systematic Approach for Building Ontologies , 1998, IBERAMIA.
[134] Mike Davis,et al. Linux and Open Source in the academic enterprise , 2000, SIGUCCS '00.
[135] Márcio Eduardo Delamaro,et al. Mutation analysis testing for finite state machines , 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.
[136] Franca Garzotto,et al. HDM—a model-based approach to hypertext application design , 1993, TOIS.
[137] Paul Swoboda,et al. World Wide Web - Course Tool: An Environment for Building WWW-Based Courses , 1996, Comput. Networks.
[138] Howard W. Beck. Fine-grained Representation of Educational Content based on Ontologies , 2003, PGLDB.
[139] James M. Bieman,et al. A technique for mutation of Java objects , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[140] H. W. Hodgins. The Future of Learning Objects , 2002 .
[141] Gregg Rothermel,et al. An experimental evaluation of selective mutation , 1993, Proceedings of 1993 15th International Conference on Software Engineering.
[142] Auri Marcelo Rizzo Vincenzi. Subsídios para o estabelecimento de estratégias de teste baseadas na técnica de mutação. , 1998 .
[143] Gregory D. Abowd,et al. Teaching and learning as multimedia authoring: the classroom 2000 project , 1997, MULTIMEDIA '96.