61 search results - page 10 / 13 » deductive 1998 |
119
Voted
WIFT
1998
IEEE
15 years 1 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
88
Voted
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
It is today widely acceptedthat "Business Rules Independence" is required for information systemsto better and more rapidly adjust to changesin thebusinessenvironment,Th...
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
AIMSA
1998
Springer
15 years 1 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...