448 search results - page 82 / 90 » A Meta-Method for Formal Method Integration |
DAGSTUHL
2006
15 years 1 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
NDQA
2003
15 years 1 months ago
2003
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...
OAS
2003
15 years 1 months ago
2003
Current Web services standards enable publishing service descriptions and finding services by matching requested and published descriptions based on syntactic criteria such as me...
118
click to vote
ECAI
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
112
click to vote
TPHOL
1997
IEEE
15 years 3 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...