top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Current Trends in Web Engineering [[electronic resource] ] : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer
Current Trends in Web Engineering [[electronic resource] ] : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XIII, 274 p. 70 illus.)
Disciplina 004.678
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Database management
Artificial intelligence
Mathematical logic
Information Systems Applications (incl. Internet)
Database Management
Computer Appl. in Social and Behavioral Sciences
Artificial Intelligence
Mathematical Logic and Formal Languages
ISBN 3-319-74433-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Joint Workshop on Engineering the Web of Things and Liquid Multi-Device Software -- International Workshop on The Practice Of The Open Web -- Third International Workshop on Natural Language Processing for Informal Text -- Third International Workshop on Mining the Social Web -- ICWE 2017 Tutorials.
Record Nr. UNISA-996465478003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Current Trends in Web Engineering : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer
Current Trends in Web Engineering : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XIII, 274 p. 70 illus.)
Disciplina 004.678
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Database management
Artificial intelligence
Logic, Symbolic and mathematical
Information Systems Applications (incl. Internet)
Database Management
Computer Appl. in Social and Behavioral Sciences
Artificial Intelligence
Mathematical Logic and Formal Languages
ISBN 9783319744339
331974433X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Joint Workshop on Engineering the Web of Things and Liquid Multi-Device Software -- International Workshop on The Practice Of The Open Web -- Third International Workshop on Natural Language Processing for Informal Text -- Third International Workshop on Mining the Social Web -- ICWE 2017 Tutorials.
Record Nr. UNINA-9910349260803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Current Trends in Web Engineering [[electronic resource] ] : ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / / edited by Michael Grossniklaus, Manuel Wimmer
Current Trends in Web Engineering [[electronic resource] ] : ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / / edited by Michael Grossniklaus, Manuel Wimmer
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (XXII, 245 p. 95 illus.)
Disciplina 004.678
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Information storage and retrieval
Computer communication systems
Computers
Software engineering
Management information systems
Computer science
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Communication Networks
Information Systems and Communication Service
Software Engineering
Management of Computing and Information Systems
ISBN 3-642-35623-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 8th International Workshop on Model-Driven and Agile Engineering for the Web (MDWE) -- An Agile Model-Based Framework for Service Innovation for the Future Internet (Invited Paper).- Engineering for Cloud Computing (Web Engineering Forecast: Cloudy with a Chance of Opportunities).- Developing Semantic Rich Internet Applications with the Sm4RIA Extension for OIDE.- A Model-Based Approach for Supporting Aspect-Oriented Development of Personal Information Management Systems.- Model-Driven Development of Social Network Enabled Applications with WebML and Social Primitives.- Model Driven Extraction of the Navigational Concern of Legacy Web Applications.- Model-Driven Testing for Web Applications Using Abstract State Machines.- 4th International Workshop on Lightweight Integration on theWeb (ComposableWeb) -- Understanding Web Augmentation (Invited Paper).- UML2 Profile and Model-Driven Approach for Supporting System Integration and Adaptation of Web Data Mashups.- Extending Web Standards-Based Widgets towards Inter-Widget Communication.- A Mashup Construction Approach for Cooperation of Mobile Devices.- EnglishMash: Usability Design for a Natural Mashup Composition Environment.- visualRSS: A Platform to Mine and Visualise Social Data from RSS Feeds.- Extracting Models from Web API Documentation.- Third Workshop on the Web and Requirements Engineering (WeRE) -- Identifying and Modelling Complex Workflow Requirements in Web Applications.- Requirements Models as First Class Entities in Model-Driven Web Engineering.- How the Web of Things Challenges Requirements Engineering.- Automatic Test Case Generation from Functional Requirements in NDT.- Third International Workshop on Quality in Web Engineering (QWE) -- Reasoning about Knowledge from the Web (Extended Abstract).- Toward the Improvement of a Measurement and Evaluation Strategy from a Comparative Study.- Evaluation and Comparison of Three Open Courseware Based on Quality Criteria.- ICWE 2012 Doctoral Consortium -- Maintenance of Human and Machine Metadata over the Web Content.- End-User-Development and Evolution of Web Applications: The WebComposition EUD Approach.- A Description-Based Mashup for Cooperation of Mobile Devices.- Model Based Simulation and Evaluation of Mobile and Web 2.0 Applications for Users with Special Needs.- Decision Support for Off-the-Shelf Software Selection in Web Development Projects.  An Agile Model-Based Framework for Service Innovation for the Future Internet (Invited Paper).- Engineering for Cloud Computing (Web Engineering Forecast: Cloudy with a Chance of Opportunities).- Developing Semantic Rich Internet Applications with the Sm4RIA Extension for OIDE.- A Model-Based Approach for Supporting Aspect-Oriented Development of Personal Information Management Systems.- Model-Driven Development of Social Network Enabled Applications with WebML and Social Primitives.- Model Driven Extraction of the Navigational Concern of Legacy Web Applications.- Model-Driven Testing for Web Applications Using Abstract State Machines.- 4th International Workshop on Lightweight Integration on theWeb (ComposableWeb) -- Understanding Web Augmentation (Invited Paper).- UML2 Profile and Model-Driven Approach for Supporting System Integration and Adaptation of Web Data Mashups.- Extending Web Standards-Based Widgets towards Inter-Widget Communication.- A Mashup Construction Approach for Cooperation of Mobile Devices.- EnglishMash: Usability Design for a Natural Mashup Composition Environment.- visualRSS: A Platform to Mine and Visualise Social Data from RSS Feeds.- Extracting Models from Web API Documentation.- Third Workshop on the Web and Requirements Engineering (WeRE) -- Identifying and Modelling Complex Workflow Requirements in Web Applications.- Requirements Models as First Class Entities in Model-Driven Web Engineering.- How the Web of Things Challenges Requirements Engineering.- Automatic Test Case Generation from Functional Requirements in NDT.- Third International Workshop on Quality in Web Engineering (QWE) -- Reasoning about Knowledge from the Web (Extended Abstract).- Toward the Improvement of a Measurement and Evaluation Strategy from a Comparative Study.- Evaluation and Comparison of Three Open Courseware Based on Quality Criteria.- ICWE 2012 Doctoral Consortium -- Maintenance of Human and Machine Metadata over the Web Content.- End-User-Development and Evolution of Web Applications: The WebComposition EUD Approach.- A Description-Based Mashup for Cooperation of Mobile Devices.- Model Based Simulation and Evaluation of Mobile and Web 2.0 Applications for Users with Special Needs.- Decision Support for Off-the-Shelf Software Selection in Web Development Projects. .
Record Nr. UNISA-996465933403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer
Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Berlin, Germany : , : Springer Vieweg, , [2023]
Descrizione fisica 1 online resource (522 pages)
Disciplina 004.6782
Soggetto topico Production engineering - Data processing
Cloud computing
ISBN 3-662-65004-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part I - Digital Representation: Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0 -- Designing Strongly-decoupled Industry 4.0 applications across the stack: a use case -- Variability in Products and Production -- Part II - Digital Infrastructures: Reference Architectures for closing the IT/OT gap -- Edge Computing: Use Cases and Research Challenges -- Dynamic Access Control in Industry 4.0 Systems -- Challenges in OT-Security and their Impacts on Safety-related Cyber-Physical Production Systems -- Runtime Monitoring for Systems of System -- Blockchain technologies in the design and operation of cyber-physical systems -- Part III - Data Management: Big Data Integration for Industry 4.0 -- Tons of data - is data quality still an issue? -- Coupling of Top Floor Internal and External Data Exchange Matters -- Part IV - Data Analytics: Conceptualizing Analytics: An Overview of Business Intelligence and Analytics from a Conceptual Modeling Perspective -- Discovering Actionable Knowledge for Industry 4.0: From Data Mining to Predictive and Prescriptive Analytics -- Process Mining - Discovery, Conformance, and Enhancement of Manufacturing Processes -- Symbolic artificial intelligence methods for prescriptive analytics -- Machine Learning for Cyber-Physical Systems -- Visual Data Science for Industrial Applications -- Part V - Digital Transformation towards Industry 5.0: Self-Adaptive Digital Assistance Systems for Work 4.0 -- Digital Transformation - Towards flexible human-centric enterprises.
Record Nr. UNINA-9910647779903321
Berlin, Germany : , : Springer Vieweg, , [2023]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer
Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Berlin, Germany : , : Springer Vieweg, , [2023]
Descrizione fisica 1 online resource (522 pages)
Disciplina 004.6782
Soggetto topico Production engineering - Data processing
Cloud computing
ISBN 3-662-65004-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part I - Digital Representation: Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0 -- Designing Strongly-decoupled Industry 4.0 applications across the stack: a use case -- Variability in Products and Production -- Part II - Digital Infrastructures: Reference Architectures for closing the IT/OT gap -- Edge Computing: Use Cases and Research Challenges -- Dynamic Access Control in Industry 4.0 Systems -- Challenges in OT-Security and their Impacts on Safety-related Cyber-Physical Production Systems -- Runtime Monitoring for Systems of System -- Blockchain technologies in the design and operation of cyber-physical systems -- Part III - Data Management: Big Data Integration for Industry 4.0 -- Tons of data - is data quality still an issue? -- Coupling of Top Floor Internal and External Data Exchange Matters -- Part IV - Data Analytics: Conceptualizing Analytics: An Overview of Business Intelligence and Analytics from a Conceptual Modeling Perspective -- Discovering Actionable Knowledge for Industry 4.0: From Data Mining to Predictive and Prescriptive Analytics -- Process Mining - Discovery, Conformance, and Enhancement of Manufacturing Processes -- Symbolic artificial intelligence methods for prescriptive analytics -- Machine Learning for Cyber-Physical Systems -- Visual Data Science for Industrial Applications -- Part V - Digital Transformation towards Industry 5.0: Self-Adaptive Digital Assistance Systems for Work 4.0 -- Digital Transformation - Towards flexible human-centric enterprises.
Record Nr. UNISA-996546828603316
Berlin, Germany : , : Springer Vieweg, , [2023]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Autore Johnsen Einar Broch
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2022
Descrizione fisica 1 online resource (xiv, 347 pages) : illustrations
Altri autori (Persone) JohnsenEinar Broch
WimmerManuel
Collana Lecture notes in computer science
Soggetto topico Software engineering
Soggetto non controllato architecture verification and validation
distributed computer systems
embedded systems
empirical software validation
formal methods
model checking
model-driven software engineering
object-oriented programming
program analysis
software performance
software quality
software testing and debugging
ISBN 3-030-99429-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996464553503316
Johnsen Einar Broch  
Cham, : Springer International Publishing AG, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Autore Johnsen Einar Broch
Edizione [1st ed.]
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2022
Descrizione fisica 1 online resource (xiv, 347 pages) : illustrations
Altri autori (Persone) JohnsenEinar Broch
WimmerManuel
Collana Lecture notes in computer science
Soggetto topico Software engineering
Enginyeria de programari
Soggetto genere / forma Congressos
Llibres electrònics
ISBN 3-030-99429-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- ETAPS Foreword -- Preface -- Organization -- Contents -- FASE Contributions -- Information-flow Interfaces -- 1 Introduction -- 2 Application Example -- 3 Stateless Information-flow Interfaces -- 3.1 Composition and Incremental Design -- 3.2 Refinement and Independent Implementability -- 3.3 Discussion -- 4 Stateful Information-Flow Interfaces -- 5 Related Work -- 6 Conclusion -- References -- A Survey-driven Feature Model for Software Traceability Approaches -- 1 Introduction -- 2 State of the art of software traceability -- 3 Towards a common traceablility terminology -- 3.1 Traceability components -- 3.2 Traceability glossary -- 4 Traceability Survey method -- 4.1 Data source and search strategy -- 4.2 Pruning -- 4.3 Snowballing -- 4.4 Threats to validity in the selection process -- 5 A feature model to characterize software traceability -- 5.1 Introduction to feature modelling -- 5.2 Trace definition and representation -- 5.3 Trace identification -- 5.4 Trace management -- 6 Discussion -- 7 Conclusion -- References -- Construction of Verifier Combinations Based on Off-the-Shelf Verifiers -- 1 Introduction -- 2 Improving Verification by Verifier Combinations -- 3 Construction of Verifier Combinations with CoVeriTeam -- 3.1 Verifier Based on Sequential Portfolio -- 3.2 Verifier Based on Parallel Portfolios -- 3.3 Verifier Based on Algorithm Selection -- 3.4 Extensibility -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Results of Existing Verifiers as Standalone -- 4.3 RQ 1: Evaluation of Sequential-Portfolio Verifier -- 4.4 RQ 2: Evaluation of Parallel-Portfolio Verifier -- 4.5 RQ 3: Evaluation of Algorithm Selection Verifier -- 4.6 Discussion -- 5 Threats to Validity -- 6 Related Work -- 7 Conclusion -- References -- On the Detection of Doped Software by Falsification -- 1 Introduction -- 2 Background -- 2.1 Temporal Logics.
2.2 Software Doping -- 3 Logical characterisation for mixed IO -- 4 Diesel Emissions -- 5 Conclusion & -- Future Work -- References -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- 1 Introduction -- 2 Approach -- 2.1 Static analysis and instrumentation -- 2.2 Fuzzing loop -- 3 Experiments -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Quantitative Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3 Transforming Sketches to Program Families -- 4 Decision Tree-based Lifted Analyses -- 4.1 Abstract domain for decision nodes -- 4.2 Abstract domain for leaf nodes -- 4.3 Decision tree lifted domains -- 4.4 Decision tree-based lifted analysis -- 5 Synthesis Algorithm -- 6 Evaluation -- 7 Related Work -- 8 Conclusion -- References -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- 1 Introduction -- 1.1 SixthSense -- 1.2 Results -- 1.3 Contributions -- 2 Example -- 3 Overview -- 4 Learning Program Features -- 4.1 Extracting Features from Programs -- 4.2 Data Features -- 4.3 Runtime Features -- 5 Program Generation for Training Set Augmentation -- 5.1 Code Mutations -- 5.2 Data Mutations -- 5.3 Adaptive Algorithm for Mutant Generation -- 6 Methodology -- 6.1 Baselines, Metrics, and Classification -- 6.2 Evaluation Experimental Setup -- 7 Evaluation -- 7.1 Predicting Convergence of Inference -- 7.2 Debugging Non-Converging Programs -- 8 Sensitivity Analysis -- 9 Related Work -- 10 Conclusion -- References -- Finding Semantic Bugs Fast -- 1 Introduction -- 2 Validating Program Runs -- 2.1 Syntax -- 2.2 Validation Procedure -- 3 Checking/Verification -- 4 Examples -- 5 Conclusion and Related Work -- References -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- 1 Introduction.
2 Related Tools -- 3 SMC4PEP Architecture andWorkflow -- 4 Case Studies -- 5 Conclusion -- References -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- 1 Introduction -- 2 Motivation -- 2.1 The Example Program -- 2.2 The Execution Order -- 2.3 The Cache State -- 2.4 The Side-channel Leak -- 3 Preliminaries -- 3.1 The Execution Model -- 3.2 The Cache Model -- 4 Analyzing the In-Order Execution -- 4.1 Computing the Dependencies -- 4.2 Computing the Default Cache States -- 5 Analyzing the Out-of-Order Executions -- 5.1 Symbolic Encoding -- 5.2 The Overall Algorithm -- 5.3 Optimizations of the Symbolic Encoding -- 6 Experiments -- 6.1 Benchmarks -- 6.2 Leakage Detection Results -- 6.3 Scalability Results -- 7 Related Work -- 8 Conclusions -- References -- PEQtest: Testing Functional Equivalence -- 1 Introduction -- 2 Background -- 3 Generating Test Programs with PEQtest -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Experiments -- 5 Related Work -- 6 Conclusion -- References -- An Institutional Approach to Communicating UML State Machines -- 1 Introduction -- 2 Background on Institutions and Casl -- 2.1 Institutions and Theoroidal Institution Comorphisms -- 2.2 Casl and the Institution CFOL= -- 3 The Hybrid Modal LogicM#D for Event/Data Systems -- 3.1 Data States and Transitions -- 3.2 Events and Messages -- 3.2 Events/Data Signatures -- 3.4 Event/Data Structures -- 3.5 Event/Data Formulæ and Sentences -- 3.6 Satisfaction Relation forM# -- 3.7 A Theoroidal Comorphism fromM#D to Casl -- 4 Simple UML State Machines with Outputs -- 5 Simple UML Composite Structures -- 6 Verification Example: Communication between User, ATM and Bank -- 7 Conclusion -- References -- Semantic Code Search in Software Repositories using Neural Machine Translation -- 1 Introduction -- 2 Related Work -- 3 Semantic Code Search using Machine Translation.
3.1 Data Preprocessor -- 3.2 Neural Network -- 3.3 Index Builder -- 4 Evaluation -- 4.1 Evaluation using CodeSearchNet Queries -- 4.2 Evaluation using Stack Overflow Questions -- 5 Conclusion -- References -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- 1 Introduction -- 2 Background -- 3 Methodology -- 4 Datasets and Experimental Setup -- 5 Results -- 6 Threats to Validity -- 7 Related Work -- 8 Conclusion -- References -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- 1 Introduction -- 2 Reconfiguration With Concerto -- 3 Reconfiguration Script Synthesis -- 3.1 Determining Sequences of Component Behaviors -- 3.2 Assembly-Level Reconfiguration Scheduling -- 3.3 Determining Missing Behaviors -- 3.4 Relaxation of Synchronization Barriers -- 4 Experiments -- 4.1 Implementation -- 4.2 Results Over Synthetic Examples -- 4.3 OpenStack Use Case -- 5 Related work -- 6 Conclusion -- References -- Semantic Clone Detection via Probabilistic Software Modeling -- 1 Introduction -- 2 Background -- 2.1 Clone Detection -- 2.2 Programs & -- Code Elements -- 2.3 Probabilistic Software Modeling -- 3 Semantic Clones -- 4 Approach -- 4.1 Modeling -- 4.2 Search Space -- 4.3 Static Similarity -- 4.4 Dynamic Similarity -- 4.5 Model Similarity -- 5 Study -- 5.1 Setup -- 5.2 Dataset -- 5.3 Controlled Variables -- 5.4 Response Variables -- 5.5 Comparison of Clone Detectors -- 5.6 Experiment Results -- 6 Discussion -- 6.1 Research Question 1 - Detection Performance -- 6.2 Research Question 2 - Skip Evaluation Scalability -- 6.3 Research Question 3 - Skip Evaluation Effects -- 7 Limitations -- 8 Threats to Validity -- 9 Related Work -- 10 Conclusions and Future Work -- References -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- 1 Introduction -- 2 Architecture -- 3 Design -- 3.1 Query.
3.2 Concurrent Verification -- 4 Results -- 5 Conclusion -- References -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- 1 Introduction -- 2 Definitions, Formats, and Rules -- 3 Categories and Scoring Schema -- 4 Reproducibility -- 5 Results and Discussion -- 6 Conclusion -- References -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing -- 1 Overview -- 2 Test Generation Approach -- 3 Strengths and Weaknesses -- 4 Tool Setup and Configuration -- 5 Software Project -- References -- VeriFuzz: Good Seeds for Fuzzing -- 1 Introduction -- 1.1 Enhancement 1 : New Seed Generation Approach -- 1.2 Enhancement 2: Remedying A Stuck or Failed BMC -- 2 Tool Architecture and Flow -- 3 Strengths and Weaknesses -- 4 VeriFuzz Tool Configuration and Setup -- 5 Software Project and Contributors -- References -- Author Index.
Record Nr. UNINA-9910555236603321
Johnsen Einar Broch  
Cham, : Springer International Publishing AG, 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Model-driven software engineering in practice / / Marco Brambilla, Jordi Cabot, Manuel Wimmer
Model-driven software engineering in practice / / Marco Brambilla, Jordi Cabot, Manuel Wimmer
Autore Brambilla Marco
Pubbl/distr/stampa San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA), : Morgan & Claypool, c2012
Descrizione fisica 1 online resource (184 p.)
Disciplina 005.1
Altri autori (Persone) CabotJordi
WimmerManuel
Collana Synthesis lectures on software engineering
Soggetto topico Software engineering
Computer programming - Computer simulation
Model-integrated computing
ISBN 1-60845-883-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction -- 1.1 Purpose and use of models -- 1.2 Modeling for software development -- 1.3 How to read this book --
2. MDSE principles -- 2.1 MDSE basics -- 2.2 Lost in acronyms: the MD* jungle -- 2.3 Overview of the MDSE methodology -- 2.4 MDSE adoption in industry -- 2.5 Tool support -- 2.6 Criticisms of MDSE --
3. MDSE use cases -- 3.1 Automating software development -- 3.2 System interoperability -- 3.3 Reverse engineering --
4. Model-driven architecture (MDA) -- 4.1 MDA definitions and assumptions -- 4.2 The modeling levels: CIM, PIM, PSM -- 4.3 Mappings -- 4.4 General-purpose and domain-specific languages in MDA -- 4.5 Architecture-driven modernization --
5. Integration of MDSE in your development process -- 5.1 Introducing MDSE in your software development process -- 5.2 Traditional development processes and MDSE -- 5.3 Agile and MDSE -- 5.4 Domain-driven design and MDSE -- 5.5 Test-driven development and MDSE --
6. Modeling languages at a glance -- 6.1 Anatomy of modeling languages -- 6.2 General-purpose vs. domain-specific modeling languages -- 6.3 General-purpose modeling: the case of UML -- 6.4 UML extensibility: the middle way between GPL and DSL -- 6.5 Overview on DSLs -- 6.6 Defining modeling constraints (OCL) --
7. Developing your own modeling language -- 7.1 Metamodel-centric language design -- 7.2 Example DSML: sWML -- 7.3 Abstract syntax development -- 7.4 Concrete syntax development --
8. Model-to-model transformations -- 8.1 Model transformations and their classification -- 8.2 Exogenous, out-place transformations -- 8.3 Endogenous, in-place transformations -- 8.4 Mastering model transformations --
9. Model-to-text transformations -- 9.1 Basics of model-driven code generation -- 9.2 Code generation through programming languages -- 9.3 Code generation through M2T transformation languages -- 9.4 Mastering code generation -- 9.5 Excursus: code generation through M2M transformations and TCS --
10. Managing models -- 10.1 Model interchange -- 10.2 Model persistence -- 10.3 Model comparison -- 10.4 Model versioning -- 10.5 Model co-evolution -- 10.6 Global model management -- 10.7 Model quality -- 10.7.1 Verifying models --
11. Summary -- Bibliography -- Authors' biographies.
Record Nr. UNINA-9910149552903321
Brambilla Marco  
San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA), : Morgan & Claypool, c2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XXXII, 472 p. 185 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Artificial intelligence
Application software
Mathematical logic
Computer communication systems
Software Engineering
Logics and Meanings of Programs
Artificial Intelligence
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages
Computer Communication Networks
ISBN 3-319-50230-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools.
Record Nr. UNISA-996465490103316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XXXII, 472 p. 185 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Artificial intelligence
Application software
Logic, Symbolic and mathematical
Computer networks
Software Engineering
Logics and Meanings of Programs
Artificial Intelligence
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages
Computer Communication Networks
ISBN 3-319-50230-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools.
Record Nr. UNINA-9910484291203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Formato

Altro...

Livello bibliografico

Autore (Persona)

Altro...

Autore (Ente)

Altro...

Autore (Convegno)

Altro...

Opere

Altro...

Pubbl/distr/stampa

Altro...

Lingua di pubblicazione

Altro...

Data

Data di pubblicazione

Altro...

Soggetto (Persona)

Altro...

Soggetto (Ente)

Altro...

Soggetto (Convegno)

Altro...

Soggetto geografico

Altro...

Soggetto topico

Altro...

Soggetto genere / forma

Altro...