Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/2716
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Cerone, Antonio, ; editor. ; | en_US |
| dc.contributor.author | Roveri, Marco, ; editor. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:40:10Z | - |
| dc.date.available | 2020-05-17T08:40:10Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319747811 ; 978-3-319-74781-1 ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/2716 | - |
| dc.description | en_US | |
| dc.description | 42 ; | en_US |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319747804 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium eeFrom Data to Models and Back"; FAACS 2017 -- e1st Workshop on Formal Approaches for Advanced Computing Systems;eMSE 2017 -- 1st Workshop on Microservices: Science and Engineering;eCoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;eFOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . ; | en_US |
| dc.description.statementofresponsibility | edited by Antonio Cerone, Marco Roveri. | en_US |
| dc.description.tableofcontents | DataMod -- Temporal Analytics for Software Usage Models -- Sequential Pattern Mining for ICT Risk Assessment and Prevention -- Student performance prediction and optimal course selection: An MDP approach -- An Algorithm for Simulating Human Selective Attention -- Learning Decision Trees from Synthetic Data Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes -- A computational model of Internet addiction phenomena in social networks -- What belongs to contexte A definition, a criterion and a method for deciding on what context-aware systems should sense and adapt to -- Finding all minimum-size DFA consistent with given examples: SAT-based approach -- FAACS -- Intercepting Blackhole Attacks in MANETs: An ASM-based Model -- Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines -- Design-time to Run-time Verification of Microservices Based Applications -- Generalized Oracle for Testing Machine Learning Computer Programs -- MSE | en_US |
| dc.description.tableofcontents | SEFM 2017 -- A Formal Framework for Specifying and Verifying Microservices Based Process Flows -- Towards a Taxonomy of Microservices Architectures -- Towards a reference dataset of microservice-based applications -- Towards a UML Profile for Domain-driven Design of Microservice Architectures -- A Framework for Modelling Variable Microservices as Software Product Lines -- CoSim-CPS -- A Refinement Approach to Analyse Critical Cyber-Physical Systems -- Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems -- Integrated simulation and formal verification of a simple autonomous vehicle -- Co-Simulation between Trnsys and Simulink based on Type155 -- Development of a Driverless Lawn Mower using Co-Simulation -- Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios -- Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems -- Features of Integrated Model-based Co-modelling and Co-simulation Technology -- A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) -- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles -- Co-simulation of semi-autonomous systems: the Line Follower Robot case study -- A Framework for the Co-Simulation of Engine Controls and Task Scheduling -- Formalising Cosimulation Models -- FOCLASA -- Towards the performance analysis of elastic systems with e-Motions -- From (incomplete) TOSCA speci_cations to running applications, with Docker -- Combining Trust and Aggregate Computing -- Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation -- Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives -- Using Coq for Formal Modeling and Verification of Timed Connectors -- An initial user study comparing the readability of a graphical coordination model with Event-B notation.e. ; | en_US |
| dc.format.extent | X, 592 pages 204 illustrations : ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10729 ; | en_US |
| dc.relation.ispartofseries | Lecture notes in computer science. ; 0302-9743 ; ; 10729. ; | en_US |
| dc.relation.haspart | 9783319747811.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer hardware. ; | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | Software E | en_US |
| dc.title | Software Engineering and Formal Methods | en_US |
| dc.title.alternative | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| dc.classification.lc | QA76.9.L63 ; | en_US |
| dc.classification.lc | QA76.5913 ; | en_US |
| dc.classification.lc | QA76.63 ; | en_US |
| dc.classification.dc | 005.1015113 ; 23 ; | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319747811.pdf | 39.03 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Cerone, Antonio, ; editor. ; | en_US |
| dc.contributor.author | Roveri, Marco, ; editor. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:40:10Z | - |
| dc.date.available | 2020-05-17T08:40:10Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319747811 ; 978-3-319-74781-1 ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/2716 | - |
| dc.description | en_US | |
| dc.description | 42 ; | en_US |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319747804 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium eeFrom Data to Models and Back"; FAACS 2017 -- e1st Workshop on Formal Approaches for Advanced Computing Systems;eMSE 2017 -- 1st Workshop on Microservices: Science and Engineering;eCoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;eFOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . ; | en_US |
| dc.description.statementofresponsibility | edited by Antonio Cerone, Marco Roveri. | en_US |
| dc.description.tableofcontents | DataMod -- Temporal Analytics for Software Usage Models -- Sequential Pattern Mining for ICT Risk Assessment and Prevention -- Student performance prediction and optimal course selection: An MDP approach -- An Algorithm for Simulating Human Selective Attention -- Learning Decision Trees from Synthetic Data Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes -- A computational model of Internet addiction phenomena in social networks -- What belongs to contexte A definition, a criterion and a method for deciding on what context-aware systems should sense and adapt to -- Finding all minimum-size DFA consistent with given examples: SAT-based approach -- FAACS -- Intercepting Blackhole Attacks in MANETs: An ASM-based Model -- Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines -- Design-time to Run-time Verification of Microservices Based Applications -- Generalized Oracle for Testing Machine Learning Computer Programs -- MSE | en_US |
| dc.description.tableofcontents | SEFM 2017 -- A Formal Framework for Specifying and Verifying Microservices Based Process Flows -- Towards a Taxonomy of Microservices Architectures -- Towards a reference dataset of microservice-based applications -- Towards a UML Profile for Domain-driven Design of Microservice Architectures -- A Framework for Modelling Variable Microservices as Software Product Lines -- CoSim-CPS -- A Refinement Approach to Analyse Critical Cyber-Physical Systems -- Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems -- Integrated simulation and formal verification of a simple autonomous vehicle -- Co-Simulation between Trnsys and Simulink based on Type155 -- Development of a Driverless Lawn Mower using Co-Simulation -- Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios -- Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems -- Features of Integrated Model-based Co-modelling and Co-simulation Technology -- A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) -- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles -- Co-simulation of semi-autonomous systems: the Line Follower Robot case study -- A Framework for the Co-Simulation of Engine Controls and Task Scheduling -- Formalising Cosimulation Models -- FOCLASA -- Towards the performance analysis of elastic systems with e-Motions -- From (incomplete) TOSCA speci_cations to running applications, with Docker -- Combining Trust and Aggregate Computing -- Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation -- Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives -- Using Coq for Formal Modeling and Verification of Timed Connectors -- An initial user study comparing the readability of a graphical coordination model with Event-B notation.e. ; | en_US |
| dc.format.extent | X, 592 pages 204 illustrations : ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10729 ; | en_US |
| dc.relation.ispartofseries | Lecture notes in computer science. ; 0302-9743 ; ; 10729. ; | en_US |
| dc.relation.haspart | 9783319747811.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer hardware. ; | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | Software E | en_US |
| dc.title | Software Engineering and Formal Methods | en_US |
| dc.title.alternative | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| dc.classification.lc | QA76.9.L63 ; | en_US |
| dc.classification.lc | QA76.5913 ; | en_US |
| dc.classification.lc | QA76.63 ; | en_US |
| dc.classification.dc | 005.1015113 ; 23 ; | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319747811.pdf | 39.03 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Cerone, Antonio, ; editor. ; | en_US |
| dc.contributor.author | Roveri, Marco, ; editor. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:40:10Z | - |
| dc.date.available | 2020-05-17T08:40:10Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319747811 ; 978-3-319-74781-1 ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/2716 | - |
| dc.description | en_US | |
| dc.description | 42 ; | en_US |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319747804 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium eeFrom Data to Models and Back"; FAACS 2017 -- e1st Workshop on Formal Approaches for Advanced Computing Systems;eMSE 2017 -- 1st Workshop on Microservices: Science and Engineering;eCoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;eFOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . ; | en_US |
| dc.description.statementofresponsibility | edited by Antonio Cerone, Marco Roveri. | en_US |
| dc.description.tableofcontents | DataMod -- Temporal Analytics for Software Usage Models -- Sequential Pattern Mining for ICT Risk Assessment and Prevention -- Student performance prediction and optimal course selection: An MDP approach -- An Algorithm for Simulating Human Selective Attention -- Learning Decision Trees from Synthetic Data Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes -- A computational model of Internet addiction phenomena in social networks -- What belongs to contexte A definition, a criterion and a method for deciding on what context-aware systems should sense and adapt to -- Finding all minimum-size DFA consistent with given examples: SAT-based approach -- FAACS -- Intercepting Blackhole Attacks in MANETs: An ASM-based Model -- Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines -- Design-time to Run-time Verification of Microservices Based Applications -- Generalized Oracle for Testing Machine Learning Computer Programs -- MSE | en_US |
| dc.description.tableofcontents | SEFM 2017 -- A Formal Framework for Specifying and Verifying Microservices Based Process Flows -- Towards a Taxonomy of Microservices Architectures -- Towards a reference dataset of microservice-based applications -- Towards a UML Profile for Domain-driven Design of Microservice Architectures -- A Framework for Modelling Variable Microservices as Software Product Lines -- CoSim-CPS -- A Refinement Approach to Analyse Critical Cyber-Physical Systems -- Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems -- Integrated simulation and formal verification of a simple autonomous vehicle -- Co-Simulation between Trnsys and Simulink based on Type155 -- Development of a Driverless Lawn Mower using Co-Simulation -- Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios -- Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems -- Features of Integrated Model-based Co-modelling and Co-simulation Technology -- A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) -- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles -- Co-simulation of semi-autonomous systems: the Line Follower Robot case study -- A Framework for the Co-Simulation of Engine Controls and Task Scheduling -- Formalising Cosimulation Models -- FOCLASA -- Towards the performance analysis of elastic systems with e-Motions -- From (incomplete) TOSCA speci_cations to running applications, with Docker -- Combining Trust and Aggregate Computing -- Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation -- Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives -- Using Coq for Formal Modeling and Verification of Timed Connectors -- An initial user study comparing the readability of a graphical coordination model with Event-B notation.e. ; | en_US |
| dc.format.extent | X, 592 pages 204 illustrations : ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10729 ; | en_US |
| dc.relation.ispartofseries | Lecture notes in computer science. ; 0302-9743 ; ; 10729. ; | en_US |
| dc.relation.haspart | 9783319747811.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer hardware. ; | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | Software E | en_US |
| dc.title | Software Engineering and Formal Methods | en_US |
| dc.title.alternative | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| dc.classification.lc | QA76.9.L63 ; | en_US |
| dc.classification.lc | QA76.5913 ; | en_US |
| dc.classification.lc | QA76.63 ; | en_US |
| dc.classification.dc | 005.1015113 ; 23 ; | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319747811.pdf | 39.03 MB | Adobe PDF | Preview File |