Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- compilers (computer programs) 2 Treffer
- computer software 2 Treffer
- open source software 2 Treffer
- programming languages 2 Treffer
- software engineering 2 Treffer
-
37 weitere Werte:
- static analysis 2 Treffer
- algorithms 1 Treffer
- buffer storage (computer science) 1 Treffer
- c (computer program language) 1 Treffer
- communication models 1 Treffer
- computer memory management 1 Treffer
- computer programmers 1 Treffer
- computer security vulnerabilities 1 Treffer
- computer software correctness 1 Treffer
- computer software development 1 Treffer
- computer storage devices 1 Treffer
- debugging 1 Treffer
- email 1 Treffer
- errors 1 Treffer
- experience report 1 Treffer
- fault tolerance (engineering) 1 Treffer
- formal methods (computer science) 1 Treffer
- industrial application 1 Treffer
- logical execution time 1 Treffer
- loop modeling 1 Treffer
- model checking 1 Treffer
- multicore processors 1 Treffer
- problem solving 1 Treffer
- run time systems (computer science) 1 Treffer
- smt solving 1 Treffer
- software architecture 1 Treffer
- software failures 1 Treffer
- software libraries 1 Treffer
- software maintenance 1 Treffer
- software measurement 1 Treffer
- software validation 1 Treffer
- software verification 1 Treffer
- symantec corp. 1 Treffer
- symbolic execution 1 Treffer
- technical specifications 1 Treffer
- technology transfer 1 Treffer
- web bugs (website tracking devices) 1 Treffer
Verlag
Publikation
Sprache
7 Treffer
-
In: Science of Computer Programming, Jg. 103 (2015-06-01), S. 3-12Online academicJournalZugriff:
-
In: Advances in Software Engineering, 2016-06-19, S. 1-19Online academicJournalZugriff:
-
In: Software: Practice & Experience, Jg. 50 (2020-12-01), Heft 12, S. 2252-2292Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 51 (2008-12-01), Heft 12, S. 87-95Online academicJournalZugriff:
-
In: Acta Cybernetica, Jg. 25 (2022-07-01), Heft 4, S. 909-921academicJournalZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 31 (2005-10-01), Heft 10, S. 897-910Online academicJournalZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 23 (1997-05-01), S. 314-323Online academicJournalZugriff: