Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 33 Treffer
- computer 33 Treffer
- business 27 Treffer
- business.industry 27 Treffer
- computer.software_genre 26 Treffer
-
45 weitere Werte:
- software 20 Treffer
- 020201 artificial intelligence & image processing 17 Treffer
- programming language 17 Treffer
- 020204 information systems 12 Treffer
- software engineering 12 Treffer
- computer.programming_language 11 Treffer
- correctness 11 Treffer
- formal methods 11 Treffer
- formal verification 10 Treffer
- computer.file_format 9 Treffer
- executable 9 Treffer
- java 8 Treffer
- media_common 8 Treffer
- media_common.quotation_subject 8 Treffer
- model checking 7 Treffer
- 01 natural sciences 6 Treffer
- runtime verification 6 Treffer
- software development 6 Treffer
- 0102 computer and information sciences 5 Treffer
- 010201 computation theory & mathematics 5 Treffer
- 020202 computer hardware & architecture 5 Treffer
- embedded system 5 Treffer
- software bug 5 Treffer
- distributed computing 4 Treffer
- specification language 4 Treffer
- state (computer science) 4 Treffer
- static analysis 4 Treffer
- theoretical computer science 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- 05 social sciences 3 Treffer
- 0501 psychology and cognitive sciences 3 Treffer
- 050101 languages & linguistics 3 Treffer
- blockchain 3 Treffer
- compiler 3 Treffer
- component-based software engineering 3 Treffer
- computer science applications 3 Treffer
- information systems 3 Treffer
- operational semantics 3 Treffer
- parallel computing 3 Treffer
- regression testing 3 Treffer
- safety, risk, reliability and quality 3 Treffer
- semantics (computer science) 3 Treffer
- set (abstract data type) 3 Treffer
- smart contract 3 Treffer
- software verification 3 Treffer
Verlag
- ieee 9 Treffer
- acm 5 Treffer
- hal ccsd 5 Treffer
- association for computing machinery (acm) 4 Treffer
- elsevier bv 4 Treffer
-
12 weitere Werte:
- springer international publishing 4 Treffer
- springer berlin heidelberg 2 Treffer
- ieee-inst electrical electronics engineers inc 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- mdpi ag 1 Treffer
- multidisciplinary digital publishing institute 1 Treffer
- open publishing association 1 Treffer
- pleiades publishing ltd 1 Treffer
- scitepress 1 Treffer
- springer science and business media llc 1 Treffer
- springer verlag 1 Treffer
- zenodo 1 Treffer
Publikation
- proceedings of the 31st ieee/acm international conference on automated software engineering 2 Treffer
- proceedings of the acm on programming languages 2 Treffer
- science of computer programming 2 Treffer
- 2016 13th international bhurban conference on applied sciences and technology (ibcast) 1 Treffer
- 2018 8th international conference on cloud computing, data science & engineering (confluence) 1 Treffer
-
15 weitere Werte:
- 2018 international conference on applied smart systems (icass) 1 Treffer
- 2019 ieee congress on evolutionary computation (cec) 1 Treffer
- 2019 ieee/acm 41st international conference on software engineering (icse) 1 Treffer
- 2020 ieee symposium on security and privacy (sp) 1 Treffer
- acm transactions on design automation of electronic systems 1 Treffer
- automated software engineering 1 Treffer
- computers in entertainment 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- ieee transactions on software engineering 1 Treffer
- information 1 Treffer
- information and software technology 1 Treffer
- mathematics 1 Treffer
- proceedings of the 2016 24th acm sigsoft international symposium on foundations of software engineering 1 Treffer
- programming and computer software 1 Treffer
Sprache
44 Treffer
-
In: Automated Software Engineering, Jg. 26 (2019-11-21), S. 795-837Online unknownZugriff:
-
How good are the specs? a study of the bug-finding effectiveness of existing Java API specificationsIn: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016-08-25Online unknownZugriff:
-
In: Computers in Entertainment, Jg. 15 (2017-03-01), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice, 2020-06-27Online unknownZugriff:
-
In: 2019 IEEE Congress on Evolutionary Computation (CEC), 2019-06-01Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-24Online unknownZugriff:
-
In: Information and Software Technology, Jg. 133 (2021-05-01), S. 106503-106503Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 130 (2016-11-01), S. 2-23Online unknownZugriff:
-
In: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019-05-01Online unknownZugriff:
-
In: 2018 8th International Conference on Cloud Computing, Data Science & Engineering (Confluence), 2018Online unknownZugriff:
-
In: Programming and Computer Software, Jg. 45 (2019-12-01), S. 590-599Online unknownZugriff:
-
In: Information, Jg. 12 (2021-07-01), Heft 277Online unknownZugriff:
-
In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021-04-01Online unknownZugriff:
-
In: Mathematics, 2021-02-07Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 284 (2018-11-27), S. 53-70Online unknownZugriff:
-
In: ACM Transactions on Design Automation of Electronic Systems, Jg. 23 (2018-08-25), S. 1-26Online unknownZugriff: