795 search results - page 95 / 159 » A Formal Approach to Heterogeneous Software Modeling |
113
click to vote
IEE
2008
15 years 16 days ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
86
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
111
Voted
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
117
Voted
TASE
2008
IEEE
15 years 12 days ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
126
click to vote
JSW
2007
15 years 11 days ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...