Z Notation
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Partial generation of Java code from Z formal specifications. / Geração parcial de código Java a partir de especificações formais Z.
Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo
Publicado em: 2008
-
2. Recomendações para calibração em Química Analítica parte 2: calibração multianalito
This paper is a translation of an IUPAC document by K. Danzer, M. Otto and L. A. Currie (Pure Appl. Chem., 2004, 76(6), 1215-1225). Its goal is to establish a uniform and meaningful standard for terminology (in Portuguese), notation, and formulation concerning multispecies calibration in analytical chemistry. Calibration in analytical chemistry refers to the
Química Nova. Publicado em: 2008
-
3. Efficient mechanised analysis of infinite CSPz specifications: strategy and tool support
In concurrent systems modelling, the use of different formal languages has been an alternative very used in the last years. Process algebras (like CSP and CCS) are adequate to model behaviour, while languages based on mathematical models (like Z and VDM) are more suitable to describe data aspects. Integrated languages have appeared in order to provide suppor
Publicado em: 2003
-
4. Contributions to an Anthropological Approach to the Cultural Adaptation of Migrant Agents
This thesis proposes the use of Cultural Anthropology as a source of inspiration for solutions to the problem of adaptation of autonomous, intelligent, computational agents that migrate to societies of agents with distinctive features from the ones of the society where those agents were originally conceived. This has implications for interoperation of dispar
Publicado em: 1999