3799 search results - page 242 / 760 » An Engineering Approach to Formal Methods |
154
Voted
ICCS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
170
click to vote
ECOWS
2009
Springer
16 years 22 days ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
161
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
158
Voted
SAC
2009
ACM
16 years 29 days ago
2009
ACM
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
154
click to vote
PEPM
1995
ACM
15 years 9 months ago
1995
ACM
A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be applied stra...