95 search results - page 11 / 19 » Incremental Reasoning for Object Oriented Systems |
192
click to vote
ENTCS
2006
15 years 5 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
156
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
131
click to vote
OOPSLA
2009
Springer
16 years 3 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
161
click to vote
ISMAR
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper presents methodology for integrating a small, singlepoint laser range finder into a wearable augmented reality system. We first present a way of creating object-align...
188
click to vote
HICSS
2010
IEEE
16 years 13 days ago
2010
IEEE
It seems common sense that “policy matters” in setting up e-government interoperability, mainly because collaboration should be guided by dedicated integration objectives and ...