811 search results - page 104 / 163 » Integrating Formal Description Techniques |
122
click to vote
STEP
2003
IEEE
15 years 5 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
SWAP
2007
15 years 1 months ago
2007
Abstract. Recent research showed the benefits of adopting formal ontologies as a means for accessing heterogeneous data sources. The use of an ontology not only provides a uniform...
187
click to vote
ICLP
2009
Springer
16 years 14 days ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
109
click to vote
IFM
2005
Springer
15 years 5 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
110
click to vote
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...