A functional model of software and its application in troubleshooting, design and reuse