Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 39 Treffer
- cyber-physical systems 14 Treffer
- artificial intelligence 11 Treffer
- traceability 11 Treffer
- model-driven engineering 10 Treffer
-
45 weitere Werte:
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 9 Treffer
- [info]computer science [cs] 8 Treffer
- devops 8 Treffer
- sysml 8 Treffer
- uml 8 Treffer
- [info.info-es]computer science [cs]/embedded systems 7 Treffer
- document generation 7 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 6 Treffer
- aiops 6 Treffer
- model driven engineering 6 Treffer
- requirement engineering 6 Treffer
- software engineering 6 Treffer
- [scco.comp]cognitive science/computer science 5 Treffer
- model-based systems engineering 5 Treffer
- design time 4 Treffer
- megamodelling 4 Treffer
- modelio 4 Treffer
- runtime 4 Treffer
- [info.eiah]computer science [cs]/technology for human learning 3 Treffer
- [info.info-cy]computer science [cs]/computers and society [cs.cy] 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 3 Treffer
- architecture 3 Treffer
- code analysis 3 Treffer
- collaboration 3 Treffer
- computer ethics 3 Treffer
- computer science education 3 Treffer
- continuous development 3 Treffer
- ethics 3 Treffer
- hackathon 3 Treffer
- model-based engineering 3 Treffer
- product line engineering 3 Treffer
- project 3 Treffer
- research roadmap 3 Treffer
- roadmap 3 Treffer
- runtime analysis 3 Treffer
- scientific computing 3 Treffer
- software architecture 3 Treffer
- success stories 3 Treffer
- system engineering 3 Treffer
- tools 3 Treffer
- continuous system engineering 2 Treffer
- ecsel 2 Treffer
- mega-modelling 2 Treffer
Verlag
Publikation
- issn: 0141-9331 ; eissn: 1872-9436 8 Treffer
- european projects in digital systems design (epdsd) - euromicro dsd/seaa 2017 ; https://inria.hal.science/hal-01557430 ; european projects in digital systems design (epdsd) - euromicro dsd/seaa 2017, aug 2017, vienna, austria. ⟨10.1109/dsd.2017.50⟩ ; http://dsd-seaa2017.ocg.at 3 Treffer
- issn: 0141-9331 ; eissn: 0141-9331 2 Treffer
- acm sigada ada letters ; https://hal.science/hal-03719971 ; acm sigada ada letters, 2023, ada user journal, 42 (2), pp.99-103. ⟨10.1145/3591335.3591349⟩ 1 Treffer
Sprache
Geographischer Bezug
57 Treffer
-
In: The 18th Annual IEEE International Systems Conference (SYSCON 2024) ; https://hal.science/hal-04448172 ; The 18th Annual IEEE International Systems Conference (SYSCON 2024), Apr 2024, Montreal, Canada, 2024Online KonferenzZugriff:
-
In: The 18th Annual IEEE International Systems Conference (SYSCON 2024) ; https://hal.science/hal-04448172 ; The 18th Annual IEEE International Systems Conference (SYSCON 2024), Apr 2024, Montreal, Canada, 2024Online KonferenzZugriff:
-
In: ICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems ; https://inria.hal.science/hal-04077663 ; ICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems, Jun 2023, Toulouse, France. pp.1-10, 2023Online KonferenzZugriff:
-
In: ICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems ; https://inria.hal.science/hal-04077663 ; ICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems, Jun 2023, Toulouse, France. pp.1-10, 2023Online KonferenzZugriff:
-
In: ICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems ; https://inria.hal.science/hal-04077663 ; ICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems, Jun 2023, Toulouse, France. pp.1-10, 2023Online KonferenzZugriff:
-
In: ACM SIGAda Ada Letters ; https://hal.science/hal-03719971 ; ACM SIGAda Ada Letters, 2023, 2023Online academicJournalZugriff:
-
In: ACM SIGAda Ada Letters ; https://hal.science/hal-03719971 ; ACM SIGAda Ada Letters, 2023, 2023Online academicJournalZugriff:
-
In: ACM SIGAda Ada Letters ; https://hal.science/hal-03719971 ; ACM SIGAda Ada Letters, 2023, 2023Online academicJournalZugriff:
-
In: ISSN: 0141-9331 ; EISSN: 1872-9436, 2022Online academicJournalZugriff:
-
The teaching of computer ethics on computer science and related degree programmes: a European surveyIn: ISSN: 2363-9997 ; International Journal of Ethics Education ; https://hal.science/hal-03377525 ; International Journal of Ethics Education, 2022, 2022Online academicJournalZugriff:
-
In: ISSN: 0141-9331 ; EISSN: 1872-9436, 2022Online academicJournalZugriff:
-
In: ISSN: 0141-9331 ; EISSN: 1872-9436, 2022Online academicJournalZugriff:
-
In: 24th Euromicro Conference on Digital System Design (DSD 2021) ; https://hal.science/hal-03287359 ; 24th Euromicro Conference on Digital System Design (DSD 2021), Sep 2021, Palermo, Italy. ⟨10.1109/DSD53832.2021.00053⟩, 2021Online KonferenzZugriff:
-
In: Composing Model-Based Analysis Tools ; https://hal.science/hal-03792614 ; Robert Heinrich; Francisco Durán; Carolyn Talcott; Steffen Zschaler. Composing Model-Based Analysis Tools, Springer International Publishing, pp.71-95, 2021, 978-3-030-81914-9. ⟨10.1007/978-3-030-81915-6_5⟩; (2021)Online BuchZugriff:
-
In: 24th Euromicro Conference on Digital System Design (DSD 2021) ; https://hal.science/hal-03287359 ; 24th Euromicro Conference on Digital System Design (DSD 2021), Sep 2021, Palermo, Italy. ⟨10.1109/DSD53832.2021.00053⟩, 2021Online KonferenzZugriff:
-
In: 24th Euromicro Conference on Digital System Design (DSD 2021) ; https://hal.archives-ouvertes.fr/hal-03287359 ; 24th Euromicro Conference on Digital System Design (DSD 2021), Sep 2021, Palermo, Italy. ⟨10.1109/DSD53832.2021.00053⟩, 2021Online KonferenzZugriff:
-
In: Composing Model-Based Analysis Tools ; https://hal.science/hal-03792614 ; Robert Heinrich; Francisco Durán; Carolyn Talcott; Steffen Zschaler. Composing Model-Based Analysis Tools, Springer International Publishing, pp.71-95, 2021, 978-3-030-81914-9. ⟨10.1007/978-3-030-81915-6_5⟩; (2021)Online BuchZugriff:
-
In: ISSN: 0740-7459 ; IEEE Software ; https://hal.science/hal-03916530 ; IEEE Software, 2021, 38 (2), pp.119-127. ⟨10.1109/MS.2020.3041522⟩, 2021Online academicJournalZugriff:
-
In: ISSN: 0164-1212 ; Journal of Systems and Software ; https://hal.science/hal-03338594 ; Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩ ; https://www.sciencedirect.com/science/article/abs/pii/S0164121221001783, 2021Online academicJournalZugriff:
-
In: ISSN: 0164-1212 ; Journal of Systems and Software ; https://hal.science/hal-03338594 ; Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩ ; https://www.sciencedirect.com/science/article/abs/pii/S0164121221001783, 2021Online academicJournalZugriff: