Author of the publication

Design rationale for a wide spectrum specification language FGSPEC.

, and . J. Comput. Sci. Technol., 8 (2): 138-146 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Requirements Analysis and Specification as a Problem of Software Automation., and . SEKE, page 457-464. Knowledge Systems Institute, (1996)Analogical Program Derivation Based on Type Theory., and . Theor. Comput. Sci., 113 (2): 259-272 (1993)Quantum programming languages: A tentative study., and . Sci. China Ser. F Inf. Sci., 51 (6): 623-637 (2008)Formal semantics of some functional constructs of the software requirements definition language NDRDL., and . COMPSAC, page 642-645. IEEE Computer Society, (1997)A Knowledge Processing Language and Its Parallel Inference System., , and . SEKE, page 199-206. Knowledge Systems Institute, (1993)Development Transformation Based on Higher Order Type Theory., and . Constructivity in Computer Science, volume 613 of Lecture Notes in Computer Science, page 58-70. Springer, (1991)Analogical Type Theory., and . J. Symb. Comput., 19 (1-3): 3-24 (1995)Report on a Software Automation R&D Project.. IFIP Congress, page 81. North-Holland/IFIP, (1989)Analogical Type Theory., and . DISCO, volume 722 of Lecture Notes in Computer Science, page 33-44. Springer, (1993)Design rationale for a wide spectrum specification language FGSPEC., and . J. Comput. Sci. Technol., 8 (2): 138-146 (1993)