From natural language requirements to formal descriptions in Alloy through boilerplates (Registo nº 310445)
[ vista simples ]
| 000 -Etiqueta do registo | |
|---|---|
| campo de controlo de comprimento fixo | 00947nam-a2200229---4500 |
| 001 - Identificador do registo | |
| Campo de controlo | 310445 |
| 005 - Identificador da versão | |
| Campo de controlo | 20240306141320.0 |
| 100 ## - Dados Gerais de Proc. | |
| Dados gerais de processamento | 20140213d2012 k y0pory5003 ba |
| 101 0# - Língua da publicação | |
| Língua do texto,banda sonora,etc. | Inglês |
| 102 ## - País de Publicação | |
| País de publicação | Portugal |
| 200 1# - Título | |
| Título próprio | From natural language requirements to formal descriptions in Alloy through boilerplates |
| Indicação geral da natureza do documento | Documento eletrónico |
| Primeira menção de responsabilidade | Daniel Nascimento Cadete |
| Outras menções de responsabilidade | [orient. José Nuno Oliveira] |
| 210 ## - Publicação, Distribuição | |
| Lugar da edição,distribuição,etc. | [Braga |
| Nome do editor,distribuidor,etc. | s.n.] |
| Data da publicação,distribuição,etc. | 2012 |
| 303 ## - Informação descritiva | |
| Texto da nota | Descrição baseada no documento eletrónico |
| 328 #0 - Nota de dissertação ou tese | |
| Especificações da dissertação ou tese e tipo de grau académico | Dissertação mestrado |
| Área cientifica do grau académico | Engenharia de Informática |
| Instituição que confere o grau académico | Escola de Engenharia da Universidade do Minho |
| 675 ## - CDU | |
| Notação | 681.3.062 |
| Edição | med |
| Língua da edição | Português |
| 700 #1 - Responsabilidade principal | |
| Palavra de ordem | Cadete, |
| Outra parte do nome | Daniel Nascimento |
| 702 #1 - Responsabilidade secundária | |
| Koha Internal Code | 130767 |
| Palavra de ordem | Oliveira, |
| Outra parte do nome | José Nuno Fonseca |
| Código de função | Orientador de tese |
| 712 02 - Colectividade (resp. secundária) | |
| Palavra de ordem | Universidade do Minho. |
| Subdivisão | Escola de Engenharia |
| Código de função | Instituição que confere o grau |
| 801 #0 - Fonte de origem | |
| País | Portugal |
| Agência | UMSD |
| Data da última transacção | 20140213 |
| Regras de catalogação | RPC |
| 856 4# - Localização e acesso electrónico | |
| URL | http://hdl.handle.net/1822/27964 |
| Nota para informação ao público | Acesso livre |
| -- | N |
| 090 ## - Números de controlo do sistema (Koha) | |
| Número biblioitem do Koha (gerado automaticamente) | 310445 |
| 942 ## - Elementos de entrada adicionados (Koha) | |
| Tipo de item no Koha | Monografia |
| Suprimido | Disponível no OPAC |
Não há exemplares disponíveis.
