共 50 条
- [42] An introduction to TUG: a language for writing reusable formal program specifications ITCC 2005: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, 2005, : 316 - 321
- [44] Writing concurrent Java']Java programs based on CafeOBJ specifications 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 618 - 623
- [46] SCIENTIFIC ENGLISH-WRITING FOR JAPANESE .6. ENGLISH CONSULTANTS AND CORRECTIONS JOURNAL OF THE AGRICULTURAL CHEMICAL SOCIETY OF JAPAN, 1979, 53 (10): : L43 - L54
- [47] On the choice of models of computation for writing executable specifications of system level designs 13TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2000, : 159 - 164
- [49] Establishing an Online Writing Centre: Understanding Writing Consultants? Perceptions and Experiences of Synchronous Virtual One-to-One Tutoring STUDIES IN SELF-ACCESS LEARNING JOURNAL, 2023, 14 (01): : 26 - 44
- [50] Testcraft: A teacher's guide to writing and using language test specifications. CANADIAN MODERN LANGUAGE REVIEW-REVUE CANADIENNE DES LANGUES VIVANTES, 2003, 59 (03): : 487 - 489