Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-mo]computer science [cs]/modeling and simulation 14 Treffer
- safety 11 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 10 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 10 Treffer
- [info.info-es]computer science [cs]/embedded systems 10 Treffer
-
45 weitere Werte:
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 10 Treffer
- modeling 10 Treffer
- 02 engineering and technology 8 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 8 Treffer
- 020207 software engineering 8 Treffer
- business 6 Treffer
- business.industry 6 Treffer
- component 6 Treffer
- computer 6 Treffer
- computer science 6 Treffer
- computer.programming_language 6 Treffer
- design patterns 6 Treffer
- model driven engineering 6 Treffer
- model-driven architecture 6 Treffer
- correspondences 5 Treffer
- feedback 5 Treffer
- information retrieval 5 Treffer
- interactions 5 Treffer
- practice 5 Treffer
- regulations 5 Treffer
- requirements 5 Treffer
- software engineering 5 Treffer
- standards 5 Treffer
- variability 5 Treffer
- 020204 information systems 4 Treffer
- design time modeling 4 Treffer
- formal verification 4 Treffer
- model checking 4 Treffer
- model driven engineering (mde) 4 Treffer
- model transformation 4 Treffer
- runtime modeling 4 Treffer
- tracabilite 4 Treffer
- verification and validation (v&v) 4 Treffer
- verification formelle 4 Treffer
- context (language use) 3 Treffer
- dsl 3 Treffer
- ingenierie dirigee par les modeles (idm) 3 Treffer
- object constraint language (ocl) 3 Treffer
- requirements engineering 3 Treffer
- scalability 3 Treffer
- seamless development 3 Treffer
- software 3 Treffer
- systems engineering 3 Treffer
- translational semantics 3 Treffer
- verification and validation 3 Treffer
Verlag
Publikation
- mde@derun 2018 workshop, co-located with the software technologies: applications and foundations (staf 2018) federation of conferences ; https://hal.science/hal-01890878 ; mde@derun 2018 workshop, co-located with the software technologies: applications and foundations (staf 2018) federation of conferences, jun 2018, toulouse, france. ⟨10.1007/978-3-030-04771-9_40⟩ 4 Treffer
- information and software technology 1 Treffer
Sprache
Geographischer Bezug
16 Treffer
-
In: https://theses.hal.science/tel-01375380 ; Modeling and Simulation. Institut National Polytechnique De Toulouse, 2014. English. ⟨NNT : ⟩, 2014Online HochschulschriftZugriff:
-
In: MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences ; https://hal.science/hal-01890878 ; MDE@DeRun 2018 workshop, 2018Online KonferenzZugriff:
-
In: Second International Model-Driven Requirements Engineering (MoDRE) Workshop ; https://hal.inria.fr/hal-00721806 ; Second International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States, 2012Online KonferenzZugriff:
-
In: ASE 2018: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering ; 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018) ; https://hal.science/hal-03622967 ; 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Sep 2018, Montpellier, France. pp.932-935, 2018Online KonferenzZugriff:
-
In: Software and Data Technologies ; https://inria.hal.science/inria-00589253 ; Cordeiro, José and Ranchordas, AlpeshKumar and Shishkov, Boris. Software and Data Technologies, 50, Springer Berlin Heidelberg, 2011, Communications in Computer and Information Science, 978-3-642-20116-5. ⟨10.1007/978-3-642-20116-5_11⟩; (2011)BuchZugriff:
-
In: EuroPLoP '13 : Proceedings of the 18th European Conference on Pattern Languages of Program ; 18th European Conference on Pattern Language of Programs (EuroPlop 2013) ; https://hal.science/hal-01400101 ; 18th European Conference on Pattern Language of Programs (EuroPlop 2013), Jul 2013, Kloster Irsee, Germany. pp. 1-16, 2013Online KonferenzZugriff:
-
In: Model-Driven Requirements Engineering Workshop (MoDRE) ; https://hal.inria.fr/inria-00636855 ; Model-Driven Requirements Engineering Workshop (MoDRE), Aug 2011, Trento, Italy. ⟨10.1109/MoDRE.2011.6045368⟩ ; http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6045368, 2011Online KonferenzZugriff:
-
In: Information and Software Technology, Jg. 91 (2017-11-01), S. 142-159Online unknownZugriff: