8828 search results - page 135 / 1766 » Formal methods in practice |
146
Voted
TRUSTBUS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
113
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
152
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
131
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
133
click to vote
SOSE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...