Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 223 Treffer
- software 159 Treffer
- 020204 information systems 131 Treffer
- computer.programming_language 90 Treffer
- software bug 84 Treffer
-
45 weitere Werte:
- media_common 80 Treffer
- media_common.quotation_subject 80 Treffer
- 020201 artificial intelligence & image processing 68 Treffer
- software engineering 53 Treffer
- debugging 49 Treffer
- code (cryptography) 47 Treffer
- java 44 Treffer
- software development 37 Treffer
- source code 37 Treffer
- 01 natural sciences 27 Treffer
- correctness 26 Treffer
- symbolic execution 23 Treffer
- compiler 22 Treffer
- fos: computer and information sciences 21 Treffer
- static analysis 21 Treffer
- static program analysis 19 Treffer
- test case 19 Treffer
- code refactoring 18 Treffer
- software_softwareengineering 18 Treffer
- 05 social sciences 17 Treffer
- artificial intelligence 17 Treffer
- computer science - software engineering 17 Treffer
- software engineering (cs.se) 17 Treffer
- model checking 16 Treffer
- theoretical computer science 16 Treffer
- 020206 networking & telecommunications 15 Treffer
- fuzz testing 15 Treffer
- javascript 15 Treffer
- formal verification 14 Treffer
- semantics (computer science) 14 Treffer
- software quality 14 Treffer
- 020202 computer hardware & architecture 13 Treffer
- code coverage 13 Treffer
- scalability 13 Treffer
- 0102 computer and information sciences 12 Treffer
- 010201 computation theory & mathematics 12 Treffer
- concurrency 12 Treffer
- program analysis 12 Treffer
- set (abstract data type) 12 Treffer
- software maintenance 12 Treffer
- software system 12 Treffer
- 0103 physical sciences 11 Treffer
- computer graphics and computer-aided design 11 Treffer
- context (language use) 11 Treffer
- general computer science 11 Treffer
Verlag
- ieee 70 Treffer
- acm 68 Treffer
- springer international publishing 14 Treffer
- hal ccsd 12 Treffer
- elsevier bv 9 Treffer
-
28 weitere Werte:
- springer science and business media llc 9 Treffer
- institute of electrical and electronics engineers (ieee) 7 Treffer
- association for computing machinery (acm) 6 Treffer
- springer berlin heidelberg 6 Treffer
- arxiv 5 Treffer
- springer 4 Treffer
- world scientific pub co pte lt 3 Treffer
- pleiades publishing ltd 2 Treffer
- springer verlag 2 Treffer
- association for computing machinery 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- atlantis press 1 Treffer
- cambridge university press (cup) 1 Treffer
- e.t.s. de ingenieros informaticos (upm) 1 Treffer
- facultad de informatica (upm) 1 Treffer
- hindawi limited 1 Treffer
- ieee computer soc 1 Treffer
- ieee computer society 1 Treffer
- indian society for education and environment 1 Treffer
- international joint conferences on artificial intelligence organization 1 Treffer
- multidisciplinary digital publishing institute 1 Treffer
- new york : acm 1 Treffer
- research publishing services 1 Treffer
- science publications 1 Treffer
- the author(s). published by elsevier b.v. 1 Treffer
- the science and information organization 1 Treffer
- wiley 1 Treffer
- zhejiang university press 1 Treffer
Publikation
- proceedings of the 31st ieee/acm international conference on automated software engineering 5 Treffer
- proceedings of the 38th international conference on software engineering 5 Treffer
- 2017 ieee/acm 39th international conference on software engineering (icse) 4 Treffer
- ieee transactions on software engineering 4 Treffer
- proceedings of the 2016 24th acm sigsoft international symposium on foundations of software engineering 4 Treffer
-
45 weitere Werte:
- 2016 ieee 23rd international conference on software analysis, evolution, and reengineering (saner) 3 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 3 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 3 Treffer
- acm sigplan notices 3 Treffer
- international journal of software engineering and knowledge engineering 3 Treffer
- proceedings of the 2017 11th joint meeting on foundations of software engineering 3 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 3 Treffer
- 2016 ieee 40th annual computer software and applications conference (compsac) 2 Treffer
- 2017 ieee international conference on software testing, verification and validation (icst) 2 Treffer
- 2019 ieee 26th international conference on software analysis, evolution and reengineering (saner) 2 Treffer
- 2019 ieee/acm 41st international conference on software engineering (icse) 2 Treffer
- companion proceedings of the 2016 acm sigplan international conference on systems, programming, languages and applications: software for humanity 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- empirical software engineering 2 Treffer
- ieee access 2 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 2 Treffer
- information and software technology 2 Treffer
- journal of logical and algebraic methods in programming 2 Treffer
- procedia computer science 2 Treffer
- proceedings of the 38th international conference on software engineering companion 2 Treffer
- proceedings of the 41st acm sigplan conference on programming language design and implementation 2 Treffer
- programming and computer software 2 Treffer
- science china information sciences 2 Treffer
- 2016 ieee 24th international conference on program comprehension (icpc) 1 Treffer
- 2016 ieee 5th global conference on consumer electronics 1 Treffer
- 2016 ieee east-west design & test symposium (ewdts) 1 Treffer
- 2016 ieee frontiers in education conference (fie) 1 Treffer
- 2016 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2016 ieee symposium on visual languages and human-centric computing (vl/hcc) 1 Treffer
- 2016 second international conference on computational intelligence & communication technology (cict) 1 Treffer
- 2017 18th ieee/acis international conference on software engineering, artificial intelligence, networking and parallel/distributed computing (snpd) 1 Treffer
- 2017 24th asia-pacific software engineering conference (apsec) 1 Treffer
- 2017 ieee 24th international conference on software analysis, evolution and reengineering (saner) 1 Treffer
- 2017 ieee 41st annual computer software and applications conference (compsac) 1 Treffer
- 2017 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2017 ieee international symposium on performance analysis of systems and software (ispass) 1 Treffer
- 2017 twelfth international conference on digital information management (icdim) 1 Treffer
- 2018 8th international conference on cloud computing, data science & engineering (confluence) 1 Treffer
- 2018 8th international conference on computer science and information technology (csit) 1 Treffer
- 2018 ieee 42nd annual computer software and applications conference (compsac) 1 Treffer
- 2018 ieee international conference on progress in informatics and computing (pic) 1 Treffer
- 2018 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2018 joint 7th international conference on informatics, electronics & vision (iciev) and 2018 2nd international conference on imaging, vision & pattern recognition (icivpr) 1 Treffer
- 2019 12th ieee conference on software testing, validation and verification (icst) 1 Treffer
- 2019 34th ieee/acm international conference on automated software engineering (ase) 1 Treffer
Sprache
256 Treffer
-
In: 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2021-02-27Online unknownZugriff:
-
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, 2020Online unknownZugriff:
-
In: International Journal of Software Engineering and Knowledge Engineering, Jg. 27 (2017-11-01), S. 1507-1527Online unknownZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 43 (2017-02-01), S. 128-144Online unknownZugriff:
-
In: 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC), 2019-05-01Online unknownZugriff:
-
In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019-04-01Online unknownZugriff:
-
In: 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019-02-01Online unknownZugriff:
-
In: 2018 IEEE International Conference on Progress in Informatics and Computing (PIC), 2018-12-01Online unknownZugriff:
-
In: 2018 Joint 7th International Conference on Informatics, Electronics & Vision (ICIEV) and 2018 2nd International Conference on Imaging, 2018-06-01Online unknownZugriff:
-
In: International Journal of Software Engineering and Knowledge Engineering, Jg. 30 (2020-05-01), S. 669-694Online unknownZugriff:
-
In: Symmetry; Volume 10; Issue 4; Pages: 92, 2018-04-02Online unknownZugriff:
-
In: Evaluation and Assessment in Software Engineering, 2021-06-21Online unknownZugriff:
-
In: 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2017-09-01Online unknownZugriff:
-
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017-08-21Online unknownZugriff:
-
In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017-05-01Online unknownZugriff:
-
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016-08-25Online unknownZugriff:
-
In: Proceedings of the 13th European workshop on Systems Security, 2020-04-27Online unknownZugriff: