Document number: N4024 Date: 2014-05-22 Project:

Reply-to: Nat Goodspeed ( nat at lindenlab dot com) Oliver Kowalke (oliver dot kowalke at gmail dot com) Distinguishing coroutines and fiber

Support for Design by Contract ™ in the

There is evidence that “contracts, ” or assertion techniques involving preconditions, postconditions, and invariants, have a positive effect on overall software quality. Regrettably, very few programming languages support these techniques. Since the advent of Bertrand Meyer’s Design by Contract ™ method, introduced in the language Eiffel, a number of systems have been built to implement support for contracts in more commonly-used languages. Such support has not been satisfactorily implemented in C#. In this paper, we compare the different approaches of existing systems and introduce Contract Sharp, a tool that provides support for contracts in C#.

C言語学習支援のためのWeb上でのプログラミング環境の開発

プログラミング教育では，学習者によるコンパイルエラーの自力での解決が困難であることや，授業外での自学習確保のための環境設定が困難であることなどの問題点がある。また，教員が学習者個別の学習状況を把握することが困難である。これらを解決するために，本稿ではオンライン上でのソース編集，ソース保存，コンパイル・実行可能な　C 言語学習支援システムの開発をおこなう。また，エラーの自己解決に関する機能も開発，実装をおこなう。そして，開発したシステムを用いて実際の授業での運用実験をおこない，利用状況とアンケート調査をから，システムの有効性を検証した