Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-pf]computer science [cs]/performance [cs.pf] 8 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- compilation 4 Treffer
-
44 weitere Werte:
- domain-specific language 4 Treffer
- dsl 4 Treffer
- embedded systems 4 Treffer
- exception handling 4 Treffer
- garbage collection 4 Treffer
- implementation 4 Treffer
- java 4 Treffer
- low power 4 Treffer
- memory management 4 Treffer
- modelling 4 Treffer
- multithreading 4 Treffer
- object-oriented 4 Treffer
- performance 4 Treffer
- real-time 4 Treffer
- [info.info-dc]computer science [cs]/distributed 3 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 3 Treffer
- and cluster computing [cs.dc] 3 Treffer
- failures 3 Treffer
- human error 3 Treffer
- lncs 3 Treffer
- parallel 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.11: software architectures 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 2 Treffer
- active objects 2 Treffer
- asynchronous communications 2 Treffer
- conceptual modeling 2 Treffer
- control loops 2 Treffer
- goals 2 Treffer
- intention 2 Treffer
- model coordination 2 Treffer
- process algebras 2 Treffer
- runtime adaptation 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [scco.comp]cognitive science/computer science 1 Treffer
- acm: d.: software/d.2: software engineering/d.2.5: testing and debugging/d.2.5.6: monitors 1 Treffer
- acm: d.: software/d.2: software engineering/d.2.8: metrics/d.2.8.1: performance measures 1 Treffer
- information systems engineering 1 Treffer
- modeling 1 Treffer
- ontology 1 Treffer
- partial model checking 1 Treffer
- persona 1 Treffer
- user profiling 1 Treffer
Verlag
Sprache
Geographischer Bezug
49 Treffer
-
In: https://hal.archives-ouvertes.fr/hal-00514257 ; Springer LNCS 4758, pp.340, 2007; (2007)BuchZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-00514255 ; Springer LNCS 4344, pp.245, 2006; (2006)BuchZugriff:
-
In: Preface to the Fourth International Workshop on Requirements, Intentions, and Goals in Conceptual Modeling (RIGiM 2012) ; https://paris1.hal.science/hal-01069763 ; Springer Verlag. Preface to the Fourth International Workshop on Requirements, Intentions, and Goals in Conceptual Modeling (RIGiM 2012), Springer Verlag, pp.183-184, 2012, LNCS Volume 7518, 2012,, 978-3-642-33998-1. ⟨10.1007/978-3-642-33999-8_22⟩; (2012)BuchZugriff:
-
In: Preface to the Fourth International Workshop on Requirements, Intentions, and Goals in Conceptual Modeling (RIGiM 2012) ; https://hal-paris1.archives-ouvertes.fr/hal-01069763 ; Springer Verlag. Preface to the Fourth International Workshop on Requirements, Intentions, and Goals in Conceptual Modeling (RIGiM 2012), Springer Verlag, pp.183-184, 2012, LNCS Volume 7518, 2012,, 978-3-642-33998-1. ⟨10.1007/978-3-642-33999-8_22⟩; (2012)BuchZugriff:
-
In: CAiSE ; https://hal-paris1.archives-ouvertes.fr/hal-01069746 ; Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. CAiSE, Thessaloniki, Greece. , 8484, Springer Verlag, pp.674, 2014, Advanced Information Systems Engineering, 978-3-319-07881-6. ⟨10.1007/978-3-319-07881-6⟩ ; http://www.springer.com/us/book/9783319078809; (2014)BuchZugriff:
-
In: Human-Centered Software Engineering. HCSE 2023. Lecture Notes in Computer Science. LNCS ; https://hal.science/hal-04210148 ; Human-Centered Software Engineering. HCSE 2023. Lecture Notes in Computer Science. LNCS, 2023; (2023)Online BuchZugriff:
-
In: Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings ; https://hal.science/hal-03099205 ; Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, , pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩ ; https://link.springer.com/chapter/10.1007%2F978-3-030-54549-9_29; (2020)Online BuchZugriff:
-
In: Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings ; https://hal.science/hal-03099205 ; Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, , pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩ ; https://link.springer.com/chapter/10.1007%2F978-3-030-54549-9_29; (2020)Online BuchZugriff:
-
In: Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings ; https://hal.archives-ouvertes.fr/hal-03099205 ; Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩ ; https://link.springer.com/chapter/10.1007%2F978-3-030-54549-9_29; (2020)Online BuchZugriff:
-
In: https://inria.hal.science/hal-01762298 ; Springer, 10457, pp.1-240, 2018, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩; (2018)Online BuchZugriff:
-
In: https://hal.inria.fr/hal-01762298 ; Springer, 10457, pp.1-240, In press, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩; (2018)Online BuchZugriff:
-
In: Globalizing Domain-Specific Languages ; https://inria.hal.science/hal-01224105 ; Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩; (2015)Online BuchZugriff:
-
In: Globalizing Domain-Specific Languages ; https://inria.hal.science/hal-01224105 ; Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩; (2015)Online BuchZugriff:
-
In: Globalizing Domain-Specific Languages ; https://hal.inria.fr/hal-01224105 ; Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩; (2015)Online BuchZugriff:
-
In: Globalizing Domain-Specific Languages ; https://inria.hal.science/hal-01224105 ; Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩; (2015)Online BuchZugriff:
-
In: Software Engineering for Self-Adaptive Systems 2 ; https://inria.hal.science/hal-00709943 ; de Lemos, Rogerio and Giese, Holger and Müller, Hausi and Shaw, Mary. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.108-132, 2013, LNCS, 978-3-642-35812-8; (2013)Online BuchZugriff:
-
In: Software Engineering for Self-Adaptive Systems 2 ; https://inria.hal.science/hal-00709943 ; de Lemos, Rogerio and Giese, Holger and Müller, Hausi and Shaw, Mary. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.108-132, 2013, LNCS, 978-3-642-35812-8; (2013)Online BuchZugriff:
-
In: Software Engineering for Self-Adaptive Systems 2 ; https://hal.inria.fr/hal-00713315 ; Rogerio de Lemos and Holger Giese and Hausi Müller and Mary Shaw. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.265-293, 2012, LNCS; (2012)Online BuchZugriff:
-
In: Software Engineering for Self-Adaptive Systems 2 ; https://hal.inria.fr/hal-00713315 ; Rogerio de Lemos and Holger Giese and Hausi Müller and Mary Shaw. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.265-293, 2012, LNCS; (2012)Online BuchZugriff:
-
In: Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011 ; https://inria.hal.science/hal-00647701 ; Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, LNCS 6659, Springer, 2011; (2011)Online BuchZugriff: