Arama Sonuçları - "On Spec"
Önerilen Konular
Önerilen Konular
- Literature: history & criticism 2
- linguistics 2
- Computer Science 1
- Computer programming 1
- Computer science 1
- Computers 1
- Computers and Society 1
- Computers and civilization 1
- Data Structures and Information Theory 1
- Data structures (Computer science) 1
- Diversity Management and Women in Business 1
- Diversity in the workplace 1
- European history 1
- History 1
- History of Computing 1
- Information theory 1
- Moral and ethical aspects 1
- Natural Language Processing (NLP) 1
- Natural language processing (Computer science) 1
- Philosophy 1
- Programming Techniques 1
- Research & information: general 1
- Science 1
- Science Ethics 1
- Software Engineering 1
- Software engineering 1
- Technology: general issues 1
- Theory of Computation 1
-
101
-
102
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Baskı/Yayın Bilgisi 2021İçindekiler: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata
Elektronik Ekitap -
103
-
104
Tourism promotion system in Poland in the context of selected National Strategic Documents
Baskı/Yayın Bilgisi 2021Connect to this object online.
Kitap -
105
-
106
-
107
Manajemen Sumber Daya Terhadap Mutu Pelayanan Neonatus Di Puskesmas PONED Oesao Kupang
Baskı/Yayın Bilgisi 2017Connect to this object online.
Kitap -
108
-
109
PERILAKU SOSIAL REMAJA TUNAGRAHITA RINGAN DI SPLB-C YPLB CIPAGANTI
Baskı/Yayın Bilgisi 2016Link Metadata
Kitap -
110
-
111
-
112
-
113
-
114
-
115
-
116
Reflections on the origin and history of the Education Inspectorate
Baskı/Yayın Bilgisi 2006Connect to this object online.
Kitap -
117
-
118
-
119
Implementasi Virtual Reality Pada Museum Radya Pustaka
Baskı/Yayın Bilgisi 2016Connect to this object online
Kitap -
120
PERBANDINGAN KECEPATAN BERBAGAI MERK BOLA PADA OLAHRAGA SEPAKBOLA
Baskı/Yayın Bilgisi 2017Link Metadata
Kitap