525 search results - page 2 / 105 » Systems Development Using Z Generics |
PRESENCE
2002
13 years 7 months ago
2002
In mixed reality, occlusions and shadows are important to realize a natural fusion between the real and virtual worlds. In order to achieve this, it is necessary to acquire dense ...
IDEAS
2000
IEEE
13 years 12 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
CAEPIA
2003
Springer
14 years 21 days ago
2003
Springer
This paper describes how agent and knowledge technology can be used to build advanced software systems that support operational decisionn complex domains. In particular, we present...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...