Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15594Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Martins, Manuel A. | - |
| dc.contributor.author | Madeira, A. | - |
| dc.contributor.author | Barbosa, L. S. | - |
| dc.date.accessioned | 2011-12-21T12:47:57Z | - |
| dc.date.available | 2011-12-21T12:47:57Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/15594 | - |
| dc.description.abstract | The paper formulates HEQ, an institution for hybrid equational logic to provide a uniform setting to express and reasoning about different sorts of properties of complex software. It is also shown how, through the definition of a suitable comorphism to FOL, this can be integrated in Hets, providing suitable tool support for teaching and re- search. The whole exercise was motivated by the need to unify, in a single undergraduate course in a Computer Science curriculum, the specification of data and behavioural constraints of reconfigurable systems. | por |
| dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
| dc.language.iso | eng | por |
| dc.relation | info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT | - |
| dc.rights | openAccess | por |
| dc.subject | Hibrid logica | por |
| dc.subject | Education | por |
| dc.title | Reasoning about complex requirements in a uniform setting | por |
| dc.type | conferencePaper | - |
| dc.peerreviewed | yes | por |
| sdum.publicationstatus | published | por |
| oaire.citationTitle | Proc. Third International Congress on Tools for Teaching Logic | por |
| sdum.conferencePublication | Proc. Third International Congress on Tools for Teaching Logic | - |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) | |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| OriginalTICTTLb2011.pdf | 115,32 kB | Adobe PDF | Ver/Abrir |
