Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 18 results.
-
- Journal article
(2007) Formal Methods in System Design : an international journal — Vol. 30, no. 3, p. 233-247 (2007) -
- Journal article
(2000) IEEE Transactions on Software Engineering — Vol. 26, no. 10, p. 978-1005 (2000) -
- Journal article
(2008) Applied Artificial Intelligence : an international journal — Vol. 22, no. 1-2, p. 77-115 (2008) -
- Journal article
(1983) Technology and Science of Informatics — Vol. 2, no.2, p. 81-93 (1983) -
- Journal article
(1982) Technology and Science of Informatics — Vol. 1, no. 6, p. 475-494 (1982) -
- Journal article
(1983) Technology and Science of Informatics — Vol. 2, no.1, p. 5-20 (1983) -
- Journal article
(2004) Requirements Engineering — Vol. 9, no. 2, p. 104-120 (2004) -
- Journal article
(1972) Information Processing Letters — Vol. 1, no.5, p. 181-186 (1972) -
- Journal article
(1998) IEEE Transactions on Software Engineering — Vol. 24, no. 12, p. 1089-1114 (1998) -
- Journal article
(2013) Requirements Engineering — p. 1-18 (2013) -
- Journal article
(1993) Science of Computer Programming — Vol. 20, no. 1-2, p. 3-50 (1993) -
- Journal article
(2005) IEEE Transactions on Software Engineering — Vol. 31, no. 12, p. 1056-1073 (2005) -
- Journal article
(1997) Automated Software Engineering : the international journal of automated reasoning and artificial intelligence in software engineering — Vol. 4, no.4, p. 419-438 (1997) -
- Journal article
(1998) IEEE Transactions on Software Engineering — Vol. 24, no. 11, p. 908-926 (1998) -
- Journal article
(2011) Formal Aspects of Computing : applicable formal methods — Vol. 23, no. 3, p. 239–242 (2011) -
- Journal article
(2014) IEEE Transactions on Software Engineering — Vol. 99, p. 1-28 (2014) -
- Journal article
(1979) Acta informatica — Vol. 12, no.1, p. 1-31 (1979) -
- Journal article
(1988) IEEE Transactions on Software Engineering — Vol. 14, no.6, p. 720-741 (1988)