Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes
| Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 341 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Operating systems (Computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Operating Systems |
| ISBN | 3-642-36248-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification at Runtime for Self-Adaptive Systems -- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures -- Timed Hazard Analysis of Self-healing Systems -- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML -- Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice -- Achieving Self-adaptation through Dynamic Group Management -- Accurate Proactive Adaptation of Service-Oriented Systems -- Failure Avoidance in Configurable Systems through Feature Locality -- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software -- Assurance of Self-adaptive Controllers for the Cloud. |
| Record Nr. | UNISA-996466268003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ESEC '89 [[electronic resource] ] : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings / / edited by Carlo Ghezzi, John A. McDermid
| ESEC '89 [[electronic resource] ] : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings / / edited by Carlo Ghezzi, John A. McDermid |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 500 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-46723-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software risk management -- MENU - an example for the systematic reuse of specifications -- Asking for the impossible: The state of the art in safety-related systems -- STEPS to software development with users -- The role of measurement in ISEEs -- An empirical and theoretical analysis of an information flow-based system design metric -- Systematic development of formal software process models -- Software process machines: A framework for future software development environments -- Practical experience of formal specification: A programming interface for communications -- Industrialising formal methods for telecommunications -- An application of the event calculus for representing the history of a software project -- Change oriented versioning -- Software change dynamics or half of all Ada compilations are redundant -- Version management in the PACT integrated software engineering environment -- Software engineering implications for formal refinement -- A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools -- Formal specification using structured systems analysis -- Tool integration in an open environment -- HCDM/GSDS — A design environment for real-time software with automatic program generation -- Graph grammars, a new paradigm for implementing visual languages -- Structural modelling of Prolog for metrication -- Rule-based handling of software quality and productivity models -- An object-oriented approach to the system analysis -- A pluralistic knowledge-based approach to software specification -- PROTOB a hierarchical object-oriented CASE tool for distributed systems -- The internet worm incident -- Validation of concurrent Ada™ programs using symbolic execution -- Assay-a tool to support regression testing. |
| Record Nr. | UNISA-996465727303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to Digital Humanism : A Textbook / / edited by Hannes Werthner, Carlo Ghezzi, Jeff Kramer, Julian Nida-Rümelin, Bashar Nuseibeh, Erich Prem, Allison Stanger
| Introduction to Digital Humanism : A Textbook / / edited by Hannes Werthner, Carlo Ghezzi, Jeff Kramer, Julian Nida-Rümelin, Bashar Nuseibeh, Erich Prem, Allison Stanger |
| Autore | Werthner Hannes |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2024 |
| Descrizione fisica | 1 online resource (XIII, 637 p. 64 illus., 51 illus. in color.) |
| Disciplina | 303.4834 |
| Soggetto topico |
Computers and civilization
Ethics Artificial intelligence Political science - Philosophy Computers and Society Moral Philosophy and Applied Ethics Artificial Intelligence Political Philosophy |
| ISBN | 3-031-45304-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Background -- Humanism and Enlightenment -- Philosophical Foundations of Digital Humanism -- Evolution of Computing -- The Digital Revolution in a Historical Perspective -- The Social Responsibilities of Scientists and Technologists in the Digital Age -- "Digital transformation through the lens of intersectional gender research Challenges and needs for action -- No Digital Citizens Without Digital Humanisms -- Digital Transformation, Digital Humanism - What Needs to Be Done -- Part 2: Digital Humanism– a System’s View -- A Short Introduction to Artificial Intelligence – Methods, Success Stories, and Current Limitations -- Trustworthy Artificial Intelligence: Comprehensible, Transparent, Correctable -- ARE WE IN CONTROL? -- The Re-Enchanted Universe of AI: the Place for Human Agency -- Aesthetic Aspects of Digital Humanism: An Aesthetic-Philosophical Analysis of Whether AI Can Create Art -- Approaches to Ethical AI[1] -- Promises and Perils in Moralizing Technologies -- The Road Less Taken: Pathways to Ethical and Responsible Technologies -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Governance for Digital Humanism: The role of regulation, standardization, and certification -- Value-Sensitive Software Design: Ethical Deliberation in Agile Development Processes -- Humans in the loop: people at the heart of systems development -- Resilience: the Key to Planetary and Societal Sustainability -- How blockchain technology can help to arrive at fair ecosystems and platforms -- Introduction to Security and Privacy -- Part 3: Critical and Societal Issues of Digital Systems -- Recommender Systems: Techniques, Effects, and Measures Towards Pluralism and Fairness -- Bias and the Web -- Copyright enforcement on social media platforms: On Algorithmic Content Moderation -- DEMOCRACY IN THE DIGITAL ERA -- Are Cryptocurrencies and Decentralized Finance Democratic? -- Platforms: Their Structure, Benefits, and Challenges -- Work in a New World -- Digital Labor, Platforms, and AI -- Sovereignty in the Digital Age -- The Threat of Surveillance and the Need for Privacy Protections -- Human Rights Alignment: The Challenge Ahead for AI Lawmakers -- European Approaches to the Regulation of Digital Technologies. |
| Record Nr. | UNINA-9910799282103321 |
Werthner Hannes
|
||
| Cham, : Springer Nature, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Methodologies and Technologies for Networked Enterprises [[electronic resource] ] : ArtDeco: Adaptive Infrastructures for Decentralised Organisations / / edited by Giuseppe Anastasi, Emilio Bellini, Di Nitto Elisabetta, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo
| Methodologies and Technologies for Networked Enterprises [[electronic resource] ] : ArtDeco: Adaptive Infrastructures for Decentralised Organisations / / edited by Giuseppe Anastasi, Emilio Bellini, Di Nitto Elisabetta, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XX, 453 p. 170 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Computer communication systems Data mining Information storage and retrieval User interfaces (Computer systems) Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery Information Storage and Retrieval User Interfaces and Human Computer Interaction |
| ISBN | 3-642-31739-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Reference Case Study -- Part I Organizational Issues: Methodologies, Empirical Contexts and Policies -- Which Collaboration Strategy for the Networked Enterprise in Wine Industry? Technological and Organizational Challenges -- A Design-Driven Approach for the Innovation Management within Networked Enterprises -- Enhancing the Networked Enterprise for SMEs: A Service Platforms – Oriented Industrial Policy -- Part II SoftwareMethodologies and Technologies -- Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches -- Autonomic Workflow and Business Process Modelling for Networked Enterprises -- Verification and Analysis of Autonomic Systems for Networked Enterprises -- Part III Knowledge Elicitation and Management.- Ontology-Based Knowledge Elicitation: An Architecture -- Knowledge Extraction from Natural Language Processing -- Knowledge Extraction from Events Flows -- Context-Aware Knowledge Querying in a Networked Enterprise -- On-the-Fly and Context-Aware Integration of Heterogeneous Data Sources -- Context Support for Designing Analytical Queries -- Part IV Management of Peripheral Devices -- Wireless Sensor Networks for Monitoring Vineyards -- Design, Implementation, and Field Experimentation of a Long-Lived Multi-hop Sensor Network for Vineyard Monitoring -- Extracting Data from WSNs: A Service-Oriented Approach -- Extracting Data from WSNs: A Data-Oriented Approach -- Optimal Design of Wireless Sensor Networks -- Enabling Traceability in theWine Supply Chain -- Part V Case Study -- Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. Reference Case Study -- Part I Organizational Issues: Methodologies, Empirical Contexts and Policies -- Which Collaboration Strategy for the Networked Enterprise in Wine Industry? Technological and Organizational Challenges -- A Design-Driven Approach for the Innovation Management within Networked Enterprises -- Enhancing the Networked Enterprise for SMEs: A Service Platforms – Oriented Industrial Policy -- Part II SoftwareMethodologies and Technologies -- Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches -- Autonomic Workflow and Business Process Modelling for Networked Enterprises -- Verification and Analysis of Autonomic Systems for Networked Enterprises -- Part III Knowledge Elicitation and Management.- Ontology-Based Knowledge Elicitation: An Architecture -- Knowledge Extraction from Natural Language Processing -- Knowledge Extraction from Events Flows -- Context-Aware Knowledge Querying in a Networked Enterprise -- On-the-Fly and Context-Aware Integration of Heterogeneous Data Sources -- Context Support for Designing Analytical Queries -- Part IV Management of Peripheral Devices -- Wireless Sensor Networks for Monitoring Vineyards -- Design, Implementation, and Field Experimentation of a Long-Lived Multi-hop Sensor Network for Vineyard Monitoring -- Extracting Data from WSNs: A Service-Oriented Approach -- Extracting Data from WSNs: A Data-Oriented Approach -- Optimal Design of Wireless Sensor Networks -- Enabling Traceability in theWine Supply Chain -- Part V Case Study -- Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. |
| Record Nr. | UNISA-996465485103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994
| Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1995 |
| Disciplina | 005.1/01/9 |
| Soggetto topico |
Computer software - Congresses
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198219803316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994
| Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1995 |
| Disciplina | 005.1/01/9 |
| Soggetto topico |
Computer software
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872751303321 |
| [Place of publication not identified], : IEEE Computer Society Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives on Digital Humanism / / edited by Hannes Werthner, Erich Prem, Edward A. Lee, Carlo Ghezzi
| Perspectives on Digital Humanism / / edited by Hannes Werthner, Erich Prem, Edward A. Lee, Carlo Ghezzi |
| Autore | Werthner Hannes |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Bern, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (330 p.) |
| Disciplina | 004.019 |
| Altri autori (Persone) |
PremErich
LeeEdward A GhezziCarlo |
| Collana | Computer Science Series |
| Soggetto topico |
Computers and civilization
Ethics Technological innovations Computers - Law and legislation Information technology - Law and legislation Data protection - Law and legislation Science - Philosophy Computers and Society Moral Philosophy and Applied Ethics Innovation and Technology Management Legal Aspects of Computing Privacy Philosophy of Science |
| ISBN |
9783030861445
3030861449 |
| Classificazione | BUS042000COM060040COM079000LAW099000PHI005000SCI075000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: AI, Humans, and Control -- 1. Are We Losing Control? -- 2. Social Robots: their History and What They Can Do For Us -- 3. Artificial Intelligence and the Problem of Control -- 4. The Challenge of Human Dignity in the Era of Autonomous Systems -- Part 2: Participation and Democracy -- 5. The Real Cost of Surveillance Capitalism: Digital Humanism in the US and Europe -- 6. Democratic Discourse in the Digital Public Sphere: Re-imagining Copyright Enforcement on Online Social Media Platforms -- 7. The Internet is Dead. Long Live the Internet -- 8. Return to Freedom: Governance of Fair Innovation Ecosystems -- 9. Decolonizing Technology and Society - a Perspective from the Global South -- Part 3: Ethics and Philosophy of Technology -- 10. Digital Humanism and the Limits of AI -- 11. Explorative Experiments and Digital Humanism: Adding an Epistemic Dimension to the Ethical Debate -- 12. Digital Humanism and Global Issues in AI Ethics -- 13. Our Digital Mirror -- Part 4: Information Technology and the Arts -- 14. Fictionalizing the Robot and Artificial Intelligence -- 15. How to Be A Digital Humanist in International Relations: Cultural Tech Diplomacy Challenges Silicon Valley -- 16. We Are Needed More Than Ever. Cultural Heritage, Libraries and Archives -- 17. Humanism and the Great Opportunity of Intelligent User Interfaces for Cultural Heritage -- Part 5: Data, Algorithm, and Fairness -- 18. The Attention Economy and the Impact of AI -- 19. Did You Find It on the Internet? Ethical Complexities of Search Engine Rankings -- 20. Personalization, Fairness and Post-Userism -- Part 6: Platform Power -- 21. The Curation Chokepoint -- 22. Business Model Innovation and the Rise of Technology Giants -- 23. Scaling Up Broken Systems? Considerations from the Area of Music Streaming -- 24. The Platform Economy after Covid-19: Regulation and the Precautionary Principle -- Part 7: Education and Skills of the Future -- 25. Educational Requirements for Positive Social Robotics -- 26. Informatics as a Fundamental Discipline in General Education – The Danish Perspective -- 27. The Unbearable Disembodiedness of Cognitive Machines -- Part 8: Digital Geopolitics and Sovereignty -- 28. The Technological Construction of Sovereignty -- 29. A Crucial Decade for European Digital Sovereignty -- 30. Geo-Politics and Digital Sovereignty -- 31. Cultural Influences on AI along the New Silk Road -- 32. Geopolitics, Sovereignty in Digital Times…What’s in a Word? -- Part 9: Systems and Society -- 33. Work Without Jobs -- 34. Why Don’t You Do Something to Help Me? Digital Humanism: A Call for Cities to Act -- 35. Ethics or Quality of Life? -- 36. Responsible Technology Design: Conversations for Success -- 37. Navigating Through Changes of a Digital World -- Part 10: Learning From Crisis -- 38. Efficiency vs. Resilience: Lessons from COVID-19 -- 39. Contact Tracing Apps: A Lesson in Societal Aspects of Technological Development -- 40. Data, Models & Decisions: How We can Shape our World by Not Predicting the Future -- 41. Lessons Learned from the Covid-19 Pandemic -- 42. The Need for Respectful Technologies: Going Beyond Privacy -- Part 11: Realizing Digital Humanism -- 43. Digital Humanism – Navigating the Tensions Ahead -- 44. Should We Rethink How We Do Research? -- 45. Interdisciplinarity: Models and Values for Digital Humanism -- 46. It Is Simple, It Is Complicated. |
| Record Nr. | UNINA-9910510537503321 |
|
Werthner Hannes
|
||
| Bern, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives on Digital Humanism [[electronic resource]]
| Perspectives on Digital Humanism [[electronic resource]] |
| Autore | Werthner Hannes |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (330 p.) |
| Altri autori (Persone) |
PremErich
LeeEdward A GhezziCarlo |
| Soggetto topico |
Ethical & social aspects of IT
Ethics & moral philosophy Business & management Legal aspects of IT Privacy & data protection Philosophy of science |
| Soggetto non controllato |
Open Access
Digital Humanism Research Ethics Legal Issues in Computer Scince Data Privacy Computers and Society |
| ISBN | 3-030-86144-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464546703316 |
|
Werthner Hannes
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
| Proceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| Autore | Ghezzi Carlo |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2010 |
| Descrizione fisica | 1 online resource (50 pages) |
| Collana | ACM Conferences. |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | QUOVADIS '10 |
| Record Nr. | UNINA-9910376068703321 |
|
Ghezzi Carlo
|
||
| [Place of publication not identified] : , : Association for Computing Machinery, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Self-Adaptive Systems III. Assurances [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers / / edited by Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
| Software Engineering for Self-Adaptive Systems III. Assurances [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers / / edited by Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 435 p. 95 illus.) |
| Disciplina | 006.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Artificial intelligence Algorithms Software Engineering Computer Systems Organization and Communication Networks Artificial Intelligence Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-74183-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Challenges -- Evaluation -- Integration and Coordination -- Reference Architectures and Platforms. |
| Record Nr. | UNISA-996465482003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
