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.
2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society
| 2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society |
| Pubbl/distr/stampa | Los Alamitos : , : IEEE Computer Society, , 2021 |
| Descrizione fisica | 1 online resource (xvii, 185 pages) : illustrations (some color) |
| Disciplina | 005.12 |
| Soggetto topico | Software architecture |
| ISBN | 1-7281-6260-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 IEEE 18th International Conference on Software Architecture |
| Record Nr. | UNINA-9910554005803321 |
| Los Alamitos : , : IEEE Computer Society, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society
| 2021 IEEE 18th International Conference on Software Architecture (ICSA) / / IEEE Computer Society |
| Pubbl/distr/stampa | Los Alamitos : , : IEEE Computer Society, , 2021 |
| Descrizione fisica | 1 online resource (xvii, 185 pages) : illustrations (some color) |
| Disciplina | 005.12 |
| Soggetto topico | Software architecture |
| ISBN | 1-7281-6260-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 IEEE 18th International Conference on Software Architecture |
| Record Nr. | UNISA-996574802703316 |
| Los Alamitos : , : IEEE Computer Society, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
42010-2022 - IEEE/ISO/IEC International Standard for Software, systems and enterprise : Architecture description / / IEEE
| 42010-2022 - IEEE/ISO/IEC International Standard for Software, systems and enterprise : Architecture description / / IEEE |
| Pubbl/distr/stampa | New York : , : IEEE, , 2022 |
| Descrizione fisica | 1 online resource (74 pages) |
| Disciplina | 005.12 |
| Soggetto topico |
Software architecture
Software engineering - Standards |
| ISBN | 1-5044-9155-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996575142803316 |
| New York : , : IEEE, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNISA-996465278603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with EventB -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNINA-9910483369103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering [[electronic resource] ] : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / / edited by Zohra Bellahsène, Michel Léonard
| Advanced Information Systems Engineering [[electronic resource] ] : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / / edited by Zohra Bellahsène, Michel Léonard |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVII, 588 p.) |
| Disciplina | 005.12 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Data mining Computer engineering Database management Application software User interfaces (Computer systems) Software Engineering/Programming and Operating Systems Data Mining and Knowledge Discovery Computer Engineering Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-69534-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services – An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- On a Quest for Good Process Models: The Cross-Connectivity Metric -- Information Systems Engineering -- Information Systems Engineering Supported by Cognitive Matchmaking -- On Modeling and Analyzing Cost Factors in Information Systems Engineering -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development -- IS Development with Ubiquitous Technologies -- Probabilistic Entity Linkage for Heterogeneous Information Spaces -- Product Based Workflow Support: Dynamic Workflow Execution -- Location-Based Variability for Mobile Information Systems -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open Source Workflow: A Viable Direction for BPM?. |
| Record Nr. | UNISA-996465870003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Information Systems Engineering : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / / edited by Zohra Bellahsène, Michel Léonard
| Advanced Information Systems Engineering : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / / edited by Zohra Bellahsène, Michel Léonard |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVII, 588 p.) |
| Disciplina | 005.12 |
| Altri autori (Persone) |
BellahseneZohra
LéonardMichel |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Data mining Computer engineering Computer networks Database management Application software User interfaces (Computer systems) Human-computer interaction Software Engineering Data Mining and Knowledge Discovery Computer Engineering and Networks Database Management Computer and Information Systems Applications User Interfaces and Human Computer Interaction |
| ISBN | 3-540-69534-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services – An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- On a Quest for Good Process Models: The Cross-Connectivity Metric -- Information Systems Engineering -- Information Systems Engineering Supported by Cognitive Matchmaking -- On Modeling and Analyzing Cost Factors in Information Systems Engineering -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development -- IS Development with Ubiquitous Technologies -- Probabilistic Entity Linkage for Heterogeneous Information Spaces -- Product Based Workflow Support: Dynamic Workflow Execution -- Location-Based Variability for Mobile Information Systems -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open Source Workflow: A Viable Direction for BPM?. |
| Record Nr. | UNINA-9910483671503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Microservices : A Hands-on Approach to Microservice Infrastructure and Tooling / / by Thomas Hunter II
| Advanced Microservices : A Hands-on Approach to Microservice Infrastructure and Tooling / / by Thomas Hunter II |
| Autore | Hunter II Thomas |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 181 p. 29 illus., 26 illus. in color.) |
| Disciplina | 005.12 |
| Soggetto topico |
Open source software
Open Source |
| ISBN |
9781484228876
1484228871 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction.- 2. HTTP API Design -- 3. Deployments -- 4. Service Discovery -- 5. Data Flow -- 6. Consumers -- 7. Monitoring -- 8. Documentation -- 9. Collaboration. |
| Record Nr. | UNINA-9910254852803321 |
Hunter II Thomas
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in computers . Volume 98 / / Edited by Ali R. Hurson
| Advances in computers . Volume 98 / / Edited by Ali R. Hurson |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : Elsevier, , 2015 |
| Descrizione fisica | 1 online resource (247 p.) |
| Disciplina | 005.12 |
| Collana | Advances in computers |
| Soggetto topico |
Computers
Graphical user interfaces (Computer systems) System analysis |
| ISBN |
9780128023402
0128023406 9780128021323 0128021322 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Chapter 1: An Overview of Architecture-Level Power-and Energy-Efficient Design Techniques -- 1. Introduction -- 2. Metrics of Interest -- 3. Classification of Selected Architecture-Level Techniques -- 4. Presentation of Selected Architecture-Level Techniques -- 5. Future Trend -- 6. Conclusion -- References --
Chapter 2: A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems -- 1. Introduction -- 2. Sources of Corrupted Data -- 3. Sensor Networks: Application for Comparison -- 4. Detection of Corrupted Data -- 5. Mitigation of Data Corruption -- 6. Propagation of Corrupted Data -- 7. Conclusion and Future Direction -- References -- Chapter 3: A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs -- 1. Introduction -- 2. The Generic Model-based Testing Approach -- 3. Proposed Taxonomy Dimensions -- 4. A Research Review of Model-based Testing Tools -- 5. Running Example: The Coffee/Tea Vending Machine -- 6. Model-based Testing Tools for Pre/Post Notations -- 7. Model-based Testing Tools for Transition-based Notations -- 7.1. Finite State Machines -- Chapter 4: Preference Incorporation in Evolutionary Multiobjective Optimization: A Survey of the State-of-the-Art -- Index. |
| Record Nr. | UNINA-9911006713003321 |
| Amsterdam, Netherlands : , : Elsevier, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in self-organizing maps : 7th International workshop, WSOM 2009 : St. Augustine, FL, USA, june 8-10, 2009 : proceedings / José C. Prìncipe ...[et al.] (Eds.)
| Advances in self-organizing maps : 7th International workshop, WSOM 2009 : St. Augustine, FL, USA, june 8-10, 2009 : proceedings / José C. Prìncipe ...[et al.] (Eds.) |
| Autore | International workshop, WSOM : <7.; : 2009 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | X, 371 p. : ill. ; 24 cm |
| Disciplina | 005.12 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - St. Augustine - 2009 |
| ISBN | 978-3-642-02396-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003324940203316 |
|
International workshop, WSOM : <7.; : 2009
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
