Big data management and analytics : 9th European Summer School, EBISS 2019, Berlin, Germany, June 30 - July 5, 2019, revised selected papers / / Ralf-Detlef Kutsche, Esteban Zimanyi (Eds.) |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (XI, 121 p. 111 illus., 50 illus. in color.) |
Disciplina | 658 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Business intelligence
Management information systems Business - Data processing |
ISBN | 3-030-61627-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Actionable Conformance Checking: From Intuitions to Code -- Introduction to Text Analytics -- Automated Machine Learning: Techniques and Frameworks -- Travel-Time Computation Based on GPS Data -- Laplacian Matrix for Dimensionality Reduction and Clustering. |
Record Nr. | UNISA-996465355903316 |
Cham, Switzerland : , : Springer, , [2020] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Big data management and analytics : 9th European Summer School, EBISS 2019, Berlin, Germany, June 30 - July 5, 2019, revised selected papers / / Ralf-Detlef Kutsche, Esteban Zimanyi (Eds.) |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (XI, 121 p. 111 illus., 50 illus. in color.) |
Disciplina | 658 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Business intelligence
Management information systems Business - Data processing |
ISBN | 3-030-61627-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Actionable Conformance Checking: From Intuitions to Code -- Introduction to Text Analytics -- Automated Machine Learning: Techniques and Frameworks -- Travel-Time Computation Based on GPS Data -- Laplacian Matrix for Dimensionality Reduction and Clustering. |
Record Nr. | UNINA-9910427676403321 |
Cham, Switzerland : , : Springer, , [2020] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Intelligence : 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures / / edited by Esteban Zimányi, Ralf-Detlef Kutsche |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (IX, 149 p. 59 illus.) |
Disciplina | 005.365 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Data mining
Business information services Artificial intelligence Information technology - Management Knowledge management Data Mining and Knowledge Discovery Business Information Systems Artificial Intelligence Computer Application in Administrative Data Processing Knowledge Management |
ISBN | 3-319-17551-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the Complexity of Requirements Engineering for Decision-Support Systems: The CID Case Study -- Multi-perspective Analysis of Mobile Phone Call Data Records: A Visual Analytics Approach -- From the Web of Documents to the Linked Data -- A Survey on Supervised Classification on Data Streams -- Knowledge Reuse: Survey of Existing Techniques and Classification Approach. |
Record Nr. | UNINA-9910299234003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamental Approaches to Software Engineering [[electronic resource] ] : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VI, 342 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45923-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Frameworks -- An Approach to Composition Motivated by wp -- Compositional Verification of Secure Applet Interactions -- A Generic Component Framework for System Modeling -- Model and Program Analysis -- Implementing Condition/Event Nets in the Circal Process Algebra -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation by Moderated Regular Extrapolation -- Better Slicing of Programs with Jumps and Switches -- Architecture Descriptions -- Architectural Types Revisited: Extensible And/Or Connections -- Mapping an ADL to a Component-Based Application Development Environment -- From EDOC Components to CCM Components: A Precise Mapping Specification -- Meta-Models -- Engineering Modelling Languages: A Precise Meta-Modelling Approach -- AToM3: A Tool for Multi-formalism and Meta-modelling -- A Toolbox for Automating Visual Software Engineering -- Formal Approaches towards UML -- Enriching OCL Using Observational Mu-Calculus -- Formal Verification of UML Statecharts with Real-Time Extensions -- Requirements Engineering -- An Authoring Tool for Informal and Formal Requirements Specifications -- Introducing Context-Based Constraints -- Formal Requirements Engineering Using Observer Models -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach -- Meta-modeling Techniques Meet Web Application Design Tools -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications -- Tool Demonstrations -- The Coordination Development Environment -- The Key System: Integrating Object-Oriented Design and Formal Methods -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. |
Record Nr. | UNISA-996465548903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VI, 342 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45923-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Frameworks -- An Approach to Composition Motivated by wp -- Compositional Verification of Secure Applet Interactions -- A Generic Component Framework for System Modeling -- Model and Program Analysis -- Implementing Condition/Event Nets in the Circal Process Algebra -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation by Moderated Regular Extrapolation -- Better Slicing of Programs with Jumps and Switches -- Architecture Descriptions -- Architectural Types Revisited: Extensible And/Or Connections -- Mapping an ADL to a Component-Based Application Development Environment -- From EDOC Components to CCM Components: A Precise Mapping Specification -- Meta-Models -- Engineering Modelling Languages: A Precise Meta-Modelling Approach -- AToM3: A Tool for Multi-formalism and Meta-modelling -- A Toolbox for Automating Visual Software Engineering -- Formal Approaches towards UML -- Enriching OCL Using Observational Mu-Calculus -- Formal Verification of UML Statecharts with Real-Time Extensions -- Requirements Engineering -- An Authoring Tool for Informal and Formal Requirements Specifications -- Introducing Context-Based Constraints -- Formal Requirements Engineering Using Observer Models -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach -- Meta-modeling Techniques Meet Web Application Design Tools -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications -- Tool Demonstrations -- The Coordination Development Environment -- The Key System: Integrating Object-Oriented Design and Formal Methods -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. |
Record Nr. | UNINA-9910143910903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|