A compositional trace logic for behavioural interface specifications

A compositional trace logic for behavioural interface specifications

Artikkeli

Kyas, Marcel ; De Boer, Frank S. ; De Roever, Willem-Paul

Julkaisussa: Nordic journal of computing 12 (2005) : 2, s. 116-132

Tallennettuna:

Kieli

englanti

Luokitus

acmccs D.2.4
acmccs F.3.1

Aiheet/asiasanat

program specification

interface invariants

object creation

Saatavuustiedot

Henkilökuntanäyttö