8828 search results - page 251 / 1766 » Formal methods in practice |
172
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
170
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
156
click to vote
FMICS
2007
Springer
16 years 24 days ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
156
click to vote
MKM
2007
Springer
16 years 23 days ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
189
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...