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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A specification tool for cooperative engineering systems


    Beteiligte:
    Guetari, R. (Autor:in) / Nguyen, G.T. (Autor:in)


    Erscheinungsdatum :

    01.01.1996


    Format / Umfang :

    556873 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    A Specification Tool for Cooperative Engineering Systems

    Guetari, R. / Toan Nguyen, G. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996


    Systems Engineering Approach for Vehicle Specification

    Beutel, Kris C. / Sevcovic, Michael R. | SAE Technical Papers | 2002


    Airplane Specification engineering

    Beck, P.A. / Robb, R.H. | Engineering Index Backfile | 1941


    Validation Method of Interface Specification for Cooperative Control of Individual Systems

    Yamaguchi, Hiroshi / Tsuchiya, Naoya | British Library Conference Proceedings | 2019


    Validation Method of Interface Specification for Cooperative Control of Individual Systems

    Yamaguchi, Hiroshi / Tsuchiya, Naoya | SAE Technical Papers | 2019