[comp.specification] Special Issue of Computer Networks and ISDN Systems on TOOLS FOR FDTs

azcorra@gaudi.dit.upm.es (Arturo Azcorra) (02/09/91)

----------------------------------------------------------------------
!               * * * * CALL FOR PAPERS * * * *                      !
!               -------------------------------                      !
!                                                                    !
!    Special Issue of   "Computer Networks and ISDN Systems"   on:   !
!                      ------------------------------------          !
!                                                                    !
!                 ---------------------------                        !
!                 T O O L S    FOR    F D T s                        !
----------------------------------------------------------------------

Original papers are solicited for a special issue of "Computer
Networks and ISDN Systems" on "Tools for FDTs"" supporting protocol
engineering and/or communication systems design.  The aim of the
special issue is to present the state of the art in tools for the
formal design of communication systems.

Contributions on tools for standardized FDTs, which therefore have a
widespread usage, are especially encouraged; i.e., Estelle, LOTOS and
SDL.

The tools themselves, as well as tool usage and comparative studies
are considered to be of interest for the issue.  Contributions should
support FDT-based design and be centered principally on the following
topics:


    Tools for supporting specification analysis and design:
       Editors, interpreters, simulators, debuggers, ..

    Tool support for FDT-based testing:
       Test suite generators, test administration, ..

    Tools for supporting verification and validation

    Tools for supporting performance analysis based on FDTs

    Tools for supporting protocol implementation
       Compilers, translators, ..

    Transformational tools for FDT-based design.


Contributions should be sent to the guest editor. Please send 7 copies
of the full paper. Papers should have a maximum of 30 pages, double
spaced. The final maximum size of papers may be adjusted after
acceptance.  Papers should be received before the 1st of May, 1991.


    Guest Editor:
        Juan Quemada
        Dept Ingenieria Telematica
        ETSI Telecomunicacion
        Ciudad Universitaria s/n
        E-28040, Madrid
        SPAIN

        Tf: +34 1 5495700 (378)
        Fax: +34 1 2432077
        e-mail: jquemada@dit.upm.es
-----------------------------------------------------------------------




       Arturo Azcorra               
       Dpto. Telematica