科研项目详细信息
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