2748 search results - page 171 / 550 » Generating Object-Z Specifications from Use Cases |
115
click to vote
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...
117
click to vote
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
92
Voted
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
102
click to vote
CW
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...