共 50 条
- [1] MECHANICAL TRANSLATION OF SET THEORETIC PROBLEM SPECIFICATIONS INTO EFFICIENT RAM CODE - A CASE-STUDYJOURNAL OF SYMBOLIC COMPUTATION, 1987, 4 (02) : 207 - 232PAIGE, RHENGLEIN, F
- [2] SPECIFICATIONS - FORMAL AND INFORMAL - A CASE-STUDYSOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (05): : 433 - 444GEHANI, N
- [3] A CASE-STUDY OF CODE INSPECTIONSHEWLETT-PACKARD JOURNAL, 1991, 42 (04): : 58 - 63BLAKELY, FWBOLES, ME
- [4] COMBINING TESTING WITH FORMAL SPECIFICATIONS - A CASE-STUDYIEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (03) : 328 - 335MCMULLIN, PRGANNON, JD
- [5] REASONING ABOUT SOFTWARE SPECIFICATIONS - A CASE-STUDYAIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 1024 - 1033WILD, CJI, CECKHARDT, D
- [6] VALENCE, POLYSEMY AND TRANSLATION - A CASE-STUDYROMANISCHE FORSCHUNGEN, 1992, 104 (1-2) : 1 - 26BLUMENTHAL, PROVERE, G
- [7] RAM ANALYSIS OF A NAVIGATIONAL SYSTEM BY MARKOV TECHNIQUE - A CASE-STUDYMICROELECTRONICS AND RELIABILITY, 1986, 26 (03): : 447 - 451RAO, PKBALASUBRAMANYA, KS
- [8] SIGHT TRANSLATION IN HEALTHCARE SETTINGS: A CASE-STUDYMONTI, 2016, : 367 - 398Pontrandolfo, Gianluca
- [9] CASE-STUDY IN PROGRAM TRANSFORMATION - TRANSLATION INTO POLISHIEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (06) : 593 - 606COHEN, JSITVER, R
- [10] A CASE-STUDY OF PROBLEM-SOLVINGBULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1965, 18 (61): : 11 - 16INNES, JM