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

AvAntonio Cerone,Donatella Persico

Häftad, Engelska, 2014

Del i serien Lecture Notes in Computer Science

540 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2014-03-11
Mått:155 x 235 x 18 mm
Vikt:493 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:305
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642543371

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Informationsteknik: allmänt inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Inbunden, 2022

551 kr

Formal Methods for Software Engineering

Siraj Ahmed Shaikh, Gerardo Schneider, Bernd-Holger Schlingloff, Antonio Cerone, Markus Roggenbach

E-bok

2022

877 kr

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Häftad, 2023

421 kr

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad

Del 12232

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

Häftad, 2020

572 kr

Formal Methods. FM 2019 International Workshops

David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski

E-bok

2020

739 kr

Del 12233

Formal Methods. FM 2019 International Workshops

Häftad, 2020

572 kr

Formal Methods. FM 2019 International Workshops

E-bok

2020

732 kr

Del 12310

Software Engineering and Formal Methods

Frank de Boer, Antonio Cerone

Häftad, 2020

628 kr

Software Engineering and Formal Methods

Antonio Cerone, Frank de Boer

E-bok

2020

821 kr

Del 1301

Formal Methods – Fun for Everybody

Antonio Cerone, Markus Roggenbach

Häftad, 2021

540 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr