Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 232 Treffer
- business 159 Treffer
- business.industry 159 Treffer
- 020204 information systems 125 Treffer
- computer.programming_language 81 Treffer
-
45 weitere Werte:
- media_common 77 Treffer
- media_common.quotation_subject 77 Treffer
- 020201 artificial intelligence & image processing 67 Treffer
- software bug 58 Treffer
- 01 natural sciences 51 Treffer
- computer graphics and computer-aided design 46 Treffer
- debugging 45 Treffer
- code (cryptography) 43 Treffer
- compiler 37 Treffer
- fos: computer and information sciences 33 Treffer
- java 33 Treffer
- source code 31 Treffer
- 0102 computer and information sciences 30 Treffer
- 010201 computation theory & mathematics 30 Treffer
- correctness 29 Treffer
- static analysis 29 Treffer
- safety, risk, reliability and quality 26 Treffer
- semantics (computer science) 26 Treffer
- theoretical computer science 26 Treffer
- software engineering 24 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 24 Treffer
- artificial intelligence 21 Treffer
- computer science - programming languages 21 Treffer
- concurrency 21 Treffer
- programming languages (cs.pl) 21 Treffer
- set (abstract data type) 21 Treffer
- symbolic execution 20 Treffer
- hardware and architecture 17 Treffer
- model checking 17 Treffer
- static program analysis 17 Treffer
- formal verification 16 Treffer
- information systems 16 Treffer
- software development 16 Treffer
- 020206 networking & telecommunications 15 Treffer
- computational theory and mathematics 15 Treffer
- implementation 15 Treffer
- 0103 physical sciences 14 Treffer
- 020202 computer hardware & architecture 14 Treffer
- computer science - software engineering 14 Treffer
- program analysis 14 Treffer
- software engineering (cs.se) 14 Treffer
- software_softwareengineering 14 Treffer
- 05 social sciences 13 Treffer
- fuzz testing 13 Treffer
- javascript 13 Treffer
Verlag
- acm 52 Treffer
- ieee 39 Treffer
- association for computing machinery (acm) 33 Treffer
- elsevier bv 17 Treffer
- hal ccsd 16 Treffer
-
29 weitere Werte:
- springer science and business media llc 14 Treffer
- springer international publishing 10 Treffer
- arxiv 8 Treffer
- institute of electrical and electronics engineers (ieee) 8 Treffer
- pleiades publishing ltd 5 Treffer
- wiley 4 Treffer
- world scientific pub co pte lt 4 Treffer
- association for computing machinery 3 Treffer
- cambridge university press (cup) 3 Treffer
- springer 3 Treffer
- science publications 2 Treffer
- springer berlin heidelberg 2 Treffer
- apollo - university of cambridge repository 1 Treffer
- assoc computing machinery 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- atlantis press 1 Treffer
- elsevier b.v. 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
- institute of electronics, information and communications engineers (ieice) 1 Treffer
- multidisciplinary digital publishing institute 1 Treffer
- new york : acm 1 Treffer
- springer verlag 1 Treffer
- the author(s). published by elsevier b.v. 1 Treffer
- zenodo 1 Treffer
- zhejiang university press 1 Treffer
Publikation
- acm sigplan notices 14 Treffer
- proceedings of the acm on programming languages 12 Treffer
- ieee transactions on software engineering 6 Treffer
- programming and computer software 5 Treffer
- empirical software engineering 4 Treffer
-
45 weitere Werte:
- information and software technology 4 Treffer
- international journal of software engineering and knowledge engineering 4 Treffer
- journal of systems and software 4 Treffer
- proceedings of the 31st ieee/acm international conference on automated software engineering 4 Treffer
- science of computer programming 4 Treffer
- journal of functional programming 3 Treffer
- journal of logical and algebraic methods in programming 3 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 3 Treffer
- software testing, verification and reliability 3 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 2 Treffer
- 2017 ieee international conference on software testing, verification and validation (icst) 2 Treffer
- 2017 ieee/acm 39th international conference on software engineering (icse) 2 Treffer
- acm sigarch computer architecture news 2 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 2 Treffer
- journal of automated reasoning 2 Treffer
- journal of computer science 2 Treffer
- proceedings of the 2017 11th joint meeting on foundations of software engineering 2 Treffer
- proceedings of the 21st acm sigplan symposium on principles and practice of parallel programming 2 Treffer
- proceedings of the 38th international conference on software engineering 2 Treffer
- science china information sciences 2 Treffer
- 2016 ieee 23rd international conference on software analysis, evolution, and reengineering (saner) 1 Treffer
- 2016 ieee 40th annual computer software and applications conference (compsac) 1 Treffer
- 2016 ieee east-west design & test symposium (ewdts) 1 Treffer
- 2016 ieee frontiers in education conference (fie) 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 international conference on software maintenance and evolution (icsme) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 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 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
- 2019 ieee 26th international conference on software analysis, evolution and reengineering (saner) 1 Treffer
- 2019 ieee/acm 41st international conference on software engineering (icse) 1 Treffer
- 2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion) 1 Treffer
- acm sigops operating systems review 1 Treffer
- acm sigsoft software engineering notes 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- automated software engineering 1 Treffer
Sprache
264 Treffer
-
In: International Journal of Software Engineering and Knowledge Engineering, Jg. 30 (2020-11-01), S. 1779-1800Online unknownZugriff:
-
In: International Journal of Software Engineering and Knowledge Engineering, Jg. 27 (2017-11-01), S. 1507-1527Online unknownZugriff:
-
In: Programming and Computer Software, Jg. 46 (2020-12-01), S. 731-736Online unknownZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 43 (2017-02-01), S. 128-144Online unknownZugriff:
-
In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019-04-01Online unknownZugriff:
-
In: 2018 IEEE International Conference on Progress in Informatics and Computing (PIC), 2018-12-01Online unknownZugriff:
-
In: Programming and Computer Software, Jg. 45 (2019-12-01), S. 365-371Online 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: 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:
-
In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, 2020-03-09Online unknownZugriff:
-
In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019-08-12Online unknownZugriff: