Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 24 results.
-
- Speech
(2014) FSE 2014 : International Symposium on Foundations of Software Engineering — Hong Kong, China -
- Journal article
(2017) Software & Systems Modeling — -
- Speech
(2014) VAMOS — Sophia Antipolis, France -
- Speech
(2017) Informatics for Health 2017: Advancing both science and practice — (United Kingdom) Manchester -
- Speech
(2016) ICSE '16 - 38th International Conference on Software Engineering — Austin, Texas -
- Speech
(2016) VaMoS '16 - Tenth International Workshop on Variability Modelling of Software-intensive Systems — Salvador, Brazil -
- Speech
(2016) VACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16) — Austin, Texas -
- Journal article
(2018) Journal of Systems and Software — Vol. 141, no. 2, p. 1-15 (2018) -
- Speech
(2015) 8th IEEE International Conference on Software Testing, Verification and Validation — Graz, Austria -
- Speech
(2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics — -
- Speech
(2007) Proceedings of the Workshop on Open Source Software and Product Lines (OSSPL'07), collocated with SPLC 2007 — Limerick -
- Speech
(2017) ICST 2017 - International Conference on Software Testing, Verification and Validation — -
- Speech
(2007) Symposium on Dynamic Languages — -
- Speech
(2011) ICSE 2011 : 33rd International Conference on Software Engineering — Waikiki, Honolulu, HI, USA -
- Speech
(2010) ICSE 2010 : 32nd International Conference on Software Engineering — Cape Town, South Africa -
-
- Speech
(2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Porto -
- Speech
(2012) ICSE 2012 : 34th International Conference on Software Engineering — Zurich -
- Speech
(2012) 5th International Sympoisum on Leveraging Applications of Formal Methods — -
- Speech
(2012) International Symposium On Leveraging Applications of Formal Methods, Verification and Validation — -
- Journal article
(2012) International Journal on Software Tools for Technology Transfer — p. 589-612 (2012) -
- Speech
(2012) 16th Software Product Line Conference — -
- Speech
(2012) 6th International Workshop on Variability Modelling of Software Intensive Systems — -
- Speech
(2013) ICSE 2013 International Conference on Software Engineering —
