科研项目详细信息
SCOOP: Environment for dependable distributed and reliable object-oriented computing, based on the principles of Design by Contact | |
Meyer Bertrand | |
ETH Zurich - ETHZ | |
keywords:object technology; concurrent/distributed programming; software reliability and robustness; design by contract; reusable and trusted components; eiffel methodology | |
keywords: | |
Subject:社会科学、人文和艺术(综合) | |
瑞士|英语 | |
2005至2005 | |
Source: 瑞士国家科学基金会 | |
Link: http://p3.snf.ch/Pages/DataAndDocumentation.aspx |