... tools In IDPT 199 9, pages 49- 56, 199 9 [11] M A Jackson Principles of Program Design Academic Press, 197 5 [12] J.Doyle A truth maintenance system Artificial Intelligence, 10:231-272, 197 9 [13] T Hirota, ... operation of building CAD In IDPT 199 8, Vol.4, pages 126–133, 199 8 [14] S Si Alhir UML: A Desktop Quick Reference OReilly, 199 8 272 Knowledge-based Software Engineering T Welzer et al.(Eds.) ... and output data In COMPSAC90, pages 6 29- 638, 199 0 [9] J Rumbaugh, M Blaha, W Premerlani, F Eddy, and W Lorensen Object-Oriented Modeling and Design Prentice-Hall, 199 1 [10] Y Miyazaki, K Katamine,...