3799 search results - page 17 / 760 » An Engineering Approach to Formal Methods |
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
DSVIS
1998
Springer
13 years 12 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...