Description |
1 online resource (XV, 305 pages) : illustrations |
Series |
Lecture Notes in Computer Science ; 7991. SL 2, Programming and Software Engineering |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7991. 1611-3349
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Innovation and Sustainability in Education -- Inquiry-based science education in secondary school informatics challenges and rewards -- Innovation and sustainability in higher education: lessons learnt from the case study of an online university -- Mobile augmented reality with audio; supporting fieldwork of Cultural sciences students in Florence -- Mathematical literacy as a condition for sustainable development -- Learning CSCW by Fairytales: a Practical Model -- The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments -- Creative Classrooms: A Systemic Approach for Mainstreaming ICT-enabled Innovation for Learning in Europe -- FLOSS in Technology-Enhanced Learning -- A preliminary analysis of learning awareness in FLOSS projects -- Concept and Experiences on using a Wiki-based System for Software-related Seminar Papers -- Modelling and Knowledge Management for Sustainable Development -- Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches -- Modelling Population Dynamics Using Grid Systems -- Transition to sustainability: Italian scenarios towards a low-carbon economy -- Models of Knowledge Transfer for Sustainable Development -- A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes -- Model-Based Tool Qualification: The Roadmap of Eclipse towards Tool Qualification -- Secure Migration of Legacy Applications to the Web -- A Web Portal for the Certification of Open Source Software -- Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems -- Using Open Source Projects in Higher Education: A Two-Way Certification Framework -- Guidelines for the application of Data Envelopment Analysis to assess evolving software -- A Certification Process for Android Applications |
Summary |
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 |
Bibliography |
Includes bibliographical references and index |
Subject |
Information technology -- Congresses
|
|
Education -- Data processing -- Congresses
|
|
Computer science.
|
|
Software engineering.
|
|
Artificial intelligence.
|
|
Computer simulation.
|
|
Education.
|
|
Electronic Data Processing
|
|
Artificial Intelligence
|
|
Computer Simulation
|
|
artificial intelligence.
|
|
simulation.
|
|
Artificial intelligence
|
|
Computer science
|
|
Computer simulation
|
|
Education
|
|
Education -- Data processing
|
|
Information technology
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Cerone, Antonio, editor
|
|
Persico, Donatella, editor
|
|
Garcia-Perez, Alexis, editor
|
|
Fernandes, Sara, editor
|
|
Katsaros, Panagiotis, editor
|
|
Shaikh, Siraj Ahmed, editor
|
|
Stamelos, Ioannis, editor
|
|
International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)
|
|
InSuEdu (Symposium) (1st : 2012 : Thessalonikē, Greece)
|
|
MoKMaSD (Symposium) (1st : 2012 : Thessalonikē, Greece)
|
|
OpenCert (Symposium) (6th : 2012 : Thessalonikē, Greece)
|
ISBN |
9783642543388 |
|
3642543383 |
|