Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mde 42 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 34 Treffer
- model transformation 32 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 22 Treffer
- model-driven engineering 21 Treffer
-
45 weitere Werte:
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 20 Treffer
- [info.info-es]computer science [cs]/embedded systems 20 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 18 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 18 Treffer
- [info]computer science [cs] 16 Treffer
- meta-modeling 16 Treffer
- model driven engineering 16 Treffer
- formal verification 13 Treffer
- [info.info-dc]computer science [cs]/distributed 10 Treffer
- and cluster computing [cs.dc] 10 Treffer
- parallel 10 Treffer
- classification 9 Treffer
- survey 9 Treffer
- feature model 8 Treffer
- language engineering 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- software engineering 7 Treffer
- mdd 6 Treffer
- metamodel 6 Treffer
- model driven architecture 6 Treffer
- pattern 6 Treffer
- security 6 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 5 Treffer
- acm: d.: software 5 Treffer
- acm: d.: software/d.1: programming techniques 5 Treffer
- acm: d.: software/d.2: software engineering 5 Treffer
- acm: d.: software/d.3: programming languages 5 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory/d.3.1.0: semantics 5 Treffer
- atl 5 Treffer
- cloud computing 5 Treffer
- code generation 5 Treffer
- composition 5 Treffer
- dependability 5 Treffer
- distributed computing 5 Treffer
- mapreduce 5 Treffer
- model-driven engineering (mde) 5 Treffer
- mof 5 Treffer
- proof assistant 5 Treffer
- reuse 5 Treffer
- system engineering 5 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 4 Treffer
- architecture 4 Treffer
- certification 4 Treffer
- coq 4 Treffer
Verlag
- hal ccsd 209 Treffer
- springer verlag 57 Treffer
- elsevier 40 Treffer
- igi global 11 Treffer
- lavoisier 10 Treffer
-
19 weitere Werte:
- hermes-lavoisier 9 Treffer
- chair of software engineering 8 Treffer
- wiley 7 Treffer
- international academy publishing 6 Treffer
- association for computing machinery 5 Treffer
- institute of electrical and electronics engineers 5 Treffer
- graz university of technology, institut fur informationssysteme und computer medien 4 Treffer
- ieee 4 Treffer
- taylor & francis (routledge) 4 Treffer
- alexandru ioan cuza university publishing house 3 Treffer
- japan society for software science and technology 3 Treffer
- oxford university press (uk) 3 Treffer
- springer 3 Treffer
- association for computing machinery (acm) 2 Treffer
- colleges of computing and information society (ccis) 2 Treffer
- emerald publishing limited 2 Treffer
- world scientific publishing 2 Treffer
- acm 1 Treffer
- inria 1 Treffer
Publikation
- issn: 1619-1366 47 Treffer
- issn: 0950-5849 17 Treffer
- issn: 1262-1137 ; eissn: 1958-5756 9 Treffer
- issn: 0001-0782 5 Treffer
- issn: 0934-5043 5 Treffer
-
24 weitere Werte:
- issn: 1633-1311 ; eissn: 2116-7125 5 Treffer
- eissn: 1796-217x ; journal of software ; https://hal.science/hal-00371553 ; journal of software, 2009, 4 (9), pp.943-958 4 Treffer
- issn: 0038-0644 ; eissn: 1097-024x 4 Treffer
- issn: 0948-695x 4 Treffer
- issn: 1947-8186 4 Treffer
- issn: 2372-2541 4 Treffer
- issn: 0010-4620 3 Treffer
- issn: 0141-9331 ; eissn: 1872-9436 3 Treffer
- issn: 0164-1212 ; journal of systems and software ; https://hal.science/hal-01863885 ; journal of systems and software, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩ 3 Treffer
- issn: 1433-2779 3 Treffer
- issn: 1532-0626 ; eissn: 1532-0634 3 Treffer
- software & systems modeling ; https://inria.hal.science/hal-03656144 ; software & systems modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩ 3 Treffer
- issn: 0899-3408 ; computer science education ; https://inria.hal.science/hal-00646898 ; computer science education, 2011, software modeling in education, 21 (4), pp.389-402. ⟨10.1080/08993408.2011.630131⟩ 2 Treffer
- issn: 1633-1311 ; eissn: 1633-1311 2 Treffer
- issn: 1633-1311 ; eissn: 2116-7125 ; revue des sciences et technologies de l'information - serie isi : ingenierie des systemes d'information 2 Treffer
- issn: 1843-8121 2 Treffer
- issn: 1864-3027 2 Treffer
- issn: 2573-0142 2 Treffer
- issn: 0141-9331 ; eissn: 0141-9331 1 Treffer
- issn: 1386-7857 1 Treffer
- issn: 1539-9087 1 Treffer
- issn: 1633-1311 ; eissn: 1633-1311 ; revue des sciences et technologies de l'information - serie isi : ingenierie des systemes d'information 1 Treffer
- issn: 1683-3198 1 Treffer
- issn: 1793-9623 1 Treffer
Sprache
Geographischer Bezug
209 Treffer
-
In: ISSN: 2590-1184 ; Journal of Computer Languages ; https://hal.science/hal-04599790 ; Journal of Computer Languages, 2024, pp.101283, 2024Online academicJournalZugriff:
-
In: ISSN: 1843-8121, 2021Online academicJournalZugriff:
-
In: ISSN: 1843-8121, 2021Online academicJournalZugriff:
-
In: EISSN: 2248-2695 ; Scientific Annals of Computer Science ; https://hal.archives-ouvertes.fr/hal-03436037 ; Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2021, 31 (1), pp.111 - 144. ⟨10.7561/sacs.2021.1.111⟩, 2021Online academicJournalZugriff:
-
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 2021academicJournalZugriff:
-
In: ISSN: 1660-1769 ; The Journal of Object Technology ; https://hal.science/hal-04557378 ; The Journal of Object Technology, 2024, 2024Online academicJournalZugriff:
-
In: ISSN: 1660-1769 ; The Journal of Object Technology ; https://hal.science/hal-04557378 ; The Journal of Object Technology, 2024, 2024Online academicJournalZugriff:
-
In: ISSN: 1619-1366, 2012Online academicJournalZugriff:
-
In: ISSN: 1619-1366, 2012Online academicJournalZugriff:
-
In: ISSN: 1619-1366, 2012Online academicJournalZugriff:
-
In: ISSN: 2573-0142, 2018Online academicJournalZugriff:
-
In: ISSN: 2573-0142, 2018Online academicJournalZugriff:
-
In: ISSN: 1619-1366, 2015Online academicJournalZugriff:
-
In: ISSN: 1619-1366, 2015Online academicJournalZugriff:
-
In: ISSN: 0038-0644 ; EISSN: 1097-024X, 2012Online academicJournalZugriff:
-
In: ISSN: 0038-0644 ; EISSN: 1097-024X, 2012Online academicJournalZugriff:
-
In: ISSN: 0038-0644 ; EISSN: 1097-024X, 2012Online academicJournalZugriff:
-
In: ISSN: 0038-0644 ; EISSN: 1097-024X, 2012Online academicJournalZugriff:
-
In: ISSN: 0950-5849, 2014academicJournalZugriff:
-
In: ISSN: 0950-5849, 2014academicJournalZugriff: