No label defined (Q4400804)
From MaRDI portal
scientific article; zbMATH DE number 1182732
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1182732 |
Statements
2 February 1999
0 references
information systems
0 references
logic-based specification
0 references
specification evolution
0 references
evolving objects
0 references
Troll
0 references
Gnome
0 references
temporal logic OSL
0 references
behaviour evolution
0 references