Výsledky vyhľadávania - "architecture verification and validation"

Formal Methods

Prispievatelia: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93255

Computer Aided Verification

Prispievatelia: Enea, Constantin Lal, Akash

Predmety: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, embedded systems, model checking, programming languages, software architecture, software design, software quality, logic and verification

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/75410

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings

Autori: Bonfanti, Silvia Gargantini, Angelo Salvaneschi, Paolo

Zdroj: Lecture Notes in Computer Science ISBN: 9783031432392

Predmety: Architecting, architecture verification and validation, artificial intelligence, automata theory, computer hardware, Software testing, Software engineering, Verification, Model-based testing, Combinatorial testing, Functional testing, Compositional testing, Fuzzing testing, Regression testing, Mobile testing, Test automation, Security testing, Software vulnerability, Smart contracts, Property-oriented testing

Popis súboru: application/pdf

Prístupová URL adresa: https://link.springer.com/book/10.1007/978-3-031-43240-8
https://doi.org/10.1007/978-3-031-43240-8
https://hdl.handle.net/10446/255990

Computer Aided Verification

Prispievatelia: Shoham, Sharon Vizel, Yakir

Predmety: architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, databases, distributed computer systems, embedded systems, engineering, formal languages, formal logic, linguistics, mathematics, model checking, software architecture, software design, software engineering, software quality, theoretical computer science, Software Engineering, Artificial intelligence, Computer networking and communications, Computer science

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/57931

Fundamental Approaches to Software Engineering

Prispievatelia: Johnsen, Einar Broch Wimmer, Manuel

Predmety: 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, Software Engineering, Computer science, Algorithms and data structures, Systems analysis and design, Computing and Information Technology, Natural language and machine translation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54029

Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)

Autori: MH ter Beek R Monahan

Zdroj: info:cnr-pdr/source/autori:M.H. ter Beek; R. Monahan/titolo:Integrated Formal Methods-Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)/editore:/anno:2022

Predmety: Signal processing, Artificial intelligence, Model checking, Software engineering, Embedded systems, Formal methods, Architecture verification and validation, Software architecture, Verification and validation, Software quality, Programming languages, Computer programming, Computer systems, Formal logic, Graph theory, Formal languages, Engineering, Theoretical computer science, Software design

Popis súboru: application/pdf

Prístupová URL adresa: https://link.springer.com/book/10.1007/978-3-031-07727-2
https://hdl.handle.net/20.500.14243/444218
https://doi.org/10.1007/978-3-031-07727-2

Coordination Models and Languages - Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)

Autori: ter Beek MH Sirjani M

Zdroj: info:cnr-pdr/source/autori:ter Beek M.H.; Sirjani M./titolo:Coordination Models and Languages-Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)/editore:/anno:2022

Predmety: Signal processing, Artificial intelligence, Internet, Software engineering, Embedded systems, Architecture verification and validation, Software architecture, Software quality, Linguistics, Computer programming, Computer systems, Distributed systems, Distributed computer systems, Graph theory, Engineering, Computer Science, Software design, Architecting, Computer networks, Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/20.500.14243/442233
https://doi.org/10.1007/978-3-031-08143-9
https://link.springer.com/book/10.1007/978-3-031-08143-9

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Groote, Jan Friso Larsen, Kim Guldstrand

Predmety: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48219

Fundamental Approaches to Software Engineering

Prispievatelia: Guerra, Esther Stoelinga, Mariëlle

Predmety: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48217

Transactions on Petri Nets and Other Models of Concurrency XVI

Autori: Koutny, Maciej Kordon, Fabrice Moldt, Daniel

Prispievatelia: Koutny, Maciej Kordon, Fabrice Moldt, Daniel

Zdroj: Lecture Notes in Computer Science ISBN: 9783662653029
Lecture Notes in Computer Science ISBN: 9783662630785

Predmety: architecture verification and validation, software architecture, graph theory, verification and validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], petri nets, Petri Nets, Models of Concurrency, artificial intelligence, software quality, automata theory, software design, model checking, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, computer programming, programming languages, embedded systems, formal logic, verification, software engineering, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/10281/370572
https://doi.org/10.1007/978-3-662-63079-2
https://hal.sorbonne-universite.fr/hal-03157708v1
https://doi.org/10.1007/978-3-662-63079-2

Computer Aided Verification

Prispievatelia: Lahiri, Shuvendu K. Wang, Chao

Predmety: Software Engineering, Theory of Computation, Artificial Intelligence, Computer Systems Organization and Communication Networks, Computer Hardware, Simulation and Modeling, Computer Engineering and Networks, Computer Science, architecture verification and validation, artificial intelligence, automata theory, computer systems, correlation analysis, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, model checking, programming languages, semantics, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Artificial intelligence, Computer networking & communications, Computer hardware, Computer modelling & simulation, Computer networking and communications, Computer modelling and simulation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/41296

Formal Methods ; 978-3-031-71177-0.pdf

Prispievatelia: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29

