Can formal models play a role in requirements engineering where textual documents are and will be the preferred style of specifications? The paper will sketch some examples from industrial projects in automotive embedded systems and railway traffic control systems. To start a discussion, some solutions developed by the authors company are demonstrated. The central subject is the potential and application of a file-based inter-tool specification exchange realised with the EXERPT tool.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Aspects of formalisation in requirements engineering


    Beteiligte:


    Erscheinungsdatum :

    2007


    Format / Umfang :

    12 Seiten, 6 Bilder



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formalisation of the multigrid computations

    Martynenko, Sergey | British Library Online Contents | 2013


    Formalisation of the multigrid computations

    Martynenko, S. | British Library Online Contents | 2013


    Formalisation and Verification in a Type-Theoretic Framework

    Luo, Z. | British Library Conference Proceedings | 2009


    Contribution to the Grafcet formalisation. A static meta-model proposition

    Couffin, F. / Lamperiere, S. / Faure, J.-M. | British Library Online Contents | 1997


    Formalisation and simulation of operating rules using coloured Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | British Library Conference Proceedings | 2006