Some remarks about formal and informal specification methods in the context of software development

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    29 Downloads (Pure)
    Originele taal-2Engels
    TitelInterdisciplinary foundations of systems design and evaluation
    RedacteurenL. Bannon, R. Keil-Slawik, I. Wagner
    Plaats van productieSaarbruecken
    UitgeverijGeschaeftsstelle Schloss Dagstuhl
    Pagina's42-45
    StatusGepubliceerd - 1995

    Publicatie series

    NaamDagstuhl Seminar-Report
    Volume97-9438

    Citeer dit