Hall’s Style

Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço

“…Todas estas extensões introduzem os conceitos de objeto, classe e herança, embora sejam significativamente diferentes entre si. Um estudo comparativo que examina vários enfoques para usar ou estender a linguagem de especificação Z de uma maneira orientada a objetos é apresentado em [20). MooZ, desenvolvida no Departamento de Informática da Universidade Federal de Pernambuco, foi a escolhida para especificação, projeto e documentação do SMBC para processamento do ECG de esforço, pela necessidade de experimentação da linguagem em desenvolvimento real de software.…”

Standards and techniques for object-oriented formal specification

“…In July 1991, a workshop was held on Z and 0 6 ject-oriented Methods, within the ZIP project, and involving participants from the ma'ority of the groups described above: Fresco, B, Z + j , Object-Z, OOZE and MooZ. This workshop led to the production of a book [29] which contained introductions to the main languages and a comparison by means of specification of a simple case study in each language. A book containing more substantial case studies in the languages Object-Z, MooZ, Fresco, OOZE and Z++ is also due to be published in 1993 A working group on object-oriented formal specification has been established in the UK, although involving contributions from workers in the area from other countries.…”

“…would be useful for d istin uishing between import and 243 An example of a class definition in Object-Z is the following from the Button specification of [29]: ActionButton r(Activate) Button actions : seq Action Activate…”