Published:
May 2000
Proceedings:
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
Volume
Issue:
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
Track:
All Papers
Downloads:
Abstract:
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.
FLAIRS
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
ISBN 978-1-57735-113-9
Published by The AAAI Press, Menlo Park, California.