...

Neste caso o valor retornado pelas acções não é necessariamente booleano.

...

Os menus deverão ser azuis ou cor-de-rosa? Prefiro um options menu ou uma radio box?

...

Um exemplo típico é o tipo Data. A definição

Data = INTINTINT

permite valores como

(36, 13, 25)

o qual é claramente inválido. É então necessário associar ao tipo um invariante que expresse as limitações impostas a uma data.

...

No caso da fig. 11 teríamos as espécies Elem, Pilha e Bool e as operações INIT, PUSH, POP, TOP e EMPTY.

...

Nunca é de mais referir que esta correcção se situa não só no nível sintático mas também no semântico (cf. Modo Assistido).

...

iniciar: começar qualquer coisa; inicializar: colocar no estado inicial.

...

Suponhamos, por exemplo que, por hipótese absurda, a operação EXISTPAL para além de verificar a existência da palavra, alterava o estado da aplicação removendo-a. Quando REMPAL fosse invocado essa invocação seria incorrecta já que se estava a tentar remover uma palavra que já não existia no dicionário!

...

Os argumentos e as variáveis da Apresentação estão agrupadas

...

Cada Transição pode ter mais do que um Lugar de Partida e/ou mais do que um Lugar de chegada)

...

Esta regra será mantida para todas as redes que de seguida se apresentam.

...

Como é evidente, se gi não for um Guião mas input não existe cláusula de contexto e, desde que a marcação o permita, a transição será sempre válida.

...

Bastaria colocar apenas a segunda condição.

...

Para uma maior flexibilidade da interface poder-se-ia fazer a distinção entre menus popup e pulldown. De momento vamos apenas considera-los de uma forma global.

...

Tal característica pode ser utilizada, por exemplo, para a apresentação de painéis de ajuda (help).

...

De um dos tipos que serão introduzidos na secção 7.2.

...

Ao tipo Data estaria associado o invariante invData.

...

(quote symop) ou 'symop.

...

Uma versão não modelar do CAMILA

...

A representação final dos dados dependerá do processo de refinamento.

...

Considere a expressão GetVal(v1)GetVal(v2)

...

Por exemplo, no caso das Funções Finitas, não podem existir repetições no domínio.

...

Aqui está um caso em que são acrescentados novos comandos aos inicialmente existentes.

...

Neste caso será apresentado, por exemplo, um botão que, quando seleccionado, desencadeará a apresentação da descrição do GI.

...

Na realidade, esta afirmação não é totalmente verdadeira. Mesmo quando em Modo Comando, se um argumento está definido como Scale o seu valor é comparado com os limites da definição, se está definido como OptionMenu ou RadioBox é testado se o valor é um dos enumerados na definição.

...

O meu agradecimento ao Eng. José João pela cedência das suas funções de I/O.

...

Algo semelhante ao método changed: do SmallTalk.

...

O meu agradecimento ao Pina Miranda por me ter chamado a atenção para este sistema.