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 | ||
| ||
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. | UNINA-9910739463303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 |
| Edizione | [First edition 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 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 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 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 | ||
| ||
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. | UNINA-9910510537503321 |
Werthner Hannes
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| 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. | UNINA-9910484840103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
