Results
author = "Martins, Manuel"
Reasoning about complex requirements in a uniform setting
Description :
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 ...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English
Refinement by interpretation in a general setting
Description :
Refinement by interpretation replaces signature morphisms by logic interpretations as a means to translate specifications and witness refinements. The approach was recently introduced by the authors [13] in the context of equational specifications, in order to capture a number of relevant transforma...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English
Refinement via interpretation
Description :
Traditional notions of refinement of algebraic specifications, based on signature morphisms, are often too rigid to capture a number of relevant transformations in the context of software design, reuse and adaptation. This paper proposes an alternative notion of specification refinement, building on...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English
Mechanics and electronics of the footballer autonomous mobile robot
Author(s) :
Machado, Carlos
,
Campos, Fernando
,
Martins, Manuel
,
Sampaio, Sérgio
,
Ribeiro, António Fernando
Description :
This paper describes an Autonomous Mobile Robot which plays football. This project was
developed by three senior students from the Industrial Electronics Engineering course during
their probation period. The rules dictated the same structure for every team but then each
team would solve, develop and...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English
SIADAP : análise crítica
Description :
Trabalho final do Diploma de Especialização em Gestão Pública, Porto 2009/2010. Orientação: David Ferraz
,
As transformações ocorridas num Mundo globalizado e em constante mutação, impuseram o abandono da concepção tradicional da AP bem como, a superação do modelo de gestão taylorística (assente numa p...
Repository :
REPAP: Repositório de Administração Pública
Language(s) :
Portuguese
Refinement by interpretation in {\pi}-institutions
Description :
The paper discusses the role of interpretations, understood as multifunctions
that preserve and reflect logical consequence, as refinement witnesses in the
general setting of pi-institutions. This leads to a smooth generalization of
the refinement-by-interpretation approach, recently introduced by...
Repository :
arXiv
Language(s) :
Undetermined
The yield curve and the macro-economy across time and frequencies
Description :
This paper assesses the relation between the yield curve and the main macroeconomic variables in the U.S. between early 1960s and 2009 across time and frequencies, using wavelet analyses. The shape of the yield curve is modelled by latent factors corresponding to its level, slope and curvature, esti...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English
Refinement by interpretation in Pi-institutions
Description :
The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of π-institutions. This leads to a smooth generalization of the “refinement by interpretation” approach, recently introduced by ...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English
Hybridization of institutions
Description :
Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states ...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English
On requirements engineering for reactive systems : a formal methodology
Description :
This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus and consequently evolve through different operational modes, providing, in each of them, different functionalities. The proposed methodology proceeds in three stages, enriching a si...
Repository :
RepositóriUM - University of Minho Institutional Repository
Language(s) :
English