Advanced Information Systems Engineering [[electronic resource] ] : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings / / edited by Eric Dubois, Klaus Pohl |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXI, 650 p. 215 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Artificial intelligence Information Systems Applications (incl. Internet) Software Engineering Database Management Artificial Intelligence Computer Appl. in Administrative Data Processing |
ISBN | 3-319-59536-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Information systems architecture -- Business process alignment -- User knowledge discovery -- Business process performance -- Big data exploration -- Process variability management -- Information systems transformation and evolution -- Business process modeling readability -- Business process adaption -- Data mining -- Process discovery -- Business process modeling notation. |
Record Nr. | UNISA-996466178203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings / / edited by Eric Dubois, Klaus Pohl |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXI, 650 p. 215 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Artificial intelligence Information Systems Applications (incl. Internet) Software Engineering Database Management Artificial Intelligence Computer Appl. in Administrative Data Processing |
ISBN | 3-319-59536-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Information systems architecture -- Business process alignment -- User knowledge discovery -- Business process performance -- Big data exploration -- Process variability management -- Information systems transformation and evolution -- Business process modeling readability -- Business process adaption -- Data mining -- Process discovery -- Business process modeling notation. |
Record Nr. | UNINA-9910484787903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings / / edited by Eric Dubois, Klaus Pohl |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVI, 564 p.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Software engineering
Database management Application software User interfaces (Computer systems) Information storage and retrieval Computers and civilization Software Engineering/Programming and Operating Systems Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Information Storage and Retrieval Computers and Society |
ISBN | 3-540-34653-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynotes -- Trust: From Cognition to Conceptual Models and Design -- Dealing with Trust in eGov Services -- Trusted Interaction: User Control and System Responsibilities in Interaction Design for Information Systems -- Security -- Designing Security Requirements Models Through Planning -- Towards a Comprehensive Framework for Secure Systems Development -- Role-Based Modelling of Interactions in Database Applications -- Conceptual Modelling -- Incremental Evaluation of OCL Constraints -- Object-Relational Representation of a Conceptual Model for Temporal Data Warehouses -- Data Translation Between Taxonomies -- Queries -- Managing Quality Properties in a ROLAP Environment -- Comprehensible Answers to Précis Queries -- An Efficient Approach to Support Querying Secure Outsourced XML Information -- Document Conceptualisation -- Wrapping PDF Documents Exploiting Uncertain Knowledge -- Supporting Customised Collaboration over Shared Document Repositories -- Data Conceptualisation for Web-Based Data-Centred Application Design -- Service Composition -- Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests -- Discovering Remote Software Services that Satisfy Requirements: Patterns for Query Reformulation -- A Library of OCL Specification Patterns for Behavioral Specification of Software Components -- Workflow -- Data–Driven Process Control and Exception Handling in Process Management Systems -- Workflow Exception Patterns -- Dynamic Workflow Modeling and Verification -- Business Modelling -- On the Notion of Value Object -- Inter-organisational Controls as Value Objects in Network Organisations -- Landscape Maps for Enterprise Architectures -- Configuration and Separation -- Model-Driven Enterprise Systems Configuration -- Configuration Management in a Method Engineering Context -- Why Software Engineers Do Not Keep to the Principle of Separating Business Logic from Display: A Method Rationale Analysis -- Business Process Modelling -- Translating Standard Process Models to BPEL -- Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models -- A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars -- Agent Orientation -- From Stakeholder Intentions to Software Agent Implementations -- Modeling Mental States in Agent-Oriented Requirements Engineering -- On the Quantitative Analysis of Agent-Oriented Models -- Requirements Management -- An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment -- Towards an End-User Development Approach for Web Engineering Methods -- Modeling Volatile Concerns as Aspects. |
Record Nr. | UNISA-996465522503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings / / edited by Eric Dubois, Klaus Pohl |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVI, 564 p.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Software engineering
Database management Application software User interfaces (Computer systems) Information storage and retrieval Computers and civilization Software Engineering/Programming and Operating Systems Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Information Storage and Retrieval Computers and Society |
ISBN | 3-540-34653-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynotes -- Trust: From Cognition to Conceptual Models and Design -- Dealing with Trust in eGov Services -- Trusted Interaction: User Control and System Responsibilities in Interaction Design for Information Systems -- Security -- Designing Security Requirements Models Through Planning -- Towards a Comprehensive Framework for Secure Systems Development -- Role-Based Modelling of Interactions in Database Applications -- Conceptual Modelling -- Incremental Evaluation of OCL Constraints -- Object-Relational Representation of a Conceptual Model for Temporal Data Warehouses -- Data Translation Between Taxonomies -- Queries -- Managing Quality Properties in a ROLAP Environment -- Comprehensible Answers to Précis Queries -- An Efficient Approach to Support Querying Secure Outsourced XML Information -- Document Conceptualisation -- Wrapping PDF Documents Exploiting Uncertain Knowledge -- Supporting Customised Collaboration over Shared Document Repositories -- Data Conceptualisation for Web-Based Data-Centred Application Design -- Service Composition -- Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests -- Discovering Remote Software Services that Satisfy Requirements: Patterns for Query Reformulation -- A Library of OCL Specification Patterns for Behavioral Specification of Software Components -- Workflow -- Data–Driven Process Control and Exception Handling in Process Management Systems -- Workflow Exception Patterns -- Dynamic Workflow Modeling and Verification -- Business Modelling -- On the Notion of Value Object -- Inter-organisational Controls as Value Objects in Network Organisations -- Landscape Maps for Enterprise Architectures -- Configuration and Separation -- Model-Driven Enterprise Systems Configuration -- Configuration Management in a Method Engineering Context -- Why Software Engineers Do Not Keep to the Principle of Separating Business Logic from Display: A Method Rationale Analysis -- Business Process Modelling -- Translating Standard Process Models to BPEL -- Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models -- A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars -- Agent Orientation -- From Stakeholder Intentions to Software Agent Implementations -- Modeling Mental States in Agent-Oriented Requirements Engineering -- On the Quantitative Analysis of Agent-Oriented Models -- Requirements Management -- An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment -- Towards an End-User Development Approach for Web Engineering Methods -- Modeling Volatile Concerns as Aspects. |
Record Nr. | UNINA-9910484869703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops [[electronic resource] ] : 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 Information technology Business—Data processing Computer security Information Systems Applications (incl. Internet) Software Engineering IT in Business Computer Appl. in Administrative Data Processing Systems and Data 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Model-Based Engineering of Embedded Systems [[electronic resource] ] : Extensions of the SPES 2020 Methodology / / edited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 303 p. 98 illus.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Special purpose computers Automotive engineering Aerospace engineering Astronautics Software Engineering Special Purpose and Application-Based Systems Automotive Engineering Aerospace Technology and Astronautics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Starting Situation -- Part II Modeling Theory -- Part III Application of the SPES XT Modeling Framework -- Part IV Evaluation and Technology Transfer -- Appendices. |
Record Nr. | UNINA-9910155299903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNINA-9910433229903321 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNISA-996464424603316 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service Research Challenges and Solutions for the Future Internet [[electronic resource] ] : S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems / / edited by M. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XVIII, 374 p. 55 illus.) |
Disciplina | 005.3 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer engineering
Application software Computer communication systems Software engineering Computer logic Artificial intelligence Computer Engineering Information Systems Applications (incl. Internet) Computer Communication Networks Software Engineering Logics and Meanings of Programs Artificial Intelligence |
ISBN |
1-280-39069-7
9786613568618 3-642-17599-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The S-Cube Research Vision -- Business Process Management -- Service Composition -- Architectures & Infrastructure -- Adaptation of Service-Based Systems -- Modeling and Negotiating Service Quality -- Analytical Quality Assurance -- Service Engineering -- Architecture Views Illustrating the Service Automation Aspect of SOA. |
Record Nr. | UNISA-996466008403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service Research Challenges and Solutions for the Future Internet [[electronic resource] ] : S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems / / edited by M. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XVIII, 374 p. 55 illus.) |
Disciplina | 005.3 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer engineering
Application software Computer communication systems Software engineering Computer logic Artificial intelligence Computer Engineering Information Systems Applications (incl. Internet) Computer Communication Networks Software Engineering Logics and Meanings of Programs Artificial Intelligence |
ISBN |
1-280-39069-7
9786613568618 3-642-17599-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The S-Cube Research Vision -- Business Process Management -- Service Composition -- Architectures & Infrastructure -- Adaptation of Service-Based Systems -- Modeling and Negotiating Service Quality -- Analytical Quality Assurance -- Service Engineering -- Architecture Views Illustrating the Service Automation Aspect of SOA. |
Record Nr. | UNINA-9910483057503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|