共 50 条
- [1] FORMAL DESCRIPTION TECHNIQUES - COMMUNICATION TOOLS FOR DATA COMMUNICATION SPECIALISTS - FORMAL SPECIFICATION AND IMPLEMENTATION OF A FILE TRANSFER PROTOCOL COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (2-5): : 311 - 321
- [2] Major threat: From formal methods without tools to tools without formal methods NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 15 - 15
- [3] A COMPARISON OF FORMAL KNOWLEDGE REPRESENTATION SCHEMES AS COMMUNICATION TOOLS - PREDICATE LOGIC VS SEMANTIC NETWORK INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1990, 33 (02): : 227 - 239
- [7] Comparison of formal knowledge representation schemes as communication tools. predicate logic vs semantic network Nosek, John T., 1600, (33):
- [8] FORMAL TOOLS FOR TRISTATE DESIGN IN BUSSES IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 459 - 474
- [9] Methods and tools for formal software engineering VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +