「Formal」の共起表現一覧(1語右が「methods」)
該当件数 : 25件
| Software development based on | formal methods |
| Compiler validation with | formal methods involves a long chain of formal, deduc |
| Hehner's main research area is | formal methods, particularly for programming. |
| VeriFlux is a | formal methods based static analysis tool for program |
| First of all, there have been no set, | formal methods of written notation. |
| ng, security, trusted computing in general and | formal methods in particular |
| Davies is an expert in | formal methods, including Communicating Sequential Pr |
| dations of software engineering, especially on | formal methods for system design. |
| She undertakes | formal methods research in action systems, distribute |
| in the area of dependable computer systems and | formal methods, with a background in the VDM. |
| Hall has worked on software development using | formal methods for the UK National Air Traffic Servic |
| invited speaker at conferences concerned with | formal methods, requirements engineering and software |
| uages, programming methodology, specification, | formal methods, digital rights management and compute |
| ganizes meetings for its members and others on | formal methods and related computer science topics. |
| In non-mission-critical systems, | formal methods may prove to be too expensive for the |
| iewed, scientific journal covering the area of | formal methods and associated topics in computer scie |
| Rajeev Alur is a researcher in the field of | formal methods for modeling and analyzing programs an |
| h software engineer specializing in the use of | formal methods, especially the Z notation. |
| ntrol algorithms, which may or may not utilize | formal methods in their design. |
| As well as | formal methods, he also has interests in interdiscipl |
| Inverno has undertaken research in the area of | formal methods, especially using the Z notation for s |
| ossible coding errors (e.g., the lint tool) to | formal methods that mathematically prove properties a |
| ly been a centre of excellence in the field of | formal methods, playing a leading role in the develop |
| ogue data; and on using the generalizations as | formal methods for system design; and on the interfac |
| as still received significant attention in the | formal methods community, and research on aspects of |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
