Cadete,, Daniel Nascimento From natural language requirements to formal descriptions in Alloy through boilerplates [Documento eletrónico] / Daniel Nascimento Cadete ; [orient. José Nuno Oliveira]

From natural language requirements to formal descriptions in Alloy through boilerplates [Documento eletrónico] / Daniel Nascimento Cadete ; [orient. José Nuno Oliveira] . - [Braga : s.n.], 2012 . -

681.3.062