| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465920203316 |
|
|
Titolo |
Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures / / Frank S. de Boer [and three others], editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 300 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 4709 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Formal methods (Computer science) |
Object-oriented programming (Computer science) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Testing -- Model-Based Testing of Environmental Conformance of Components -- Exhaustive Testing of Exception Handlers with Enforcer -- Model-Based Test Selection for Infinite-State Reactive Systems -- Program Verification -- Verifying Object-Oriented Programs with KeY: A Tutorial -- Rebeca: Theory, Applications, and Tools -- Learning Meets Verification -- Trust and Security -- JACK — A Tool for Validation of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models of Computation -- On Recursion, Replication and Scope Mechanisms in Process Calculi -- Bounded Session Types for Object Oriented Languages -- Distributed Programming -- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring -- Links: Web Programming Without Tiers. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. |
|
|
|
|
|
|
|
|
|
|
|
|
|
This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910674375503321 |
|
|
Autore |
Herrington Gaya |
|
|
Titolo |
Five insights for avoiding global collapse : what a 50-year-old model of the world taught me about a way forward for us today / / Gaya Herrington |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2022 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (208 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Sustainable development |
Environmental economics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
About the Author -- Acknowledgments -- 1. Introduction -- 2. Systems Thinking: Everything is Connected -- 3. Pursuing Growth is the Cause, Not the Solution -- 4. A Better Goal: Fulfilling Human Needs with Respect for Nature -- 5. The Sustainability Revolution: Humanity's Dying and Emerging New Narratives -- 6. Prosperity over Growth: From "Never Enough" to "Enough for Each" -- 7. Elements of a Dynamic Global Equilibrium -- 8. Who, Where, and Why You Are -- Appendix A -- References. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Looming environmental and social breaking points, like climate change and massive inequalities, are becoming increasingly apparent and large |
|
|
|
|
|
|
|
|
|
|
in scale. In this book, Gaya Herrington puts today's key societal challenges in perspective. Her analysis, rooted in her research on a 50-year-old model of the world that forecasted the onset of global collapse right around the present time, brings some structure to what otherwise might feel like the overwhelming task of achieving genuine societal sustainability. Herrington's research, first published in 2020 in Yale's Journal of Industrial Ecology, went viral after it revealed empirical data tracked closely with the predictions of this world model, which was introduced in the 1972 best seller The Limits to Growth. Her book Five Insights for Avoiding Global Collapse contains an exclusive research update based on 2022 data and is written in a more personable and accessible style than the journal article. Herrington also elaborates more in this book on the many interlinkages between our economic, environmental, and social predicaments, and on what her findings indicate for future global developments. Herington lays out why "business as usual" is not a viable option for global society and identifies the root cause of this unsustainable path. Most importantly, her book teaches us what systemic changes humanity still has time to make to achieve a better tomorrow. A future in which society has transformed beyond the mere avoidance of collapse and is truly thriving. |
|
|
|
|
|
| |