address all theoretical aspects and methodological issues of computing, such as software