1782 search results - page 58 / 357 » Tool Support for Proof Engineering |
121
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
154
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
155
click to vote
ECLIPSE
2005
ACM
15 years 5 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...
125
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
COLING
1996
15 years 4 months ago
1996
Language engineering implenicnts functions of a language and inforillation via computers. '['he need for language engineering plattbrms has been generally recognized and...