Information technology and open source : applications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 : revised selected papers

This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability. Front Matter....Pages I-XV Front Matter....Pages 1-1 Innovation and Sustainability in Education....Pages 3-16 Inquiry-Based Science Education in Secondary School Informatics – Challenges and Rewards....Pages 17-34 Innovation and Sustainability in Higher Education: Lessons Learnt from the Case Study of an Online University....Pages 35-52 Mobile Augmented Reality with Audio....Pages 53-63 Mathematical Literacy as a Condition for Sustainable Development....Pages 64-77 Learning CSCW Through Fairytales: A Practical Model....Pages 78-88 The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments....Pages 89-103 Creative Classrooms: A Systemic Approach for Mainstreaming ICT-Enabled Innovation for Learning in Europe....Pages 104-120 FLOSS in Technology-Enhanced Learning....Pages 121-132 A Preliminary Analysis of Learning Awareness in FLOSS Projects....Pages 133-139 Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers....Pages 140-146 Front Matter....Pages 147-147 Modelling and Knowledge Management for Sustainable Development....Pages 149-153 Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches....Pages 154-171 Modelling Population Dynamics Using Grid Systems....Pages 172-189 Transition to Sustainability: Italian Scenarios Towards a Low-Carbon Economy....Pages 190-197 Models of Knowledge Transfer for Sustainable Development....Pages 198-203 A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes....Pages 204-211 Front Matter....Pages 213-213 Model-Based Tool Qualification....Pages 215-228 Secure Migration of Legacy Applications to the Web....Pages 229-243 A Web Portal for the Certification of Open Source Software....Pages 244-260 Front Matter....Pages 213-213 Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems....Pages 261-273 Using Open Source Projects in Higher Education: A Two-Way Certification Framework....Pages 274-280 Guidelines for the Application of Data Envelopment Analysis to Assess Evolving Software....Pages 281-287 A Certification Process for Android Applications....Pages 288-303 Back Matter....Pages 305-305 Contains the proceedings of the three satellite events of the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), which was held during October 1-5, 2012, in Thessaloniki, Greece: InSuEdu 2012, First International Symposium on Innovation and Sustainability in Education, held on October 1, 2012; MoKMaSD 2012, First International Symposium on Modelling and Knowledge Management for Sustainable Development, held on October 2, 2012; OpenCert 2012, 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held on October 2, 2012