By Topic

A specification tool for cooperative engineering systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Guetari, R. ; Inst. Nat. de Recherche en Inf. et Autom., Grenoble, France ; Nguyen, G.T.

Formal methods and tools are needed for quality software development. Their main contributions are: abstraction and proofs, and they are necessary to increase reliability and correctness in software development. Indeed they are intended to help users specify consistently their needs and verify them. That's the reason why formal techniques are at the present time, an active research topic. Mathematical techniques are the best way to prove or to verify the consistency of the specification of a given system or algorithm. But the difficulty to put into use these mathematical techniques involves of course various tools to be defined in order to assist design and to help users make the most out of formal approaches, without the apparent complexity of mathematical concepts. CAST (Computer-Aided Specification Tool), presented in this paper is one of these tools dedicated to make theoretical aspects of formal specifications accessible to persons who are not in the know. It allows designers specify processes in cooperative information environments. CAST is a graphical tool which provides a friendly user interface and allows the specification and of processes by representing them by automata. It provides an SCCS (Synchronous Calculus of Communicating Systems) specification. This tool is developed for the SHOOD project, which aims at providing tools and methods for the integration of engineering design systems

Published in:

Aerospace and Electronics Conference, 1996. NAECON 1996., Proceedings of the IEEE 1996 National  (Volume:2 )

Date of Conference:

20-23 May 1996