1943 search results - page 208 / 389 » Ordering Default Theories |
196
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
168
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
194
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
191
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
202
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...