Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D
No. 4
pp. 616-626
Type of Manuscript:
Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword:
method integration, specification and design methods, formal description technique, LOTOS, OMT, |