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.
Advanced Information Systems Engineering [[electronic resource] ] : 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings / / edited by Paolo Giorgini, Barbara Weber
| Advanced Information Systems Engineering [[electronic resource] ] : 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings / / edited by Paolo Giorgini, Barbara Weber |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXIII, 702 p. 656 illus., 144 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Software engineering Mathematical logic E-commerce Computer security Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages e-Commerce/e-business Systems and Data Security |
| ISBN | 3-030-21290-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Direct and reverse rewriting in data interoperability -- Information System Engineering -- Efficient Engineering Data Exchange in Multi-Disciplinary Systems Engineering Enterprises -- Bing-CF-IDF+: A Semantics-Driven News Recommender System -- Methodological Framework to Guide the Development of Continual Evolution Methods -- Inter-organizational integration in the AEC/FM industry: Exploring the "addressed" and "unaddressed" information exchange needs between stakeholders -- A Lightweight Framework for Multi-Device Integration and Multi-Sensor Fusion to Explore Driver Distraction -- Exhaustive Simulation and Test Generation Using fUML Activity Diagrams -- A Block-Free Distributed Ledger for P2P Energy Trading: Case with IOTA -- Profile Reconciliation through Dynamic Activities across Social Networks -- Requirements and Modeling -- Towards an Ontology-based Approach for Eliciting Possible Solutions to Non-Functional Requirements -- Using a Modelling Language to Describe the Quality of Life Goals of People Living with Dementia -- Multi-Platform Chatbot Modeling and Deployment with the Jarvis Framework -- Information Systems Modeling: Language, Verification, and Tool Support -- Expert2Vec: Experts Representation in Community Question Answering for Question Routing -- A Pattern Language for Value Modeling in ArchiMate -- Paving Ontological Foundation for Social Engineering Analysis -- Improving Traceability Links Recovery in Process Models through an Ontological Expansion of Requirements -- Requirements Engineering for Cyber Physical Production Systems -- Data modeling and Analysis -- A Fourth Normal Form for Uncertain Data -- Revealing the Conceptual Schemas of RDF Datasets -- Modeling and In-Database Management of Relational, Data-Aware Processes -- D2IA: Stream Analytics on User-Defined Event Intervals -- Business Process Modeling and Engineering -- Extracting Declarative Process Models from Natural Language -- From Process Models to Chatbots -- Dynamic Role Binding in Blockchain-Based Collaborative Business Processes -- 3D virtual world BPM training systems: process gateway experimental results -- Deriving and Combining Mixed Graphs from Regulatory Documents Based on Constraint Relations -- A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle -- Generation and Transformation of Compliant Process Collaboration Models to BPMN -- GameOfFlows: Process Instance Adaptation in Complex, Dynamic and Potentially Adversarial Domains -- Information System Security -- Security Vulnerability Information Service with Natural Language Query Support -- Automated Interpretation and Integration of Security Tools Using Semantic Knowledge -- An Assessment Model for Continuous Security Compliance in Large Scale Agile Environments -- Learning and Mining in Information Systems -- Proactive Process Adaptation using Deep Learning Ensembles -- Using Machine Learning Techniques for Evaluating the Similarity of Enterprise Architecture Models -- Efficient Discovery of Compact Maximal Behavioral Patterns from Event Logs -- Discovering Responsibilities with Dynamic Condition Response Graphs -- Fifty Shades of Green: How Informative is a Compliant Process Trace -- Solution Patterns for Machine Learning -- Managing and Simplifying Cognitive Business Operations using Process Architecture Models -- A Constraint Mining Approach to Support Monitoring Cyber-Physical Systems -- Behavior-Derived Variability Analysis: Mining Views for Comparison and Evaluation. |
| Record Nr. | UNINA-9910337857303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering [[electronic resource] ] : 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings / / edited by Paolo Giorgini, Barbara Weber
| Advanced Information Systems Engineering [[electronic resource] ] : 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings / / edited by Paolo Giorgini, Barbara Weber |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXIII, 702 p. 656 illus., 144 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Software engineering Mathematical logic E-commerce Computer security Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages e-Commerce/e-business Systems and Data Security |
| ISBN | 3-030-21290-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Direct and reverse rewriting in data interoperability -- Information System Engineering -- Efficient Engineering Data Exchange in Multi-Disciplinary Systems Engineering Enterprises -- Bing-CF-IDF+: A Semantics-Driven News Recommender System -- Methodological Framework to Guide the Development of Continual Evolution Methods -- Inter-organizational integration in the AEC/FM industry: Exploring the "addressed" and "unaddressed" information exchange needs between stakeholders -- A Lightweight Framework for Multi-Device Integration and Multi-Sensor Fusion to Explore Driver Distraction -- Exhaustive Simulation and Test Generation Using fUML Activity Diagrams -- A Block-Free Distributed Ledger for P2P Energy Trading: Case with IOTA -- Profile Reconciliation through Dynamic Activities across Social Networks -- Requirements and Modeling -- Towards an Ontology-based Approach for Eliciting Possible Solutions to Non-Functional Requirements -- Using a Modelling Language to Describe the Quality of Life Goals of People Living with Dementia -- Multi-Platform Chatbot Modeling and Deployment with the Jarvis Framework -- Information Systems Modeling: Language, Verification, and Tool Support -- Expert2Vec: Experts Representation in Community Question Answering for Question Routing -- A Pattern Language for Value Modeling in ArchiMate -- Paving Ontological Foundation for Social Engineering Analysis -- Improving Traceability Links Recovery in Process Models through an Ontological Expansion of Requirements -- Requirements Engineering for Cyber Physical Production Systems -- Data modeling and Analysis -- A Fourth Normal Form for Uncertain Data -- Revealing the Conceptual Schemas of RDF Datasets -- Modeling and In-Database Management of Relational, Data-Aware Processes -- D2IA: Stream Analytics on User-Defined Event Intervals -- Business Process Modeling and Engineering -- Extracting Declarative Process Models from Natural Language -- From Process Models to Chatbots -- Dynamic Role Binding in Blockchain-Based Collaborative Business Processes -- 3D virtual world BPM training systems: process gateway experimental results -- Deriving and Combining Mixed Graphs from Regulatory Documents Based on Constraint Relations -- A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle -- Generation and Transformation of Compliant Process Collaboration Models to BPMN -- GameOfFlows: Process Instance Adaptation in Complex, Dynamic and Potentially Adversarial Domains -- Information System Security -- Security Vulnerability Information Service with Natural Language Query Support -- Automated Interpretation and Integration of Security Tools Using Semantic Knowledge -- An Assessment Model for Continuous Security Compliance in Large Scale Agile Environments -- Learning and Mining in Information Systems -- Proactive Process Adaptation using Deep Learning Ensembles -- Using Machine Learning Techniques for Evaluating the Similarity of Enterprise Architecture Models -- Efficient Discovery of Compact Maximal Behavioral Patterns from Event Logs -- Discovering Responsibilities with Dynamic Condition Response Graphs -- Fifty Shades of Green: How Informative is a Compliant Process Trace -- Solution Patterns for Machine Learning -- Managing and Simplifying Cognitive Business Operations using Process Architecture Models -- A Constraint Mining Approach to Support Monitoring Cyber-Physical Systems -- Behavior-Derived Variability Analysis: Mining Views for Comparison and Evaluation. |
| Record Nr. | UNISA-996466327703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013, Proceedings / / edited by Hubert Baumeister, Barbara Weber
| Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013, Proceedings / / edited by Hubert Baumeister, Barbara Weber |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 253 p. 38 illus.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Management of Computing and Information Systems |
| ISBN | 3-642-38314-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Barriers to Learning in Agile Software Development Projects -- Early Start in Software Coaching -- Introducing Programmers to Pair Programming: A Controlled Experiment -- Team Performance in Agile Development Teams: Findings from 18 Focus Groups -- The Practice of Not Knowing for Sure: How Agile Teams Manage Uncertainties -- Key Challenges of Improving Agile Teamwork -- Effects of Negative Testing on TDD: An Industrial Experiment -- Investigating the Impact of Experience and Solo/Pair Programming on Coding Efficiency: Results and Experiences from Coding Contests -- Visualizing and Managing Technical Debt in Agile Development: An Experience Report -- How Are Agile Methods and Practices Deployed in Video Game Development? A Survey into Finnish Game Studios -- Inter-organizational Co-development with Scrum: Experiences and Lessons Learned from a Distributed Corporate Development Environment -- A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations -- Perspectives on Productivity and Delays in Large-Scale Agile Projects -- Continuous Release Planning in a Large-Scale Scrum Development Organization at Ericsson -- Micro Patterns in Agile Software -- Feature Usage Diagram for Feature Reduction -- The Effect of Complexity and Value on Architecture Planning in Agile Software Development. |
| Record Nr. | UNINA-9910437596703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings / / edited by Florian Daniel, Jianmin Wang, Barbara Weber
| Business Process Management [[electronic resource] ] : 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings / / edited by Florian Daniel, Jianmin Wang, Barbara Weber |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 355 p. 124 illus.) |
| Disciplina |
650
658.05 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information technology
Business—Data processing Computer logic Software engineering Application software Management information systems Computer science IT in Business Logics and Meanings of Programs Software Engineering Computer Appl. in Administrative Data Processing Management of Computing and Information Systems |
| ISBN | 3-642-40176-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Moneyball for nanoHUB: Theory-driven and Data-driven Approaches to understand the Formation and Success of Software Development Teams -- Towards the Next Generation Intelligent BPM - In the Era of Big Data -- BPM In The Cloud -- Process mining -- Bridging Abstraction Layers in Process Mining by automated Matching of Events and Activities -- Mining Configurable Process Models from Collections of Event Logs -- Slice, Mine and Dice: Complexity-Aware Automated Discovery of Business Process Models -- Business Process Mining from Ecommerce Web logs -- Discovering Data-Aware Declarative Process Models from Event Logs -- Enhancing Declare Maps Based on Event Correlations -- Conformance checking -- Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming -- Conformance Checking in the Large: Partitioning and Topology -- On Enabling Compliance of Cross-organizational Business Processes -- Process data -- Verification of Query Completeness over Processes -- Modeling and Enacting Complex Data Dependencies in Business Processes -- Event Stream Processing Units in Business Processes -- Process model matching -- Predicting the Quality of Process Model Matching -- Increasing Recall of Process Model Matching by Improved Activity Label Matching -- A Visualization Approach for Difference Analysis of Process Models and Instance Traffic -- Process architectures and collaboration -- Business Process Architectures with Multiplicities: Transformation and Correctness -- Optimal resource assignment in workflows for maximizing cooperation -- Accelerating Collaboration in Task Assignment Using a Socially Enhanced Resource Model -- Alternative perspectives -- Splitting GSM Schemas: A Framework for Outsourcing of Declarative Artifact Systems -- Composing Workflow Activities on the Basis of Dataflow Structures -- Mixing Paradigms for More Comprehensible Models -- Industry papers -- An Agile BPM Project Methodology -- Declarative Modeling - An Academic Dream or the Future for BPM? -- Investigating Clinical Care Pathways Correlated With Outcomes -- Exformatics Declarative Case Management Workflows as DCR Graphs. |
| Record Nr. | UNISA-996465494803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management [[electronic resource] ] : 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings / / edited by Florian Daniel, Jianmin Wang, Barbara Weber
| Business Process Management [[electronic resource] ] : 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings / / edited by Florian Daniel, Jianmin Wang, Barbara Weber |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 355 p. 124 illus.) |
| Disciplina |
650
658.05 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information technology
Business—Data processing Computer logic Software engineering Application software Management information systems Computer science IT in Business Logics and Meanings of Programs Software Engineering Computer Appl. in Administrative Data Processing Management of Computing and Information Systems |
| ISBN | 3-642-40176-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Moneyball for nanoHUB: Theory-driven and Data-driven Approaches to understand the Formation and Success of Software Development Teams -- Towards the Next Generation Intelligent BPM - In the Era of Big Data -- BPM In The Cloud -- Process mining -- Bridging Abstraction Layers in Process Mining by automated Matching of Events and Activities -- Mining Configurable Process Models from Collections of Event Logs -- Slice, Mine and Dice: Complexity-Aware Automated Discovery of Business Process Models -- Business Process Mining from Ecommerce Web logs -- Discovering Data-Aware Declarative Process Models from Event Logs -- Enhancing Declare Maps Based on Event Correlations -- Conformance checking -- Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming -- Conformance Checking in the Large: Partitioning and Topology -- On Enabling Compliance of Cross-organizational Business Processes -- Process data -- Verification of Query Completeness over Processes -- Modeling and Enacting Complex Data Dependencies in Business Processes -- Event Stream Processing Units in Business Processes -- Process model matching -- Predicting the Quality of Process Model Matching -- Increasing Recall of Process Model Matching by Improved Activity Label Matching -- A Visualization Approach for Difference Analysis of Process Models and Instance Traffic -- Process architectures and collaboration -- Business Process Architectures with Multiplicities: Transformation and Correctness -- Optimal resource assignment in workflows for maximizing cooperation -- Accelerating Collaboration in Task Assignment Using a Socially Enhanced Resource Model -- Alternative perspectives -- Splitting GSM Schemas: A Framework for Outsourcing of Declarative Artifact Systems -- Composing Workflow Activities on the Basis of Dataflow Structures -- Mixing Paradigms for More Comprehensible Models -- Industry papers -- An Agile BPM Project Methodology -- Declarative Modeling - An Academic Dream or the Future for BPM? -- Investigating Clinical Care Pathways Correlated With Outcomes -- Exformatics Declarative Case Management Workflows as DCR Graphs. |
| Record Nr. | UNINA-9910483344003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business process management workshops : BPM 2021 international workshops, Rome, Italy, September 6-10, 2021, revised selected papers / / Andrea Marrella, Barbara Weber, editors
| Business process management workshops : BPM 2021 international workshops, Rome, Italy, September 6-10, 2021, revised selected papers / / Andrea Marrella, Barbara Weber, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (457 pages) |
| Disciplina | 658.05 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business - Data processing - Management
Workflow - Management |
| ISBN | 3-030-94343-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910522987903321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business process management workshops : BPM 2021 international workshops, Rome, Italy, September 6-10, 2021, revised selected papers / / Andrea Marrella, Barbara Weber, editors
| Business process management workshops : BPM 2021 international workshops, Rome, Italy, September 6-10, 2021, revised selected papers / / Andrea Marrella, Barbara Weber, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (457 pages) |
| Disciplina | 658.05 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business - Data processing - Management
Workflow - Management |
| ISBN | 3-030-94343-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464546303316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||