Sureerat SAEEIAB


Method Integration with Formal Description Techniques
Sureerat SAEEIAB Motoshi SAEKI 
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 integrationspecification and design methodsformal description techniqueLOTOSOMT
 Summary | Full Text:PDF(1.1MB)