COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
131
Voted
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
101
Voted
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
115
click to vote
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
114
Voted
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Retrieving images by content and forming visual queries are important functionality of an image database system. Using textual descriptions to specify queries on image content is ...
104
Voted
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
86
Voted
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
99
Voted
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
94
Voted
CODES
1997
IEEE
15 years 6 months ago
1997
IEEE
