Encontrados 37 documentos, a visualizar página 1 de 4
Conversão das contas do Plano Oficial de Contas em contas do Sistema de Normali...
Martins, Manuel Furtado do AmaralTrabalho apresentado para obtenção do Título de Especialista, pelo Instituto Superior de Contabilidade e Administração de Lisboa, do Instituto Politécnico de Lisboa ; Este documento constitui o trabalho a que se refere a alínea b) do artigo 5.º do Decreto-Lei n.º 206/2009 de 31 de Agosto, no âmbito da obtenção do título académico de especialista. O documento apresenta diversas secções descritivas de um projeto...
Giving ALLOY a family
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Lightweight formal methods ought to provide to the end user the rigorousness of mathematics, without compromising simplicity and intuitiveness. ALLOY is a powerful tool, particularly successful on this mission. Limitations on the verification side, however, are known to prevent its wider use in the development of safety or mission critical applications. A number of researchers proposed ways to connect Alloy to ...
Hybridisation at work
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.This paper presents the encoding of the hybridisation method into the HETS platform.
Bisimilarity and refinement for hybrid(ised) logics
Madeira, Alexandre; Martins, Manuel M.; Barbosa, L. S.The complexity of modern software systems entails the need for reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is endowed with, for example,...
Boilerplates for reconfigurable systems : a language and its semantics
Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Boilerplates are simplified, normative English texts,intended to capture software requirements in a controlled way. This paper proposes a pallet of boilerplates as a requirements modelling language for reconfigurable systems, i.e., systems structured in different modes of execution among which they can dynamically commute. The language semantics is given as an hybrid logic, in an institutional setting. The mild...
When even the interface evolves ...
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.This paper extends the authors’ previous work on a formal approach to the specification of reconfigurable systems in which configurations are taken as local states in a suitable transition structure. The novelty is the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may themselves va...
Clima de segurança numa empresa de Betão Pronto: Avaliação do Clima de Segurança
Martins, Manuel Celestino dos SantosDissertação de Mestrado em Segurança e Higiene no Trabalho ; O Clima de Segurança é dos conceitos mais estudados na tentativa de compreender a perceção dos trabalhadores sobre a segurança e saúde no trabalho nas organizações e qual a sua influência na causalidade e prevenção da sinistralidade laboral. O estudo foi realizado numa empresa de betão pronto, e teve como objetivo principal caracterizar o clima de se...
Hybridization of institutions
Martins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S.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 in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techn...
Implementação de sistemas da qualidade numa empresa de transporte rodoviário fr...
Martins, Manuel Fernando GouveiaA certificação deixou de ser “apenas” uma vantagem competitiva para passar a ser um critério seleccionador de empresas diferenciando-as das concorrentes. O conceito de melhoria contínua subjacente à norma ISO 9001 transmite para o mercado a imagem de empresas capazes de satisfazer e superar as exigências dos clientes, direccionando todos os colaboradores para esse objectivo comum. O sector dos Transportes ader...
Hybridization of institutions
Martins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L. S.Extended version including all proofs ; 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 in models. Actually, hybrid logics have recently regained interest, resul...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||