Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 130 Treffer
- programming language 92 Treffer
- business 75 Treffer
- business.industry 75 Treffer
- software 63 Treffer
-
45 weitere Werte:
- 020204 information systems 59 Treffer
- 020201 artificial intelligence & image processing 54 Treffer
- computer.programming_language 44 Treffer
- media_common 33 Treffer
- media_common.quotation_subject 33 Treffer
- software bug 31 Treffer
- compiler 27 Treffer
- 01 natural sciences 24 Treffer
- software engineering 21 Treffer
- semantics (computer science) 20 Treffer
- 05 social sciences 19 Treffer
- code (cryptography) 18 Treffer
- 0102 computer and information sciences 17 Treffer
- 010201 computation theory & mathematics 17 Treffer
- artificial intelligence 17 Treffer
- debugging 17 Treffer
- java 17 Treffer
- theoretical computer science 16 Treffer
- formal verification 15 Treffer
- fos: computer and information sciences 15 Treffer
- machine learning 14 Treffer
- source code 14 Treffer
- test case 14 Treffer
- computer security 13 Treffer
- model checking 13 Treffer
- set (abstract data type) 13 Treffer
- formal methods 12 Treffer
- program analysis 12 Treffer
- data mining 11 Treffer
- proof assistant 11 Treffer
- static analysis 11 Treffer
- 020202 computer hardware & architecture 10 Treffer
- 020206 networking & telecommunications 10 Treffer
- 0501 psychology and cognitive sciences 10 Treffer
- 050101 languages & linguistics 10 Treffer
- computer.file_format 10 Treffer
- executable 10 Treffer
- implementation 10 Treffer
- software system 10 Treffer
- symbolic execution 10 Treffer
- computer science - software engineering 9 Treffer
- concurrency 9 Treffer
- safety, risk, reliability and quality 9 Treffer
- software engineering (cs.se) 9 Treffer
- fuzz testing 8 Treffer
Verlag
- acm 43 Treffer
- ieee 29 Treffer
- springer international publishing 23 Treffer
- association for computing machinery (acm) 10 Treffer
- hal ccsd 9 Treffer
-
19 weitere Werte:
- arxiv 5 Treffer
- institute of electrical and electronics engineers (ieee) 5 Treffer
- springer science and business media llc 5 Treffer
- elsevier bv 3 Treffer
- springer berlin heidelberg 3 Treffer
- springer 2 Treffer
- e.t.s. de ingenieros informaticos (upm) 1 Treffer
- eth zurich 1 Treffer
- hindawi limited 1 Treffer
- indian society for education and environment 1 Treffer
- institute of electronics, information and communications engineers (ieice) 1 Treffer
- internet society 1 Treffer
- pleiades publishing ltd 1 Treffer
- research publishing services 1 Treffer
- springer netherlands 1 Treffer
- springer us 1 Treffer
- the science and information organization 1 Treffer
- world scientific pub co pte lt 1 Treffer
- zenodo 1 Treffer
Publikation
- proceedings of the acm on programming languages 5 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 2 Treffer
- 2019 ieee/acm 41st international conference on software engineering (icse) 2 Treffer
- ieee transactions on software engineering 2 Treffer
- proceedings of the 38th international conference on software engineering companion 2 Treffer
-
45 weitere Werte:
- 2017 24th asia-pacific software engineering conference (apsec) 1 Treffer
- 2017 ieee frontiers in education conference (fie) 1 Treffer
- 2018 8th international conference on cloud computing, data science & engineering (confluence) 1 Treffer
- 2018 ieee 9th international conference on software engineering and service science (icsess) 1 Treffer
- 2018 joint 10th international conference on soft computing and intelligent systems (scis) and 19th international symposium on advanced intelligent systems (isis) 1 Treffer
- 2019 34th ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2019 ieee 19th international conference on software quality, reliability and security companion (qrs-c) 1 Treffer
- 2019 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2019 ieee/acm 16th international conference on mining software repositories (msr) 1 Treffer
- 2019 ieee/acm 41st international conference on software engineering: software engineering in practice (icse-seip) 1 Treffer
- 2020 8th international conference in software engineering research and innovation (conisoft) 1 Treffer
- 2021 ieee 29th annual international symposium on field-programmable custom computing machines (fccm) 1 Treffer
- 2021 ieee international conference on software analysis, evolution and reengineering (saner) 1 Treffer
- acm computing surveys 1 Treffer
- acm sigplan notices 1 Treffer
- acm sigsoft software engineering notes 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- automated software engineering 1 Treffer
- communications of the acm 1 Treffer
- complexity 1 Treffer
- computing 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- empirical software engineering 1 Treffer
- ieee access 1 Treffer
- ieee software 1 Treffer
- ieee transactions on circuits and systems ii: express briefs 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- ieice transactions on information and systems 1 Treffer
- indian journal of science and technology 1 Treffer
- international journal of advanced computer science and applications 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of functional programming 1 Treffer
- journal of interconnection networks 1 Treffer
- journal of systems and software 1 Treffer
- philosophical transactions. series a, mathematical, physical, and engineering sciences 1 Treffer
- proceedings of the 2016 acm conference on innovation and technology in computer science education 1 Treffer
- proceedings of the 2016 acm sigsac conference on computer and communications security 1 Treffer
- proceedings of the 2016 design, automation & test in europe conference & exhibition (date) 1 Treffer
- proceedings of the 2016 international symposium on code generation and optimization 1 Treffer
- proceedings of the 2017 acm international conference on management of data 1 Treffer
- proceedings of the 2017 acm sigcse technical symposium on computer science education 1 Treffer
- proceedings of the 26th acm international conference on architectural support for programming languages and operating systems 1 Treffer
- proceedings of the 26th international conference on compiler construction 1 Treffer
- proceedings of the 27th acm symposium on operating systems principles 1 Treffer
- proceedings of the 28th acm sigsoft international symposium on software testing and analysis 1 Treffer
Sprache
163 Treffer
-
In: Journal of Systems and Software, Jg. 160 (2020-02-01), S. 110456-110456Online unknownZugriff:
-
In: 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017-12-01Online unknownZugriff:
-
In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017-10-01Online unknownZugriff:
-
In: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021-03-22Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 162 (2018-09-01), S. 93-109Online unknownZugriff:
-
In: 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2019-07-01Online unknownZugriff:
-
In: Proceedings of the 38th International Conference on Software Engineering Companion, 2016-05-14Online unknownZugriff:
-
In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018-09-03Online unknownZugriff:
-
In: Proceedings of the Symposium on SDN Research, 2018-03-28Online unknownZugriff:
-
In: 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2016-07-01Online unknownZugriff:
-
Holistic Evaluation Framework for Automated Bug Triage Systems: Integration of Developer PerformanceIn: International Journal of Advanced Computer Science and Applications, Jg. 7 (2016)Online unknownZugriff:
-
In: IEEE Access, Jg. 9 (2021), S. 25002-25013Online unknownZugriff:
-
In: Automated Software Engineering, Jg. 28 (2021-05-18)Online unknownZugriff:
-
In: 2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2021-05-01Online unknownZugriff:
-
In: 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2021-03-01Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 37 (2018-08-01), S. 1692-1705Online unknownZugriff: