29 search results - page 6 / 6 » A Proof Obligation Generator for VDM-SL |
ICLP
1999
Springer
13 years 10 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
ENTCS
2007
13 years 6 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
CAISE
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
ECLIPSE
2005
ACM
13 years 8 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...