Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 107 Treffer
- logics and meanings of programs 81 Treffer
- programming languages, compilers, interpreters 49 Treffer
- mathematical logic and formal languages 37 Treffer
- computer software development 34 Treffer
-
45 weitere Werte:
- artificial intelligence (incl. robotics) 28 Treffer
- programming techniques 28 Treffer
- computer communication networks 25 Treffer
- computer software 24 Treffer
- logic design 21 Treffer
- management of computing and information systems 16 Treffer
- computer software testing 15 Treffer
- software maintenance 13 Treffer
- software architecture 12 Treffer
- empirical software engineering 11 Treffer
- source code 11 Treffer
- computer software developers 10 Treffer
- empirical study 10 Treffer
- machine learning 10 Treffer
- algorithm analysis and problem complexity 9 Treffer
- mining software repositories 9 Treffer
- computer programming 8 Treffer
- computer software quality control 8 Treffer
- defect prediction 8 Treffer
- mobile apps 8 Treffer
- operating systems 8 Treffer
- software testing 8 Treffer
- special purpose and application-based systems 8 Treffer
- computers and society 7 Treffer
- debugging 7 Treffer
- information systems applications (incl.internet) 7 Treffer
- java programming language 7 Treffer
- empirical research 6 Treffer
- engineering 6 Treffer
- open source software 6 Treffer
- software engineers 6 Treffer
- software failures 6 Treffer
- software reliability 6 Treffer
- application software 5 Treffer
- computer systems 5 Treffer
- database management 5 Treffer
- microsoft corp. 5 Treffer
- programming languages 5 Treffer
- regression analysis 5 Treffer
- requirements engineering 5 Treffer
- software quality 5 Treffer
- survey 5 Treffer
- agile software development 4 Treffer
- artificial intelligence 4 Treffer
- automation 4 Treffer
Publikation
- empirical software engineering 58 Treffer
- automated software engineering 16 Treffer
- software & systems modeling 12 Treffer
- software quality journal 10 Treffer
- computer aided verification (9783540272311) 7 Treffer
-
45 weitere Werte:
- cooperative bug isolation 6 Treffer
- computer aided verification (9783540733676) 5 Treffer
- hardware & software: verification & testing 5 Treffer
- annals of operations research 4 Treffer
- computer aided verification (9783540374060) 4 Treffer
- hardware & software, verification & testing 4 Treffer
- computer supported cooperative work: the journal of collaborative computing 3 Treffer
- international journal on software tools for technology transfer 3 Treffer
- journal of supercomputing 3 Treffer
- programming & computer software 3 Treffer
- requirements engineering 3 Treffer
- computer aided verification 2 Treffer
- extreme programming & agile processes in software engineering (9783540350941) 2 Treffer
- journal of business ethics 2 Treffer
- journal of cloud computing (2192-113x) 2 Treffer
- model checking software 2 Treffer
- open source systems 2 Treffer
- scientific reports 2 Treffer
- software evolution 2 Treffer
- theorem proving in higher order logics (9783540406648) 2 Treffer
- advanced functional programming (9783540285403) 1 Treffer
- algebra & coalgebra in computer science 1 Treffer
- analysis & visualization tools for constraint programming 1 Treffer
- architecting systems with trustworthy components 1 Treffer
- automated technology for verification & analysis 1 Treffer
- code clone analysis: research, tools, and practices 1 Treffer
- compiler construction (9783540330509) 1 Treffer
- design automation for embedded systems 1 Treffer
- ecoop'97 - object-oriented programming 1 Treffer
- embedded software & systems (9783540308812) 1 Treffer
- formal methods & software engineering 1 Treffer
- fundamental approaches to software engineering 1 Treffer
- fundamental approaches to software engineering (9783540330936) 1 Treffer
- generative programming & component engineering 1 Treffer
- grid & cooperative computing - gcc 2005 1 Treffer
- integrated formal methods 1 Treffer
- journal of electronic testing 1 Treffer
- journal of software engineering research and development 1 Treffer
- journal of the brazilian computer society 1 Treffer
- logic for programming, artificial intelligence & reasoning (9783540305538) 1 Treffer
- object-oriented technology. ecoop 2006 workshop reader 1 Treffer
- programming languages & systems (9783540330950) 1 Treffer
- secure internet programming 1 Treffer
- software engineering techniques: design for quality 1 Treffer
- testing of communicating systems 1 Treffer
Sprache
230 Treffer
-
In: Software & Systems Modeling, Jg. 18 (2019-12-01), Heft 6, S. 3551-3576Online academicJournalZugriff:
-
In: Empirical Software Engineering, Jg. 26 (2021-09-01), Heft 5, S. 1-32Online academicJournalZugriff:
-
In: Empirical Software Engineering, Jg. 26 (2021-07-01), Heft 4, S. 1-44Online academicJournalZugriff:
-
In: Automated Software Engineering, Jg. 28 (2021), Heft 1, S. 1-26Online academicJournalZugriff:
-
In: Journal of Cloud Computing (2192-113X), Jg. 11 (2022-08-30), Heft 1, S. 1-14Online academicJournalZugriff:
-
In: Empirical Software Engineering, Jg. 25 (2020-05-01), Heft 3, S. 1951-1979Online academicJournalZugriff:
-
In: Empirical Software Engineering, Jg. 25 (2020-05-01), Heft 3, S. 1644-1686Online academicJournalZugriff:
-
In: Empirical Software Engineering, Jg. 25 (2020-11-01), Heft 6, S. 5333-5369Online academicJournalZugriff:
-
In: Empirical Software Engineering, Jg. 25 (2020-11-01), Heft 6, S. 5255-5294Online academicJournalZugriff:
-
In: Automated Software Engineering, Jg. 22 (2015-12-01), Heft 4, S. 561-602Online academicJournalZugriff:
-
In: Automated Software Engineering, Jg. 22 (2015-03-01), Heft 1, S. 75-109Online academicJournalZugriff:
-
In: Annals of Operations Research, Jg. 312 (2022-05-01), Heft 1, S. 305-332Online academicJournalZugriff:
-
In: Journal of Electronic Testing, Jg. 39 (2023-06-01), Heft 3, S. 347-370Online academicJournalZugriff:
-
In: Fundamental Approaches to Software Engineering (9783540330936); (2006) S. 308-323BuchZugriff:
-
In: Testing of Communicating Systems; (2005) S. 40-55BuchZugriff:
-
In: Software Evolution; (2008) S. 69-88BuchZugriff:
-
In: Formal Methods & Software Engineering; (2005) S. 235-250BuchZugriff:
-
In: Computer Aided Verification (9783540272311); (2005) S. 139-143BuchZugriff:
-
In: Computer Aided Verification (9783540272311); (2005) S. 153-157BuchZugriff:
-
In: Hardware & Software: Verification & Testing; (2008) S. 218-234BuchZugriff: