Advanced Information Systems Engineering Workshops [[electronic resource] ] : CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marcela Ruiz, Pnina Soffer |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (206 pages) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Information technology - Management Business information services Software engineering Data protection Computer and Information Systems Applications Computer Application in Administrative Data Processing IT in Business Software Engineering Data and Information Security |
ISBN | 3-031-34985-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- HybridAIMS -- 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS'23) -- Organization -- HybridAIMS23 Workshop Co-chairs -- HybridAIMS23 Workshop Program Committee -- A Morphological Box for AI Solutions: Evaluation, Refinement and Application Potentials -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Morphological Box for AI Solutions -- 2.2 AI Solution Development -- 3 Research Approach -- 4 Interview Planning and Conduction -- 5 Interview Findings -- 6 Analysis and Discussion -- 7 Application Potentials and Future Work -- References -- Enriching Enterprise Architecture Models with Healthcare Domain Knowledge -- 1 Introduction -- 2 Literature Review -- 2.1 Enterprise Modeling -- 2.2 Enterprise Modeling in Healthcare -- 2.3 Semantic Lifting of Enterprise Models -- 2.4 Medical Ontologies and Their Usage in Information Systems -- 2.5 Research Problem: Semantic Lifting of Enterprise Architecture Models in Healthcare -- 3 Research Method -- 4 Ontology-Based Enterprise Architecture Model Development -- 4.1 Domain Knowledge in Enterprise Architecture Model -- 4.2 Representation of Domain Knowledge as an Ontology -- 5 Ontology-Based Enterprise Architecture Model Implementation -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Supporting Reuse of Business Process Models by Semantic Annotation -- 1 Introduction -- 2 Literature Review -- 3 Research Method and Objective -- 4 Ontology Development for Model Reuse -- 5 Semantic Annotation Approach -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Position Paper - Hybrid Artificial Intelligence for Realizing a Leadership Assistant for Platform-Based Leadership Consulting -- 1 Introduction.
2 The Use Case - Development of a Platform-Based Digital Leadership Consulting -- 2.1 State-of-the-Art in Consulting 4.0 -- 2.2 Usage of Digital Platforms in Consulting -- 2.3 Challenges for Consultancies to Digitalize the Consulting Industry -- 2.4 Our Vision for Digital Leadership Consulting: The Leadership Assistant -- 3 The Need for Hybrid Artificial Intelligence -- 4 Conclusion and Outlook -- References -- Developing a Maturity Assessment Tool to Enable the Management of Artificial Intelligence for Organizations -- 1 Introduction -- 2 Research Approach -- 3 Development of the Maturity Assessment Tool -- 3.1 Objectives of the Maturity Assessment Tool -- 3.2 Design of the Horizontal User Interface Prototype -- 3.3 Demonstration and Evaluation of the Horizontal User Interface Prototype -- 3.4 Development of the Vertical Prototype -- 3.5 Demonstration and Evaluation of the Vertical Prototype -- 4 Conclusion -- References -- Mapping Time-Series Data on Process Patterns to Generate Synthetic Data -- 1 Introduction -- 2 Formalization of Control-Flow Patterns for Time-Series Data -- 2.1 Semantics of Activities -- 2.2 Sequence Pattern -- 2.3 Exclusive Choice -- 2.4 Simple Merge -- 2.5 Parallel Split -- 2.6 Synchronization -- 3 Application: Marine Time-Series Data -- 4 Implementation -- 5 Related Work -- 6 Conclusion -- References -- KG4SDSE -- 1st Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE'23) -- Organization -- KG4SDSE Workshop Co-chairs -- KG4SDSE Workshop Program Committee -- Towards Crisis Response and Intervention Using Knowledge Graphs - CRISP Case Study -- 1 Introduction -- 2 CRISP Knowledge Graph -- 3 Crisis Management Model -- 4 Use Cases -- 4.1 Accessibility of Service Centers -- 4.2 Infrastructure Network Impact -- 5 Conclusions and Future Work -- References. The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers -- 1 Introduction -- 2 The RAI Way Method -- 2.1 Example of Use -- 2.2 Concept Reification -- 2.3 Data Weaving -- 3 Related Work -- 4 Summary and Future Work -- References -- Towards Recommendations for Knowledge-Graph-Based Requirements Management in Construction: A Report on the EU DigiChecks Project -- 1 Introduction -- 2 Background and Related Work -- 2.1 Current PRM Methods in the Construction Industry -- 2.2 Usage of Knowledge Graphs in Construction -- 3 The DigiChecks Framework Overview -- 3.1 The DigiChecks Architecture -- 3.2 Requirements for Automation in PRM -- 4 Requirements Management in DigiChecks -- 4.1 Requirements Explicitness and Automation Potential -- 4.2 First Explorations of Solutions -- 5 Conclusion and Future Work -- References -- Semantic Matching Through Knowledge Graphs: A Smart City Case -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Conceptual Modeling and Domain-Specific Modeling Languages -- 2.2 Knowledge Graphs, RDF and Linked Open Data -- 2.3 Related Work -- 3 Semantic Matching Between Domain-Specific Modeling Methods and Linked Open Data -- 3.1 Semantic Matching Model -- 3.2 A Smart City Implementation Scenario -- 4 Conclusion and Evaluation -- 4.1 Summary -- 4.2 SWOT Evaluation -- References -- A Linked Data Based Advanced Credit Rationale -- 1 Introduction -- 2 Approach to Create a Linked Data Based Credit Rationale -- 3 Evaluation Methodology -- 4 Results of the Evaluation -- 5 Conclusion and Future Work -- References -- Interactive Machine Learning of Knowledge Graph-Based Explainable Process Analysis -- 1 Introduction -- 2 Terms, Definitions and Previous Work -- 2.1 Terms and Definitions -- 2.2 Knowledge Graph-Based Explainable Process Analysis -- 3 Interactive Machine Learning for a Knowledge Graph. 3.1 Design -- 3.2 Assigning Weights by Verifying Results -- 3.3 Demonstration and Evaluation by a Case Study -- 4 Résumé and Perspectives -- References -- A Weighted Knowledge Graph for Representing the Results of a Systematic Literature Review -- 1 Introduction -- 2 Literature Review as the Basis of a Knowledge Graph -- 3 The Results of the Literature Review as a Knowledge Graph -- 4 Related Work and Discussion -- 5 Conclusion -- References -- Knowledge Engineering Formalizing DECENT Meta Model -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Research Approach -- 4 DECENT Knowledge Engineering -- 5 Formalization of DECENT -- 6 Evaluation -- 7 Conclusion -- Acknowledgement -- References -- Using Knowledge Graphs for Record Linkage: Challenges and Opportunities -- 1 Introduction -- 2 Background and Related Work -- 3 Using KGs for Solving RL Tasks -- 4 Concluding Remarks -- References -- Employing Knowledge Graphs for Capturing Semantic Aspects of Robotic Process Automation -- 1 Introduction -- 2 Related Work -- 3 Problem Context, Statement and Treatment -- 4 Treatment Design and Implementation -- 5 Demonstration Scenario -- 6 Query-Based Competence Evaluation -- 7 Conclusion -- References -- BC4IS and DGD -- International Workshop on Blockchain and Decentralized Governance Design for Information Systems (BC4IS'23 and DGD'23) -- Organization -- BC4IS Workshop Co-chairs -- BC4IS Workshop Steering Committee -- BC4IS Workshop Program Committee -- DGD Workshop Co-chairs -- DGD Workshop Program Committee -- Regulation-Friendly Privacy-Preserving Blockchain Based on zk-SNARK -- 1 Introduction -- 2 Related Work -- 3 Overview -- 3.1 System Model -- 3.2 Basic Workflow -- 4 Design Details of Transaction Flow -- 4.1 Initialization -- 4.2 Transaction Construction -- 4.3 Transaction Execution -- 4.4 Transaction Audit -- 5 Performance Analysis. 5.1 Results and Discussion -- 5.2 Substrate Framework -- 6 Conclusion -- References -- Blockchain Governance Design a Computer Science Perspective -- 1 Introduction -- 2 Research Approach -- 3 Conceptual Modeling for Blockchain Governance Design -- 3.1 Blockchain Networks in DAO Design Philosophy -- 3.2 Conceptual Modeling Method -- 4 Conclusion -- References -- The MEV Saga: Can Regulation Illuminate the Dark Forest? -- 1 Introduction -- 2 MEV Basics: The Dark Forest and Flash Boys 2.0 -- 3 PBS: How Does It Work and Why is it Important -- 4 Can Regulation Illuminate the Dark Forest? -- 4.1 Front-Running in Traditional Finance vs. DeFi -- 4.2 Regulating Central Points in a Decentralized World -- 5 Conclusion -- References -- Author Index. |
Record Nr. | UNISA-996546841103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marcela Ruiz, Pnina Soffer |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (206 pages) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Information technology - Management Business information services Software engineering Data protection Computer and Information Systems Applications Computer Application in Administrative Data Processing IT in Business Software Engineering Data and Information Security |
ISBN | 3-031-34985-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- HybridAIMS -- 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS'23) -- Organization -- HybridAIMS23 Workshop Co-chairs -- HybridAIMS23 Workshop Program Committee -- A Morphological Box for AI Solutions: Evaluation, Refinement and Application Potentials -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Morphological Box for AI Solutions -- 2.2 AI Solution Development -- 3 Research Approach -- 4 Interview Planning and Conduction -- 5 Interview Findings -- 6 Analysis and Discussion -- 7 Application Potentials and Future Work -- References -- Enriching Enterprise Architecture Models with Healthcare Domain Knowledge -- 1 Introduction -- 2 Literature Review -- 2.1 Enterprise Modeling -- 2.2 Enterprise Modeling in Healthcare -- 2.3 Semantic Lifting of Enterprise Models -- 2.4 Medical Ontologies and Their Usage in Information Systems -- 2.5 Research Problem: Semantic Lifting of Enterprise Architecture Models in Healthcare -- 3 Research Method -- 4 Ontology-Based Enterprise Architecture Model Development -- 4.1 Domain Knowledge in Enterprise Architecture Model -- 4.2 Representation of Domain Knowledge as an Ontology -- 5 Ontology-Based Enterprise Architecture Model Implementation -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Supporting Reuse of Business Process Models by Semantic Annotation -- 1 Introduction -- 2 Literature Review -- 3 Research Method and Objective -- 4 Ontology Development for Model Reuse -- 5 Semantic Annotation Approach -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Position Paper - Hybrid Artificial Intelligence for Realizing a Leadership Assistant for Platform-Based Leadership Consulting -- 1 Introduction.
2 The Use Case - Development of a Platform-Based Digital Leadership Consulting -- 2.1 State-of-the-Art in Consulting 4.0 -- 2.2 Usage of Digital Platforms in Consulting -- 2.3 Challenges for Consultancies to Digitalize the Consulting Industry -- 2.4 Our Vision for Digital Leadership Consulting: The Leadership Assistant -- 3 The Need for Hybrid Artificial Intelligence -- 4 Conclusion and Outlook -- References -- Developing a Maturity Assessment Tool to Enable the Management of Artificial Intelligence for Organizations -- 1 Introduction -- 2 Research Approach -- 3 Development of the Maturity Assessment Tool -- 3.1 Objectives of the Maturity Assessment Tool -- 3.2 Design of the Horizontal User Interface Prototype -- 3.3 Demonstration and Evaluation of the Horizontal User Interface Prototype -- 3.4 Development of the Vertical Prototype -- 3.5 Demonstration and Evaluation of the Vertical Prototype -- 4 Conclusion -- References -- Mapping Time-Series Data on Process Patterns to Generate Synthetic Data -- 1 Introduction -- 2 Formalization of Control-Flow Patterns for Time-Series Data -- 2.1 Semantics of Activities -- 2.2 Sequence Pattern -- 2.3 Exclusive Choice -- 2.4 Simple Merge -- 2.5 Parallel Split -- 2.6 Synchronization -- 3 Application: Marine Time-Series Data -- 4 Implementation -- 5 Related Work -- 6 Conclusion -- References -- KG4SDSE -- 1st Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE'23) -- Organization -- KG4SDSE Workshop Co-chairs -- KG4SDSE Workshop Program Committee -- Towards Crisis Response and Intervention Using Knowledge Graphs - CRISP Case Study -- 1 Introduction -- 2 CRISP Knowledge Graph -- 3 Crisis Management Model -- 4 Use Cases -- 4.1 Accessibility of Service Centers -- 4.2 Infrastructure Network Impact -- 5 Conclusions and Future Work -- References. The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers -- 1 Introduction -- 2 The RAI Way Method -- 2.1 Example of Use -- 2.2 Concept Reification -- 2.3 Data Weaving -- 3 Related Work -- 4 Summary and Future Work -- References -- Towards Recommendations for Knowledge-Graph-Based Requirements Management in Construction: A Report on the EU DigiChecks Project -- 1 Introduction -- 2 Background and Related Work -- 2.1 Current PRM Methods in the Construction Industry -- 2.2 Usage of Knowledge Graphs in Construction -- 3 The DigiChecks Framework Overview -- 3.1 The DigiChecks Architecture -- 3.2 Requirements for Automation in PRM -- 4 Requirements Management in DigiChecks -- 4.1 Requirements Explicitness and Automation Potential -- 4.2 First Explorations of Solutions -- 5 Conclusion and Future Work -- References -- Semantic Matching Through Knowledge Graphs: A Smart City Case -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Conceptual Modeling and Domain-Specific Modeling Languages -- 2.2 Knowledge Graphs, RDF and Linked Open Data -- 2.3 Related Work -- 3 Semantic Matching Between Domain-Specific Modeling Methods and Linked Open Data -- 3.1 Semantic Matching Model -- 3.2 A Smart City Implementation Scenario -- 4 Conclusion and Evaluation -- 4.1 Summary -- 4.2 SWOT Evaluation -- References -- A Linked Data Based Advanced Credit Rationale -- 1 Introduction -- 2 Approach to Create a Linked Data Based Credit Rationale -- 3 Evaluation Methodology -- 4 Results of the Evaluation -- 5 Conclusion and Future Work -- References -- Interactive Machine Learning of Knowledge Graph-Based Explainable Process Analysis -- 1 Introduction -- 2 Terms, Definitions and Previous Work -- 2.1 Terms and Definitions -- 2.2 Knowledge Graph-Based Explainable Process Analysis -- 3 Interactive Machine Learning for a Knowledge Graph. 3.1 Design -- 3.2 Assigning Weights by Verifying Results -- 3.3 Demonstration and Evaluation by a Case Study -- 4 Résumé and Perspectives -- References -- A Weighted Knowledge Graph for Representing the Results of a Systematic Literature Review -- 1 Introduction -- 2 Literature Review as the Basis of a Knowledge Graph -- 3 The Results of the Literature Review as a Knowledge Graph -- 4 Related Work and Discussion -- 5 Conclusion -- References -- Knowledge Engineering Formalizing DECENT Meta Model -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Research Approach -- 4 DECENT Knowledge Engineering -- 5 Formalization of DECENT -- 6 Evaluation -- 7 Conclusion -- Acknowledgement -- References -- Using Knowledge Graphs for Record Linkage: Challenges and Opportunities -- 1 Introduction -- 2 Background and Related Work -- 3 Using KGs for Solving RL Tasks -- 4 Concluding Remarks -- References -- Employing Knowledge Graphs for Capturing Semantic Aspects of Robotic Process Automation -- 1 Introduction -- 2 Related Work -- 3 Problem Context, Statement and Treatment -- 4 Treatment Design and Implementation -- 5 Demonstration Scenario -- 6 Query-Based Competence Evaluation -- 7 Conclusion -- References -- BC4IS and DGD -- International Workshop on Blockchain and Decentralized Governance Design for Information Systems (BC4IS'23 and DGD'23) -- Organization -- BC4IS Workshop Co-chairs -- BC4IS Workshop Steering Committee -- BC4IS Workshop Program Committee -- DGD Workshop Co-chairs -- DGD Workshop Program Committee -- Regulation-Friendly Privacy-Preserving Blockchain Based on zk-SNARK -- 1 Introduction -- 2 Related Work -- 3 Overview -- 3.1 System Model -- 3.2 Basic Workflow -- 4 Design Details of Transaction Flow -- 4.1 Initialization -- 4.2 Transaction Construction -- 4.3 Transaction Execution -- 4.4 Transaction Audit -- 5 Performance Analysis. 5.1 Results and Discussion -- 5.2 Substrate Framework -- 6 Conclusion -- References -- Blockchain Governance Design a Computer Science Perspective -- 1 Introduction -- 2 Research Approach -- 3 Conceptual Modeling for Blockchain Governance Design -- 3.1 Blockchain Networks in DAO Design Philosophy -- 3.2 Conceptual Modeling Method -- 4 Conclusion -- References -- The MEV Saga: Can Regulation Illuminate the Dark Forest? -- 1 Introduction -- 2 MEV Basics: The Dark Forest and Flash Boys 2.0 -- 3 PBS: How Does It Work and Why is it Important -- 4 Can Regulation Illuminate the Dark Forest? -- 4.1 Front-Running in Traditional Finance vs. DeFi -- 4.2 Regulating Central Points in a Decentralized World -- 5 Conclusion -- References -- Author Index. |
Record Nr. | UNINA-9910731476103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2022 International Workshops, Leuven, Belgium, June 6–10, 2022, Proceedings / / edited by Jennifer Horkoff, Estefania Serral, Jelena Zdravkovic |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (143 pages) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Information technology - Management
Business information services Software engineering Data protection Computer Application in Administrative Data Processing IT in Business Software Engineering Data and Information Security |
ISBN | 3-031-07478-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | BC4IS 2022 -- Improving the Effciency of a Blockchain-basedConfidential Registered e-Delivery Protocol -- Multi-authority decentralized attribute-based authorization framework -- ISESL 2022 -- Smart City Software: A Review of Development Methodologies and Modelling Languages -- Domain Ontology Construction with Activity Logs and Sensors Data – Case Study of Smart Home Activities -- Empirical Analysis of Technology Acceptance of Private Electric Vehicle Charging Infrastructure in Germany -- A sustainability matrix for smartphone application -- Representing Habits as Streams of Situational Contexts -- Robots and Choreography: a contribution to artificial sentience -- KET4DF 2022 -- Digital Twins for enhanced Resilience: Aerospace Manufacturing Scenario -- Supporting Zero Defect Manufacturing through Cloud Computing and Data Analytics: the Case Study of Electrospindle 4.0 -- Digital Twins Approach for Sustainable Industry. |
Record Nr. | UNINA-9910574070703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings / / edited by Henderik A. Proper, Janis Stirna |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VIII, 228 p. 67 illus., 45 illus. in color.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Business information services Software engineering Information technology - Management Computer and Information Systems Applications Business Information Systems Software Engineering Enterprise Architecture Computer Application in Administrative Data Processing |
ISBN | 3-030-20948-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | COGNISE 2019 -- The Impact of Confusion on Syntax Errors in Simple Sequence Flow Models in BPMN -- A Case Study of Executive Functions in Real Process Modeling Session -- The Subjective Cost of Writing Reusable Code: The Case of Functions -- Climb Your Way to the Model: Teaching UML to Software Engineering Students -- KET4DF 2019 -- A New Method for Manufacturing Process Autonomous Planning in Intelligent Manufacturing System -- Design of Meshing Assembly Algorithms for Industrial Gears Based on Image Recognition -- Detecting Anomalous Behavior Towards Predictive Maintenance -- Data Analytics towards Predictive Maintenance for Industrial Ovens: A Case Study Based on Data Analysis of Various Sensors Data -- A RAMI 4.0 View of Predictive Maintenance: Software Architecture, Platform and Case Study in Steel Industry -- Different Perspectives of a Factory of the Future: An Overview -- Predictive Maintenance in a Digital Factory Shop-floor: Data Mining on Historical and Operational Data coming from Manufacturers’ Information Systems -- Information Extraction for Additive Manufacturing using News Data -- A Fog Computing Approach for Predictive Maintenance -- BIOC & FAiSE 2019 -- Blockchain Usage for Government-issued Electronic IDs: a Survey -- Smart Contracts and Void Declarations of Intent -- Blockchain-based Application Security Risks: A Systematic Literature Review -- Data Management: Relational vs. Blockchain Databases -- A Generic Framework for Flexible and Data-Aware Business Process Engines -- Building Information Systems using Collaborative-filtering Recommendation Techniques. . |
Record Nr. | UNINA-9910337838903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings / / edited by Raimundas Matulevičius, Remco Dijkman |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 279 p. 98 illus.) |
Disciplina | 658.4038 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Business information services Software engineering Information technology - Management Computer and Information Systems Applications Business Information Systems Software Engineering Enterprise Architecture Computer Application in Administrative Data Processing |
ISBN | 3-319-92898-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ASDENCA – Advances in Services DEsign based on the Notion of Capability -- Validation of Capability Modeling Concepts: A Dialogical Approach -- Towards Improving Adaptability of Capability Driven Development Methodology in Complex Environment -- Using Open Data to Support Organizational Capabilities in Dynamic Business Contexts -- Capability Management in the Cloud: Model and Environment -- BDA – Business Data Analytics: Techniques and Applications. -Using BPM Frameworks for Identifying Customer Feedback about Process Performance -- Increasing Trust in (Big) Data Analytics -- Building Payment Classification Models From Rules and Crowdsourced Labels: A Case Study -- BIOC – Blockchains for Inter-Organizational Collaboration -- Towards a Design Space for Blockchain-based System Reengineering -- Ensuring Resource Trust and Integrity in Web Browsers using Blockchain Technology -- Combining Artifact-driven Monitoring with Blockchain: Analysis and Solutions -- Towards Collaborative and Reproducible Scientific Experiments on Blockchain -- Document Management System based on a Private Blockchain for the Support of the Judicial Embargoes Process in Colombia -- COGNISE – Cognitive Aspects of Information Systems Engineering -- The Origin and Evolution of Syntax Errors in Simple Sequence Flow Models in BPMN -- Mining Developers’ Workflows from IDE Usage -- Designing for Information Quality in the Era of Repurposable Crowdsourced User-Generated Content -- Test First, Code Later: Educating for Test Driven Development -- Workshop on Enterprise Modeling -- An Application Design for Reference Enterprise Architecture Models -- The “What” Facet of the Zachman Framework - a Linked Data-driven Interpretation -- Towards an Agile and Ontology-aided Modeling Environment for DSML Adaptation -- Towards a Risk-aware Business Process Modelling Tool Using the ADOxx Platform -- FAiSE – Flexible Advanced Information Systems -- A Reference Framework for Advanced Flexible Information Systems -- Integrating IoT Devices into Business Processes. |
Record Nr. | UNINA-9910444451303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings / / edited by Andreas Metzger, Anne Persson |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVI, 123 p. 31 illus.) |
Disciplina | 658.4038 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Business information services Software engineering Information technology - Management Education - Data processing Computer and Information Systems Applications Business Information Systems Software Engineering Enterprise Architecture Computer Application in Administrative Data Processing Computers and Education |
ISBN | 3-319-60048-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910254812503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings / / edited by John Krogstie, Haralambos Mouratidis, Jianwen Su |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXXIII, 276 p. 75 illus.) |
Disciplina | 005.365 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Business information services
Application software Software engineering Data protection Information technology - Management Business Information Systems Computer and Information Systems Applications Software Engineering Enterprise Architecture Data and Information Security Computer Application in Administrative Data Processing |
ISBN | 3-319-39564-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Third International Workshop on Advances in Services Design Based on the Notion of Capability - ASDENCA 2016 Preface -- ASDENCA 2016 Organization -- First International Workshop on Business Model Dynamics and Information Systems Engineering (BumDISE 2016) Preface -- Fourth International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE 2016) Preface -- First International Workshop on Energy-Awareness and Big Data Management in Information Systems - EnBIS 2016 Preface -- Second International Workshop on Enterprise Modeling (EM 2016) Preface -- The Sixth International Workshop on Information Systems Security Engineering (WISSE 2016) Preface -- Contents -- ASDENCA/BUMDISE 2016 - Capability-Based Development Methods -- Selection and Evolutionary Development of Software-Service Bundles: A Capability Based Method -- Abstract -- 1 Introduction -- 2 Method Overview -- 2.1 Problem Statement -- 2.2 Evolutionary Development Process -- 2.3 Capability Modeling -- 3 Evolutionary Development Stages -- 3.1 Design Stage -- 3.2 Delivery Stage -- 3.3 Evolution -- 4 Application Example -- 4.1 Description -- 4.2 Model -- 4.3 Results -- 5 Related Work -- 6 Summary and Future Work -- References -- LightCDD: A Lightweight Capability-Driven Development Method for Start-Ups -- Abstract -- 1 Introduction -- 2 Problem Investigation -- 3 First Experiences on Applying CDD for Enterprise Development -- 3.1 Capability as a Service in a Nutshell -- 3.2 Two Practical Start-up Cases -- 3.3 Applying the CDD in Full -- 3.4 Lessons Learnt, Experiences -- 4 Light CDD for Enterprise Modelling of Start-Ups -- 5 Conclusions and Discussion -- References -- ASDENCA/BUMDISE 2016 - Integration of Capability with Goals and Context -- Comparison of Tool Support for Goal Modelling in Capability Management -- Abstract -- 1 Introduction -- 2 Background.
2.1 Capability Management -- 2.2 Capability Modelling in CaaS -- 2.3 4EM Enterprise Modelling Method -- 3 Experiment Design and Results -- 3.1 Experiment Design -- 3.2 Experiment Results -- 4 Summary and Future Work -- References -- Extending Capabilities with Context Awareness -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Capability and Context Analysis -- 4 Selecting Design Time Integration -- 4.1 Design Time Options in the Symbiosis Case -- 5 Selecting Run-Time Integration -- 5.1 Monitoring Tool Extension -- 5.2 Adjustment Tool Extension -- 5.3 Run Time Options in the Symbiosis Case -- 6 Summarize Tool Support Needed -- 7 Conclusions -- Acknowledgments -- References -- Design of Capability Delivery Adjustments -- Abstract -- 1 Introduction -- 2 Capability Adjustment -- 2.1 Background -- 2.2 Types of Adjustments -- 3 Elaboration of Adjustments -- 4 Example -- 5 Related Work -- 6 Conclusion -- References -- ASDENCA/BUMDISE 2016 - Business Modeling -- The Fast Fashion Business Model -- Abstract -- 1 The Apparel Industry -- 2 Research Design and Setting -- 3 The Creative Machine -- 4 The Shop Connection -- 5 The Relay -- 6 The Fast Fashion Business Model -- 7 Conclusion -- References -- Cycles of Organizational Renewal: The Interplay of Strategy and Innovation at Bang & Olufsen -- Abstract -- 1 Introduction -- 2 Methods -- 3 Preliminary Findings -- 4 Conclusion -- References -- Information Systems for Innovation: A Comparative Analysis of Maturity Models' Characteristics -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Innovation Maturity Models in Research and Practice -- 4 Models' Structures and Validation -- 5 Discussion of the Results -- 6 Conclusion and Future Work -- References -- COGNISE 2016 -- Learning from Errors as a Pedagogic Approach for Reaching a Higher Conceptual Level in Database Modeling -- Abstract -- 1 Introduction. 2 Teaching Database Modelling as a Challenge to IS Educators -- 3 Learning from Errors in Educating Database Modeling -- 4 Rasmussen's Three Level Model of Human Performance -- 4.1 Skill-Based Behavior -- 4.2 Rule-Based Behavior -- 4.3 Knowledge-Based Behavior -- 5 Errors as means for Shifting Between Levels of Abstraction -- 6 Conclusions: Future Directions and Instructional Implications -- References -- `Mathematical' Does Not Mean `Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts -- 1 Introduction -- 2 Previous Works -- 3 The Gen2sat Assignment -- 3.1 Gen2sat -- 3.2 The Assignment -- 3.3 Results and Feedback -- 4 Summary and Future Research -- References -- User Involvement in Applications of the PoN -- 1 Introduction -- 2 Reviewing Applications of the PoN -- 2.1 Literature Review Protocol -- 2.2 Relevant Findings -- 3 Potential Reasons for the Lack of User Involvement -- 3.1 Notation Designers Considered as the Prototypical User -- 3.2 Users are Involved, but Afterwards -- 3.3 Requirements are Derived from Theory -- 3.4 Existing Theory is Assumed to Cover Requirements -- 3.5 Cognitive Effectiveness is an Afterthought -- 4 A Benefit of Involving Users in Notations Design -- 5 Concluding Outlook -- References -- A Visual Logical Language for System Modelling in Combinatorial Test Design -- 1 Introduction -- 2 Logical Restrictions in CTD Models -- 3 A New Visual Logical Language -- 4 Summary and Future Research -- References -- Peel the Onion: Use of Collaborative and Gamified Tools to Enhance Software Engineering Education -- Abstract -- 1 Introduction -- 2 Scientific Background -- 2.1 Collaborative Tools in Education -- 2.2 Gamification in IS and SE Education -- 3 Collaborative and Gamified Teaching Method -- 3.1 The Method -- 3.2 Analyzing the Teaching Model from a Motivational Perspective. 4 Students' Responses to the Teaching Method -- 5 Expected Contribution and Further Evaluation -- References -- ENBIS 2016 -- Energy Enhancement of Multi-application Monitoring Systems for Smart Buildings -- 1 Introduction -- 2 Related Works -- 3 Overview of Multi-application Monitoring System -- 4 Optimization of Application Requirements -- 4.1 Formalization of Application Requirements and Sensor Configuration -- 4.2 Algorithm -- 5 Experimental Platform -- 5.1 Continuous Query Engine: SoCQ Engine -- 5.2 WSN Simulator: Modified WSNet -- 5.3 Gateway: 3SoSM Gateway -- 6 Experiments -- 6.1 Experiment Setup -- 6.2 Experimental Scenario -- 7 Conclusion -- References -- Micro-accounting for Optimizing and Saving Energy in Smart Buildings -- 1 Introduction -- 2 The OPlatform -- 3 Energy Savings in Offices -- 4 Smart Energy Switch -- 5 Conclusions and Future Works -- References -- Modeling CO2 Emissions to Reduce the Environmental Impact of Cloud Applications -- 1 Introduction -- 2 Related Work -- 3 Energy Mix Analysis -- 3.1 Analysis of the Problem -- 3.2 Conceptualization -- 3.3 Calibration -- 3.4 Validation -- 4 CO2-Driven Site Selection -- 5 Concluding Remarks -- References -- EM 2016 -- Modeling and Enacting Enterprise Decisions -- 1 Introduction and Related Work -- 2 Background -- 2.1 Decision Model and Notation (DMN) -- 2.2 Formalization -- 3 The Role of Decision Models -- 3.1 A Decision Model Corresponding to a Single Decision Activity in a Process Model -- 3.2 A Decision Model Spanning over Multiple Decision Activities in an Existing Process Model -- 3.3 A Decision Model that can Be Translated to a Straightforward Process for Execution -- 3.4 Executing a Decision Model Beyond One Fixed Decision: Flexibility -- 4 Three Scenarios for the Execution of Decision Models -- 4.1 Standard Forward Decision Execution -- 4.2 Optimized Forward Decision Execution. 4.3 Flexible Decision Execution Scenarios -- 5 Conclusions and Future Work -- References -- A Modelling Environment for Business Process as a Service -- Abstract -- 1 Introduction -- 2 Literature Review -- 3 Overview of the BPaaS Design Environment -- 4 Methodology -- 5 BPaaS Modelling Method -- 6 BPaaS Ontology -- 7 Alignment Support -- 8 Semantic Lifting -- 9 Conclusion -- Acknowledgement -- Reference -- Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario -- 1 Introduction -- 2 Working Scenario -- 3 Process Mining Techniques -- 4 Process Mining into Practice -- 4.1 Evaluation Criteria -- 4.2 Preliminary Results -- 4.3 Discussion and Comparison -- 5 Conclusion and Future Work -- References -- WISSE 2016 -- Software Vulnerability Life Cycles and the Age of Software Products: An Empirical Assertion with Operating System Products -- 1 Introduction -- 2 The Assertion -- 3 Evaluation -- 3.1 Data -- 3.2 Control Variables -- 3.3 Methods -- 3.4 Sampling -- 3.5 Results -- 4 Discussion -- References -- APPARATUS: Reasoning About Security Requirements in the Internet of Things -- 1 Introduction -- 2 Related Work -- 3 Presentation of APPARATUS Reasoning -- 4 Example of Security Reasoning -- 5 Conclusion -- References -- Associating the Severity of Vulnerabilities with their Description -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Database, Characteristics and Scoring Systems -- 4 Correlation Analysis -- 5 Conclusion -- References -- Discovering Potential Interaction Violations among Requirements -- 1 Introduction -- 2 Background and Related Work -- 3 Discovering Undocumented Scenarios -- 3.1 Modeling a Domain -- 3.2 Analysing the Model -- 3.3 The Loophole Algorithm -- 4 Conclusion and Future Work -- References -- Extending HARM to make Test Cases for Penetration Testing -- Abstract. 1 Introduction. |
Record Nr. | UNINA-9910254945503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings / / edited by Anne Persson, Janis Stirna |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXVII, 532 p. 128 illus.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Information technology - Management Software engineering Business information services Data protection Computer and Information Systems Applications Business Process Management Software Engineering Enterprise Architecture Data and Information Security Computer Application in Administrative Data Processing |
ISBN | 3-319-19243-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ASDENCA 2015 -- Investigating the Potential of Capability-Driven Design and Delivery in an SME Case Study -- Advanced Context Processing for Business Process Execution Adjustment -- Strategies for Capability Modelling: Analysis Based on Initial Experiences -- Analyzing IT Flexibility to Enable Dynamic Capabilities -- COGNISE 2015 -- Towards Guiding Process Modelers Depending upon Their Expertise Levels -- How Does It Look? Exploring Meaningful Layout Features of Process Models -- Advanced Dynamic Role Resolution in Business Processes -- A Position Paper Proposing Behavioral Solutions to Challenges in Software Development Projects -- To Document or Not to Document? An Exploratory Study on Developers’ Motivation to Document Code -- When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management -- An Argument for More User-Centric Analysis of Modeling Languages’ Visual Notation Quality -- DiFenSE 2015 -- Some Heuristics for Digital Business Model Configuration -- Inherent Cognitive Dependencies in the Transformation of Business Models from Non-digital to Digital -- Capability-as-a-Service: Investigating the Innovation Potential from a Business Model Perspective -- Supporting Service Innovation Through a Value Development Framework -- Designing Software Ecosystems: How to Develop Sustainable Collaborations?: Scenarios from Apple iOS and Google Android -- Fitness of Business Models for Digital Collaborative Platforms in Clusters: A Case Study -- Accelerating Web-Entrepreneurship in Local Incubation Environments -- Challenges Laying Ahead for Future Digital Enterprises: A Research Perspective -- EM 2015 -- Ontology-Driven Enterprise Modelling in Practice: Experiences from Industrial Cases -- Extending Enterprise Architectures to Capture Consumer Values: The Case of TOGAF -- The Devil in the Details: Fine-Grained Enterprise Model Weaving -- Extending Feature Models to Express Variability in Business Process Models -- Enterprise Architecture for Business Network Planning: A Capability-Based Approach -- Towards Flexible and Efficient Process and Workflow Support in Enterprise Modeling -- RW-BPMS 2015 -- The Things of the Internet of Things in BPMN -- Applying Process Mining to Smart Spaces: Perspectives and Research Challenges -- Factors Affecting Ocean-Going Cargo Ship Speed and Arrival Time -- Monitoring Batch Regions in Business Processes -- TEAR 2015 -- Revealing Hidden Structures in Organizational Transformation – A Case Study -- Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration -- Modeling Decisions for Collaborative Enterprise Architecture Engineering -- Towards an Enterprise Architecture Benefits Measurement Instrument -- Modelling Value with ArchiMate -- Implementing Architectural Thinking: A Case Study at Commerzbank AG -- Data Governance on EA Information Assets: Logical Reasoning for Derived Data -- Success Factors for Federated Enterprise Architecture Model Management -- Aligning Enterprise Architecture with Strategic Planning -- Enterprise Architecture in the Age of Digital Transformation -- WISSE 2015 -- Optimizing Information Systems Security Design Based on Existing Security Knowledge -- Towards the ENTRI Framework: Security Risk Management Enhanced by the Use of Enterprise Architectures -- Towards the Development of a Cloud Forensics Methodology: A Conceptual Model -- Knowledge-Based Model to Represent Security Information and Reason About Multi-stage Attacks -- Towards the Integration of Security Transparency in the Modelling and Design of Cloud Based Systems -- A Framework for Secure Migration Processes of Legacy Systems to the Cloud -- An Experience Report on Scalable Implementation of DDoS Attack Detection. |
Record Nr. | UNINA-9910299234603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014, Proceedings / / edited by Lazaros Iliadis, Michael Papazoglou, Klaus Pohl |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXVIII, 350 p. 81 illus.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Software engineering Business information services Information technology - Management Data protection Computer and Information Systems Applications Software Engineering IT in Business Computer Application in Administrative Data Processing Data and Information Security |
ISBN | 3-319-07869-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analysis and Prediction of Design Model Evolution Using Time Series -- An Evolutionary Improvement of the Mahalanobis – Taguchi Strategy and Its Application to Intrusion Detection -- Zero-Knowledge Private Computation of Node Bridgeness in Social Networks -- Valuation and Selection of OSS with Real Options -- State of the Art in Context Modelling – A Systematic Literature Review -- On the Applicability of Concepts from Variability Modelling in Capability Modelling: Experiences from a Case in Business Process Outsourcing -- Capability Sourcing Modeling: A High-Level Conceptualization Based on Service-Dominant Logic -- Capability-Based Business Model Transformation -- Capability-Driven Development of a SOA Platform: A Case Study -- Modeling Enterprise Capabilities with i*: Reasoning on Alternatives -- Service Functioning Mode in Variability Model -- Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering Method -- An Outlook on Patterns as an Aid for Business and IT Alignment with Capabilities -- Low–Cost Eye–Trackers: Useful for Information Systems Research? -- Supporting BPMN Model Creation with Routing Patterns -- Coupling Elements of a Framework for Cognitive Matchmaking with Enterprise Models -- Investigating Differences between Graphical and Textual Declarative Process Models -- Reducing Technical Debt: Using Persuasive Technology for Encouraging Software Developers to Document Code (Position Paper) -- Conceptual Understanding of Conceptual Modeling Concepts: A Longitudinal Study among Students Learning to Model -- What Do Software Architects Think They (Should) Do? -- Towards Semantic Collective Awareness Platforms for Business Innovation -- Leveraging User Inspiration with Microblogging-Driven Exploratory Search -- System Architecture of the BIVEE Platform for Innovation and Production Improvement -- Cooperative Decision Making in Virtual Enterprises -- A Methodology for the Set-Up of a Virtual Innovation Factory Platform -- Data Mart Reconciliation in Virtual Innovation Factories -- Requirements Refinement and Exploration of Architecture for Security and Other NFRs -- Cloud Forensics Solutions: A Review -- Resolving Policy Conflicts - Integrating Policies from Multiple Authors -- Evolving Computational Intelligence System for Malware Detection -- Lightweight Formal Verification in Real World, A Case Study -- Security Requirements Analysis Using Knowledge in CAPEC. |
Record Nr. | UNINA-9910298996103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013, Proceedings / / edited by Xavier Franch, Pnina Soffer |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XLIV, 532 p. 167 illus.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Software engineering Business information services Information technology - Management Artificial intelligence Computer and Information Systems Applications Software Engineering IT in Business Computer Application in Administrative Data Processing Artificial Intelligence |
ISBN | 3-642-38490-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Approaches for Enterprise Engineering Research (AppEER 2013) -- International Workshop on BUSiness/IT Alignment and Interoperability (BUSITAL 2013) -- International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE 2013) -- Workshop on Human-Centric Information Systems (HC-IS 2013) -- Next Generation Enterprise and Business Innovation Systems (NGEBIS 2013) -- International Workshop on Ontologies and Conceptual Modeling (OntoCom 2013) -- International Workshop on Variability Support in Information Systems (VarIS 2013) -- International Workshop on Information Systems Security Engineering (WISSE 2013). |
Record Nr. | UNINA-9910437594403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|