2488 search results - page 176 / 498 » An improvement in formal verification |
105
click to vote
ECEASST
2006
15 years 1 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
119
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
122
click to vote
FMAM
2010
14 years 11 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
125
click to vote
JSS
2010
14 years 8 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
AIME
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The role of medical guidelines is becoming more and more important in the medical field. Within the Protocure project it has been shown that the quality of medical guide...