| 000 | 00947nam-a2200229---4500 | ||
|---|---|---|---|
| 001 | 310445 | ||
| 005 | 20240306141320.0 | ||
| 090 | _a310445 | ||
| 100 | _a20140213d2012 k y0pory5003 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aPT | ||
| 200 | 1 |
_aFrom natural language requirements to formal descriptions in Alloy through boilerplates _bDocumento eletrónico _fDaniel Nascimento Cadete _g[orient. José Nuno Oliveira] |
|
| 210 |
_a[Braga _cs.n.] _d2012 |
||
| 303 | _aDescrição baseada no documento eletrónico | ||
| 328 | 0 |
_bDissertação mestrado _cEngenharia de Informática _eEscola de Engenharia da Universidade do Minho |
|
| 675 |
_a681.3.062 _vmed _zpor |
||
| 700 | 1 |
_aCadete, _bDaniel Nascimento |
|
| 702 | 1 |
_9130767 _aOliveira, _bJosé Nuno Fonseca _4727 |
|
| 712 | 0 | 2 |
_aUniversidade do Minho. _bEscola de Engenharia _4295 |
| 801 | 0 |
_aPT _bUMSD _c20140213 _gRPC |
|
| 856 | 4 |
_uhttp://hdl.handle.net/1822/27964 _zAcesso livre _4N |
|
| 942 |
_cLIVRO _n0 |
||