Dostupnosť: https://library.oapen.org/handle/20.500.12657/93255
https://hdl.handle.net/20.500.12657/93255
https://link.springer.com/978-3-031-71177-0

Formal Methods ; 978-3-031-71162-6.pdf

Prispievatelia: Platzer, André Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28

Dostupnosť: https://library.oapen.org/handle/20.500.12657/93254
https://hdl.handle.net/20.500.12657/93254
https://link.springer.com/978-3-031-71162-6

From data to models and back:10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers

Prispievatelia: Kuster Filipe Bowles, Juliana Broccia, Giovanna Pellungrini, Roberto

Zdroj: Kuster Filipe Bowles , J , Broccia , G & Pellungrini , R (eds) 2022 , From data to models and back : 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers . Lecture notes in computer science , vol. 13268 , Springer , Cham . https://doi.org/10.1007/978-3-031-16011-0

Predmety: Architecting, Architecture verification and validation, Artificial intelligence, Computer networks, Correlation analysis, Data mining, Databases, Embedded systems, Formal logic, Formal methods, Machine learning, Model checking, Network protocols, Signal processing, Software architecture, Software design, Software engineering, Theoretical computer science

Relation: urn:ISBN:9783031160103

Dostupnosť: https://research-portal.st-andrews.ac.uk/en/publications/a878bfea-f7a3-4e71-ba6f-98192779864a
https://doi.org/10.1007/978-3-031-16011-0
https://discover.libraryhub.jisc.ac.uk/search?isn=9783031160103&rn=1

Testing Software and Systems ; Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

Autori: Clark, David Menéndez, Héctor D. Cavalli, Ana, R a ďalší

Prispievatelia: Clark, David Menéndez, Héctor D. Cavalli, Ana, R a ďalší

Zdroj: IFIP International Conference on Testing Software and Systems (ICTSS) ; https://hal.science/hal-04478239 ; IFIP International Conference on Testing Software and Systems (ICTSS), 13045, 2022, Lecture Notes in Computer Science, 978-3-031-04673-5. ⟨10.1007/978-3-031-04673-5⟩

Predmety: Architecting, Architecture verification and validation, Artificial intelligence, Automata theory, Computer hardware, Computer networks, Computer programming, Computer systems, Embedded systems, Field Programmable Gate Array (FPGA), Finite automata, Finite state machines, Microprocessor chips, Programming languages, Software architecture, Software design, Software engineering, Theoretical computer science, [INFO]Computer Science [cs]

Dostupnosť: https://hal.science/hal-04478239
https://doi.org/10.1007/978-3-031-04673-5

Computer Aided Verification ; 978-3-031-37706-8.pdf

Prispievatelia: Enea, Constantin Lal, Akash

Predmety: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377068_32; OCN: 1390710955

Dostupnosť: https://library.oapen.org/handle/20.500.12657/75412
https://hdl.handle.net/20.500.12657/75412
https://link.springer.com/978-3-031-37706-8

Computer Aided Verification ; 978-3-031-37703-7.pdf

Prispievatelia: Enea, Constantin Lal, Akash

Predmety: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, embedded systems, model checking, programming languages, software architecture, software design, software quality, logic and verification

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377037_31; OCN: 1391143757

Dostupnosť: https://library.oapen.org/handle/20.500.12657/75410
https://hdl.handle.net/20.500.12657/75410
https://link.springer.com/978-3-031-37703-7

Computer Aided Verification ; 978-3-031-37709-9.pdf

Prispievatelia: Enea, Constantin Lal, Akash

Predmety: architecture verification and validation, artificial intelligence, computer programming, computer systems, distributed systems, embedded systems, formal logic, model checking, programming languages, software architecture, software design, software quality, software engineering, logic and verification

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377099_33; OCN: 1390709841

Dostupnosť: https://library.oapen.org/handle/20.500.12657/75413
https://hdl.handle.net/20.500.12657/75413
https://link.springer.com/978-3-031-37709-9

Fundamental Approaches to Software Engineering ; 978-3-030-99429-7.pdf

Prispievatelia: Johnsen, Einar Broch Wimmer, Manuel

Predmety: 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

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20220413_9783030994297_24; OCN: 1308973774

Dostupnosť: https://library.oapen.org/handle/20.500.12657/54029
https://hdl.handle.net/20.500.12657/54029
https://link.springer.com/978-3-030-99429-7

Computer Aided Verification ; 978-3-031-13185-1.pdf

Prispievatelia: Shoham, Sharon Vizel, Yakir

Predmety: architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, distributed computer systems, distributed systems, embedded systems, formal logic, mathematics, model checking, programming languages, software architecture, software design, software engineering, software quality, theoretical computer science, verification, verification and validation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20220817_9783031131851_24; OCN: 1341275496

Dostupnosť: https://library.oapen.org/handle/20.500.12657/57930
https://hdl.handle.net/20.500.12657/57930
https://link.springer.com/978-3-031-13185-1