• DocumentCode
    2692012
  • Title

    Analysis of boolean models using quality assurance methods from software engineering

  • Author

    Schlatter, Rebekka ; Knies, David ; Ederer, Michael ; Sawodny, Oliver

  • Author_Institution
    Inst. for Syst. Dynamics, Univ. of Stuttgart, Stuttgart, Germany
  • fYear
    2010
  • fDate
    8-10 Sept. 2010
  • Firstpage
    518
  • Lastpage
    523
  • Abstract
    Logical modeling is an appropriate approach to cover large-scale biological signal transduction networks. However, the large size of the resulting models lead to problems especially regarding appropriate experimental model validation.
  • Keywords
    Boolean functions; software quality; Boolean models; large-scale biological signal transduction networks; logical modeling; quality assurance methods; software engineering; Analytical models; Biological system modeling; Crosstalk; Proteins; Software; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Control Applications (CCA), 2010 IEEE International Conference on
  • Conference_Location
    Yokohama
  • Print_ISBN
    978-1-4244-5362-7
  • Electronic_ISBN
    978-1-4244-5363-4
  • Type

    conf

  • DOI
    10.1109/CCA.2010.5611070
  • Filename
    5611070