Dieter Hutter, Georg Rock, Jorg H. Siekmann, Werner Stephan, and Roland Vogt, German Research Center for Artificial Intelligence, Germany
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, architecture, and proof support of the system. For illustration a commercial application from the IT-security do-main is used.
This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.