Environmental Information Systems: Concepts, Methodologies, Tools, and Applications


Book Description

Environmental information and systems play a major role in environmental decision making. As such, it is vital to understand the impact that they have on different aspects of sustainable environmental management, as well as to understand the opportunism they might present for further improvement. Environmental Information Systems: Concepts, Methodologies, Tools, and Applications is an innovative reference source containing the latest research on the use of information systems to track and organize environmental data for use in an overall environmental management system. Highlighting a range of topics such as environmental analysis, remote sensing, and geographic information science, this multi-volume book is designed for engineers, data scientists, practitioners, academicians, and researchers interested in all aspects of environmental information systems.




Environmental Software Systems


Book Description

Environmental Informatics is a fast growing field which deals with all methods from computer science, environmental planning, ecology and related subjects. As well as being an interdisciplinary area, Environmental Informatics provides an interface between all involved professional groups. Monitoring the state of the environment, analysing existing data, presenting the data to scientists and the public, as well as providing decision support are only some of the topics involved. Environmental Informatics is therefore a good foundation for the computer-assisted protection of the environment.




Environmental Software Systems. Data Science in Action


Book Description

This book constitutes the refereed proceedings of the 13th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2020, held in Wageningen, The Netherlands, in February 2020. The 22 full papers and 3 short papers were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics on environmental informatics, including data mining, artificial intelligence, high performance and cloud computing, visualization and smart sensing for environmental, earth, agricultural and food applications.




Software Sustainability


Book Description

This book focuses on software sustainability, regarded in terms of how software is or can be developed while taking into consideration environmental, social, and economic dimensions. The sixteen chapters cover various related issues ranging from technical aspects like energy-efficient programming techniques, formal proposals related to energy efficiency measurement, patterns to build energy-efficient software, the role of developers on energy efficient software systems and tools for detecting and refactoring code smells/energy bugs; to human aspects like its impact on software sustainability or the adaptation of ACM/IEEE guidelines for student and professional education and; and an economics-driven architectural evaluation for sustainability. Also aspects as the elements of governance and management that organizations should consider when implementing, assessing and improving Green IT or the relationship between software sustainability and the Corporate Social Responsibility of software companies are included. The chapters are complemented by usage scenarios and experience reports on several domains as cloud applications, agile development or e-Health, among others. As a whole, the chapters provide a complete overview of the various issues related to sustainable software development. The target readership for this book includes CxOs, (e.g. Chief Information Officers, Chief Executive Officers, Chief Technology Officers, etc.) software developers, software managers, auditors, business owners, and quality professionals. It is also intended for students of software engineering and information systems, and software researchers who want to know the state of the art regarding software sustainability.




Environmental Software Systems. Infrastructures, Services and Applications


Book Description

This book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015, held in Melbourne, Australia, in March 2015. The 62 revised full papers presented were carefully reviewed and selected from 104 submissions. The papers are organized in the following topical sections: information systems, information modeling and semantics; decision support tools and systems; modelling and simulation systems; architectures, infrastructures, platforms and services; requirements, software engineering and software tools; analytics and visualization; and high-performance computing and big data.




Environmental Software Systems. Frameworks of eEnvironment


Book Description

This book constitutes the refereed proceedings of the 9th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2011, held in Brno, Czech Republic, in June 2011. The 68 revised full papers presented together with four invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: eEnvironment and cross-border services in digital agenda for Europe; environmental information systems and services - infrastructures and platforms; semantics and environment; information tools for global environmental assessment; climate services and environmental tools for urban planning and climate change - applications and services.




Environmental Software Systems. Fostering Information Sharing


Book Description

This book constitutes the refereed proceedings of the 10th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2013, held in Neusiedl am See, Austria, in June 2013. The 65 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: environmental application in the scope of the future Internet; smart and mobile devices used for environmental applications; information tools for global environmental assessment; environmental applications in risk and crises management; SEIS as a part of the 7th environment action programme of EU; human interaction and human factors driving future EIS/EDSS developments; environmental management/-accounting and -statistics; and information systems and applications.




Environmental Software Systems. Computer Science for Environmental Protection


Book Description

This book constitutes the refereed proceedings of the 12th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2017, held in Zadar, Croatia, in May 2017. The 35 revised full papers presented together with 4 keynote lectures were carefully reviewed and selected from 46 submissions. The papers deal with environmental challenges and try to provide solutions using forward-looking and leading-edge IT technology. They are organized in the following topical sections: air and climate; water and hydrosphere; health and biosphere; risk and disaster management; information systems; and modelling, visualization and decision support.




Specification of Software Systems


Book Description

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.