Výsledky vyhľadávania - "architecture verification and validation"
-
1
Prispievatelia: 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
-
2
Prispievatelia:
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
-
3
Autori:
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
-
4
Prispievatelia:
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
-
5
Prispievatelia:
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
-
6
Autori:
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
-
7
Autori:
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
-
8
Prispievatelia:
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
-
9
Prispievatelia:
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
-
10
Autori:
Prispievatelia:
Zdroj: Lecture Notes in Computer Science ISBN: 9783662653029
Lecture Notes in Computer Science ISBN: 9783662630785Predmety: 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
-
11
Prispievatelia:
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
-
12
Prispievatelia: 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
-
13
Prispievatelia: 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
-
14
Prispievatelia:
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
-
15
Autori: a ďalší
Prispievatelia: 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]
-
16
Prispievatelia:
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
-
17
Prispievatelia:
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
-
18
Prispievatelia:
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
-
19
Prispievatelia:
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
-
20
Prispievatelia:
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
Full Text Finder
Nájsť tento článok vo Web of Science