1799 search results - page 109 / 360 » The Logic of Correctness in Software Engineering |
189
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
146
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
178
click to vote
ICST
2008
IEEE
16 years 24 days ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
148
click to vote
TASE
2008
IEEE
16 years 22 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
176
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...