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
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;
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
DOI :
10.1109/CCA.2010.5611070
