Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer and information science 13 Treffer
- data- och informationsvetenskap (datateknik) 13 Treffer
- natural sciences 13 Treffer
- naturvetenskap 13 Treffer
- information retrieval 3 Treffer
-
45 weitere Werte:
- issue management 3 Treffer
- machine learning 3 Treffer
- software engineering 3 Treffer
- change impact analysis 2 Treffer
- mining software repositories 2 Treffer
- computer systems 1 Treffer
- computer technology 1 Treffer
- constraint programming 1 Treffer
- control 1 Treffer
- data- och systemvetenskap 1 Treffer
- datalogi 1 Treffer
- datorsystem 1 Treffer
- domain specific languages 1 Treffer
- electrical engineering 1 Treffer
- electronic engineering 1 Treffer
- elektroteknik och elektronik 1 Treffer
- empirical software engineering 1 Treffer
- engineering and technology 1 Treffer
- heuristics 1 Treffer
- information engineering 1 Treffer
- java 1 Treffer
- kontroll 1 Treffer
- mutations 1 Treffer
- numerical analysis 1 Treffer
- numerisk analys 1 Treffer
- open source software 1 Treffer
- parallelism 1 Treffer
- probability theory and statistics 1 Treffer
- programvaruteknik 1 Treffer
- quality management 1 Treffer
- random testing 1 Treffer
- release planning 1 Treffer
- robot programming 1 Treffer
- robotics 1 Treffer
- robotteknik och automation 1 Treffer
- runtime verification 1 Treffer
- safety 1 Treffer
- sannolikhetsteori och statistik 1 Treffer
- software fault detection 1 Treffer
- software traceability 1 Treffer
- static verification 1 Treffer
- system 1 Treffer
- systems 1 Treffer
- systems engineering 1 Treffer
- teknik 1 Treffer
Publikation
- 6th conference on formal methods in software engineering (formalise@icse'18), pages . acm 1 Treffer
- elliit: the linkoping-lund initiative on it and mobile communication 1 Treffer
- empirical software engineering elliit: the linkoping-lund initiative on it and mobile communication 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
- sigplan notices (acm special interest group on programming languages) 1 Treffer
- 2 weitere Werte:
Sprache
18 Treffer
-
In: Dissertation / Department of Computer Science, Lund University ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Jg. 46 (2015)Online unknownZugriff:
-
In: Tiny Transactions on Computer Science ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Jg. 3 (2015)Online unknownZugriff:
-
In: Summer School on Scientific Visualization and Presentation,Falun, Sweden,-16 Book of Abstracts ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2014, S. 19-19Online unknownZugriff:
-
In: Recommendation Systems in Software Engineering ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2014, S. 477-509unknownZugriff:
-
In: ASE '14 the 29th ACM/IEEE international conference on Automated software engineering,Västerås, Sweden,-15 [Host publication title missing] ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2014, S. 891-894unknownZugriff:
-
In: 29th IEEE International Conference on Maintenance (ICSM), 2013,Eindhoven, Netherlands,-- [Host publication title missing] ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2013, S. 20-29unknownZugriff:
-
In: Licentiate thesis ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Jg. 2024 (2024), Heft 1Online unknownZugriff:
-
In: 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021,Virtual,-- Proceedings of the, 2021Online unknownZugriff:
-
In: Octopi: Säker Programering för Sakernas Internet WebSec: Säkerhet i webb-drivna system Proceedings - 2023 IEEE International Conference on Software Testing, Verification and Validation, ICST, 2023KonferenzZugriff:
-
In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Jg. 48 (2013), Heft 9, S. 455-468Online KonferenzZugriff:
-
In: Empirical Software Engineering ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Jg. 20 (2014), Heft 5, S. 1384-1425Online unknownZugriff:
-
In: Technical report D - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg, 2008unknownZugriff:
-
In: 14th IEEE/ACM International Conference on Mining Software Repositories, MSR 2017,Buenos Aires, Argentina,-- Proceedings - 2017 IEEE/ACM 14th International Conference on Mining Software Repositories, 2017-06-29, S. 124-134unknownZugriff:
-
In: ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2011Online unknownZugriff:
-
In: Fundamental Approaches to Software Engineering,Uppsala, Sweden,-- Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Jg. 10202 (2017-04-22), S. 321-337unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018), Heft ICFPunknownZugriff:
-
In: 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages . ACM, 2018unknownZugriff: