2364 search results - page 114 / 473 » An Engine for Computing Well-Founded Models |
151
click to vote
MODELS
2007
Springer
15 years 10 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...
131
Voted
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
150
click to vote
ECMDAFA
2009
Springer
15 years 1 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
169
click to vote
ICEIS
2000
IEEE
15 years 8 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
155
click to vote
IS
1998
15 years 3 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...