Info
Advances in Conceptual Modeling : ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings / / edited by Motoshi Saeki, Leah Wong, João Araujo, Clara Ayora, Anna Bernasconi, Matteo Buffa, Silvana Castano, Peter Fettke, Hans-Georg Fill, Alberto García S., Miguel Goulão, Cristine Griffo, Jin-Taek Jung, Julius Köpke, Beatriz Marín, Stefano Montanelli, Edelweis Rohrer, José F. Reyes Román
| Advances in Conceptual Modeling : ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings / / edited by Motoshi Saeki, Leah Wong, João Araujo, Clara Ayora, Anna Bernasconi, Matteo Buffa, Silvana Castano, Peter Fettke, Hans-Georg Fill, Alberto García S., Miguel Goulão, Cristine Griffo, Jin-Taek Jung, Julius Köpke, Beatriz Marín, Stefano Montanelli, Edelweis Rohrer, José F. Reyes Román |
| Autore | Saeki Motoshi |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (391 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
WongLeah
AraujoJoão AyoraClara BernasconiAnna BuffaMatteo CastanoSilvana FettkePeter FillHans-Georg García SAlberto |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Application software Data structures (Computer science) Information theory Artificial intelligence Computer networks Information technology - Management Software Engineering Computer and Information Systems Applications Data Structures and Information Theory Artificial Intelligence Computer Communication Networks Computer Application in Administrative Data Processing |
| ISBN |
9783031755996
3031755995 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AISA -- The First International Workshop on AI Services and Applications -- Empirical case study of AI Service and Application for people with disabilities -- A Methodological Framework for Designing Human Centered Artificial Intelligence Services -- Beyond One Fits All A Case Study Approach to AI System Design Methods -- GRASPER Leveraging Knowledge Graphs for Predictive Supply Chain Analytics -- An MLOps Framework to Data Driven Modelling of Digital Twins with an Application to Virtual Test Rigs -- Empirical Study on the Use of Artificial General Intelligence Healthcare in the Elderly -- Effects of Perceived Ease of Use and Perceived Usefulness of Technology Acceptance Model on Intention to Continue Using Generative AI Focusing on the Mediating Effect of Satisfaction and Moderating Effect of Innovation Resistance -- Conceptual Modeling for Public AI Systems -- Self-Explanatory Retrieval Augmented Generation for SDG Evidence Identification -- CMLS -- International Workshop on Conceptual Modeling for Life Sciences CMLS -- On the Expressiveness of Petri Nets for Modeling Biological Processes the Case for mRNA Translation and Protein Synthesis -- Enhancing Vaxign DL for Vaccine Candidate Prediction with added ESM Generated Features -- Conceptual Modeling for Polygenic Risk Score Research Improving Domain Understanding and Clinical Utility -- Integrative Ontology of Bipolar Disorder OBD Advancing Bipolar Disorder Research through an Interoperable Ontological Framework -- EmpER -- 7th International Workshop on Empirical Methods in Conceptual Modeling EmpER’24 -- How Does UML Look and Sound Using AI to Interpret UML Diagrams through Multimodal Evidence -- Can Large Language Models Learn Conceptual Modeling by Looking at Slide Decks and Pass Graduate Examinations An Empirical Study -- Evaluating a Framework of Conceptual Modelling Research -- Extending Goal Models with Execution Orders An Investigation of the Impact on Comprehensibility -- QUAMES -- 5th International Workshop on Quality and Measurement of Model-Driven Software Development QUAMES 2024 -- Towards leveraging gamified code testing for effective model validation -- JUSMOD -- 3rd International Workshop on Digital JUStice digital law and conceptual MODeling JUSMOD24 -- Resignifying Compliance between Ontologies and Epistemologies of Law -- Modelling Legal Enforcement with UFOL a Case from Swedish Healthcare -- The eu FAIRnews A Preliminary Exploration of Bridging Disinformation and Digital Justice through FAIR Data Practices in Online News Sources -- Safety Assurances in Autonomous Vessels -- LLM4Modeling -- 2nd Workshop ”Modeling in the Age of Large Language Models” LLM4Modeling -- An LLM Assistant for Characterizing Conceptual Modeling Research Contributions -- AI Assisted Analytics An Automated Approach to Data Visualization -- Combining Natural Language Generation and Graph Algorithms to Explain Causal Maps through Meaningful Paragraphs. |
| Record Nr. | UNINA-9910983311403321 |
Saeki Motoshi
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
| Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 255 p. 102 illus.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Artificial intelligence Software engineering Computer system failures Computer logic Computers and Education Artificial Intelligence Software Engineering System Performance and Evaluation Logics and Meanings of Programs |
| ISBN | 3-319-76168-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299265903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metamodeling: Applications and Trajectories to the Future : Essays in Honor of Dimitris Karagiannis / / edited by Hans-Georg Fill, Harald Kühn
| Metamodeling: Applications and Trajectories to the Future : Essays in Honor of Dimitris Karagiannis / / edited by Hans-Georg Fill, Harald Kühn |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (225 pages) |
| Disciplina | 001.434 |
| Soggetto topico |
Software engineering
Computer simulation Software Engineering Computer Modelling |
| ISBN | 9783031568626 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How Metamodeling Concepts improve Internal Developer Platforms and Cloud Platforms to foster Business Agility -- Semantics-driven Systems Engineering: Requirements and Prerequisites for a New Flavor of Model-driven Engineering -- Spatial Conceptual Modeling: Anchoring Knowledge in the Real World -- Process vs. Capability –A reflection from a practitioner’s perspective -- Ontology-based Metamodelling, Modelling and Application Development -- Pushing the Boundaries of Process-Oriented Quality Management Through Conceptual Modeling -- Metamodeling Platforms: Observations and Evolutions -- A metamodel-driven architecture for a unified approach to Governance, Risk, Compliance and Performance -- Applying AMME for Constructing User-centric Services for Enterprise Architecture -- Applying the powerful concept of Meta-Models -- From Static Models to Dynamic Systems: The Evolution of Business Process Simulation to Digital Twins -- Collaborative Modeling Method Prototyping using Digital Design Thinking with Scene2Model -- Process Oriented Knowledge Engineering: Reflections and Project Experiences -- Modular Metamodel Engineering: Why, What, How and What's Next?. |
| Record Nr. | UNINA-9910874678703321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies [[electronic resource] ] : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill
| Software Technologies [[electronic resource] ] : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill |
| Autore | van Sinderen Marten |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (274 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
MaciaszekLeszek A
FillHans-Georg |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer networks Computer programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Computer Communication Networks Programming Techniques |
| ISBN | 3-030-83007-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty -- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints -- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture -- MLCA: A Model-Learning-Checking Approach for IoT Systems -- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data -- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment -- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing -- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach -- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium -- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach -- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop -- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States. |
| Record Nr. | UNISA-996464438103316 |
|
van Sinderen Marten
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill
| Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / / edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill |
| Autore | van Sinderen Marten |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (274 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
MaciaszekLeszek A
FillHans-Georg |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer networks Computer programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Computer Communication Networks Programming Techniques |
| ISBN | 3-030-83007-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty -- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints -- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture -- MLCA: A Model-Learning-Checking Approach for IoT Systems -- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data -- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment -- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing -- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach -- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium -- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach -- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop -- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States. |
| Record Nr. | UNINA-9910495211403321 |
|
van Sinderen Marten
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies [[electronic resource] ] : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers / / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek
| Software Technologies [[electronic resource] ] : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers / / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (242 pages) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Programming Techniques |
| ISBN | 3-031-37231-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tool Assisted Empirical Approach to Reusability Models Assessment -- Microservices Deployment on a Multi-platform Ecosystem: A Contract-based Approach -- A Decision Model based on an Optimized Choquet Integral: Multifactor Prediction and Intelligent Agriculture Application.-A New Simulation Tool for Sensor Networks based on an Energy-efficient and Fault-tolerant Methodology -- Adapting Cyber-Risk Assessment for the Planning of Cyber-Physical Smart Grids based on Industrial Needs -- Three Forms of Mutant Subsumption: Basic, Strict and Broad -- On the Efficiency of Building Large Collections of Software: Modeling, Algorithms, and Experimental Results -- An AST-based Code Change Representation and Its Performance in Just-in-time Vulnerability Prediction -- Towards Extracting Reusable and Maintainable Code Snippets -- A deep learning architecture based on advanced textual language models for detecting disease through its symptoms associated with a reinforcement learning algorithm. |
| Record Nr. | UNISA-996546842203316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers / / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek
| Software Technologies : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers / / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (242 pages) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Programming Techniques |
| ISBN | 3-031-37231-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tool Assisted Empirical Approach to Reusability Models Assessment -- Microservices Deployment on a Multi-platform Ecosystem: A Contract-based Approach -- A Decision Model based on an Optimized Choquet Integral: Multifactor Prediction and Intelligent Agriculture Application.-A New Simulation Tool for Sensor Networks based on an Energy-efficient and Fault-tolerant Methodology -- Adapting Cyber-Risk Assessment for the Planning of Cyber-Physical Smart Grids based on Industrial Needs -- Three Forms of Mutant Subsumption: Basic, Strict and Broad -- On the Efficiency of Building Large Collections of Software: Modeling, Algorithms, and Experimental Results -- An AST-based Code Change Representation and Its Performance in Just-in-time Vulnerability Prediction -- Towards Extracting Reusable and Maintainable Code Snippets -- A deep learning architecture based on advanced textual language models for detecting disease through its symptoms associated with a reinforcement learning algorithm. |
| Record Nr. | UNINA-9910735388903321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software technologies : 16th International Conference, ICSOFT 2021, Virtual event, July 6-8, 2021, Revised selected papers / / Hans-Georg Fill, Marten van Sinderen and Leszek A. Maciaszek (editors)
| Software technologies : 16th International Conference, ICSOFT 2021, Virtual event, July 6-8, 2021, Revised selected papers / / Hans-Georg Fill, Marten van Sinderen and Leszek A. Maciaszek (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (245 pages) |
| Disciplina | 005.13 |
| Collana | Communications in computer and information science |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering |
| ISBN | 3-031-11513-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483162103316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies : 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers / / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek
| Software Technologies : 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers / / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (245 pages) |
| Disciplina |
005.13
005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Microprogramming Computer networks Computer programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Computer Communication Networks Programming Techniques |
| ISBN | 3-031-11513-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Linked Data as Medium for Stigmergy-based Optimization and Coordination -- Object Parsing Expressions for Unplanned, Unmodified, and Incremental Grammar Reuse -- A Methodology for Organizational Data Science towards Evidence-based Process Improvement -- Feedback Generation for Automatic User Interface Design Evaluation -- Tales from the Code #2: A Detailed Assessment of Code Refactoring's Impact on Energy Consumption -- Towards Power Consumption Optimization for Embedded Systems from a Model-driven Software Development Perspective -- Materializing Microservice-oriented Architecture from Monolithic Object-oriented Source Code -- A Personalized Code Formatter: Detection & Fixing -- Software Framework of Context-aware Reconfigurable Secure Smart Grids -- A Novel Neural Network-based Malware Severity Classification System. |
| Record Nr. | UNINA-9910584479803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||