Formal Methods and Software Engineering [[electronic resource] ] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / / edited by Jing Sun, Meng Sun |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXII, 474 p. 115 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer system failures Computers Mathematical logic Special purpose computers Software Engineering Logics and Meanings of Programs System Performance and Evaluation The Computing Profession Mathematical Logic and Formal Languages Special Purpose and Application-Based Systems |
ISBN | 3-030-02450-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. |
Record Nr. | UNISA-996466453403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / / edited by Jing Sun, Meng Sun |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXII, 474 p. 115 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer system failures Computers Mathematical logic Special purpose computers Software Engineering Logics and Meanings of Programs System Performance and Evaluation The Computing Profession Mathematical Logic and Formal Languages Special Purpose and Application-Based Systems |
ISBN | 3-030-02450-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. |
Record Nr. | UNINA-9910349397403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Theoretical Aspects of Software Engineering [[electronic resource] ] : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings / / edited by Cristina David, Meng Sun |
Autore | David Cristina |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (375 pages) |
Disciplina | 005.1 |
Altri autori (Persone) | SunMeng |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Software Engineering |
ISBN | 3-031-35257-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Systems with Runtime Assurance Architectures -- Continuation-Passing Style into Static Single Assignment Form -- Framework based on Reinforcement Learning -- Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning -- Based Embedded Software Design -- Probabilistic Contracts Using Timed Automata -- Asynchronous test equivalence over timed processes -- Protocol Conformance with Choreographic PlusCal -- Verifying Chips Design at RTL Level -- Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks -- A hierarchical spatial logic for knowledge sharing and fusion in intelligent connected vehicle cooperation -- VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects -- Identifying Minimal Changes in the Zone Abstract Domain -- idDL2DL - Interval syntax to DL -- Safety Verification for Neural Networks Based on Set-boundary Analysis -- Approximately learning quantum automata -- View-Based Axiomatic Reasoning for PSO -- Resource Sensitive Workflow Models -- MTCD: An Efficient Cloning Detection Technique Based on Method Table -- Stepwise development of paraconsistent processes -- Detecting API-Misuse based on Pattern Mining via API Usage Graph with Parameters. |
Record Nr. | UNISA-996538665203316 |
David Cristina | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings / / edited by Cristina David, Meng Sun |
Autore | David Cristina |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (375 pages) |
Disciplina | 005.1 |
Altri autori (Persone) | SunMeng |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Software Engineering |
ISBN | 3-031-35257-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Systems with Runtime Assurance Architectures -- Continuation-Passing Style into Static Single Assignment Form -- Framework based on Reinforcement Learning -- Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning -- Based Embedded Software Design -- Probabilistic Contracts Using Timed Automata -- Asynchronous test equivalence over timed processes -- Protocol Conformance with Choreographic PlusCal -- Verifying Chips Design at RTL Level -- Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks -- A hierarchical spatial logic for knowledge sharing and fusion in intelligent connected vehicle cooperation -- VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects -- Identifying Minimal Changes in the Zone Abstract Domain -- idDL2DL - Interval syntax to DL -- Safety Verification for Neural Networks Based on Set-boundary Analysis -- Approximately learning quantum automata -- View-Based Axiomatic Reasoning for PSO -- Resource Sensitive Workflow Models -- MTCD: An Efficient Cloning Detection Technique Based on Method Table -- Stepwise development of paraconsistent processes -- Detecting API-Misuse based on Pattern Mining via API Usage Graph with Parameters. |
Record Nr. | UNINA-9910734899203321 |
David Cristina | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|