738 search results - page 25 / 148 » Object Orientation and Formal Techniques |
116
Voted
IDS
1994
15 years 3 months ago
1994
An experimental 3D interface to an object oriented database is described. It is hoped that using such techniques will help make complex data structures more comprehensible and eas...
103
Voted
EHCI
1998
15 years 8 days ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
94
Voted
APN
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
116
Voted
LOPSTR
2007
Springer
15 years 5 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...