2514 search results - page 71 / 503 » The use of industrial-strength formal methods |
195
click to vote
HCI
2009
15 years 4 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
148
click to vote
IEE
2008
15 years 5 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
151
click to vote
KCAP
2009
ACM
16 years 21 days ago
2009
ACM
In this paper we give an overview of a multiontology disambiguation method, targeted to discover the intended meaning of words in unstructured web contexts. It receives an ambiguo...
171
click to vote
FOIKS
2010
Springer
15 years 4 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
144
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...