logo BDSP

Base documentaire


  1. SADLI project : Safety critical software research in the medical diagnostic domain.

    Article - En anglais

    The SADLI (Safety Assurance in Diagnostic Laboratory Imaging) research project was initiated to examine the safety-critical software development methodologies applied to diagnostic microscopy using functional programming language (FPL).

    A cervical screening was used as an example since it is clearly safety critical, software based and posed a wide range of technical problems which would demonstrate the effectiveness of the techniques applied.

    Mots-clés Pascal : Article synthèse, Imagerie médicale, Logiciel, Microscopie, Langage programmation ordinateur, Relation homme machine, Prévention accident, Elaboration logiciel, Diagnostic assisté par ordinateur

    Mots-clés Pascal anglais : Safety assurance in diagnostic laboratory imaging (SADLI) project, Diagnostic microscopy, Functional programming, Reviews, Medical imaging, Computer software, Microscopic examination, Computer programming languages, Human computer interaction, Accident prevention, Software prototyping, Computer aided diagnosis

    Logo du centre Notice produite par :
    Inist-CNRS - Institut de l'Information Scientifique et Technique

    Cote : 96-0124754

    Code Inist : 001D02C. Création : 199608.