1 resultado para Logics and Meanings of Programs
em Repositório Institucional da Universidade de Aveiro - Portugal
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (1)
- Academic Archive On-line (Jönköping University; Sweden) (1)
- Academic Archive On-line (Stockholm University; Sweden) (2)
- Academic Research Repository at Institute of Developing Economies (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Aquatic Commons (11)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (2)
- Aston University Research Archive (12)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (16)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Bioline International (2)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (18)
- Boston University Digital Common (1)
- Brock University, Canada (18)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (2)
- CaltechTHESIS (2)
- Cambridge University Engineering Department Publications Database (3)
- CentAUR: Central Archive University of Reading - UK (17)
- Central European University - Research Support Scheme (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (7)
- Coffee Science - Universidade Federal de Lavras (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (84)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons - Michigan Tech (4)
- Digital Commons @ DU | University of Denver Research (2)
- Digital Commons at Florida International University (31)
- Digital Peer Publishing (3)
- DigitalCommons@The Texas Medical Center (20)
- DigitalCommons@University of Nebraska - Lincoln (1)
- DRUM (Digital Repository at the University of Maryland) (4)
- Duke University (9)
- Ecology and Society (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (13)
- Helda - Digital Repository of University of Helsinki (8)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (2)
- Indian Institute of Science - Bangalore - Índia (7)
- Instituto Politécnico do Porto, Portugal (2)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Massachusetts Institute of Technology (4)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (1)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (1)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (14)
- Queensland University of Technology - ePrints Archive (347)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Científico da Escola Superior de Enfermagem de Coimbra (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (31)
- School of Medicine, Washington University, United States (5)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (26)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade Federal do Pará (1)
- Universita di Parma (1)
- Universitat de Girona, Spain (3)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
- Université de Montréal, Canada (1)
- University of Canberra Research Repository - Australia (1)
- University of Connecticut - USA (1)
- University of Innsbruck Digital Library - Austria (1)
- University of Michigan (127)
- University of Queensland eSpace - Australia (27)
- University of Washington (3)
- Worcester Research and Publications - Worcester Research and Publications - UK (2)
Resumo:
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.