2514 search results - page 161 / 503 » The use of industrial-strength formal methods |
166
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
185
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
186
click to vote
INFORMATICALT
1998
15 years 6 months ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
189
click to vote
IGARSS
2010
15 years 3 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
182
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...