Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Reasoning about software specifications - A case study


    Beteiligte:
    WILD, CHRIS (Autor:in) / CHEN, JI (Autor:in) / ECKHARDT, DAVE (Autor:in)

    Kongress:

    7th Computers in Aerospace Conference ; 1989 ; Monterey , CA , U.S.A.



    Erscheinungsdatum :

    1989-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Case-Based Reasoning for Software Design Reuse

    Channarukul, S. / Charoenvikrom, S. / Daengdej, J. et al. | British Library Conference Proceedings | 2005


    Specifications for IDAMST Software

    D. G. Tubb | NTIS | 1977


    Tailoring software acquisition specifications

    Morrey, J.C. / Petrovay, G.O. | Tema Archiv | 1976


    Reasoning about procedural knowledge

    GEORGEFF, M. | AIAA | 1985


    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archiv | 1997