Код контрактов в C # проблема с интерфейсами

Question

Я пытаюсь реализовать создание интерфейса, а также использовать контракты кода в моей программе на c #, однако программа не собирается, и я получаю эту ошибку на своей консоли.

    interface Parking
    {

        int MaxParkingSpaces { get; set; }
        int AvailableSpaces { get; set; }
        int MaxConferencesinSeason { get; set; }

        bool reserveSpace(int conferenceID, int parkingID, string Customer);
        bool buySpace(int conferenceID, int parkingID, string Customer);
        bool returnSpace(int conferenceID, int parkingID, string Customer);
        bool cancelReservation(int conferenceID, int parkingID);
        string checkAvailability(int conferenceID);
        bool checkCustomer(int conferenceID, int parkingID, string Customer);
    }

  class CarPark : Parking
    {
        public Conferences[] conferencesArray { get; set; }
        public int MaxParkingSpaces { get; set; }//Total number of space which a conference can have
        public int MaxConferencesinSeason { get; set; } //Fixed number of conferences per season
        public int AvailableSpaces { get; set; }

        public CarPark()
        {
            MaxParkingSpaces = 150;
            MaxConferencesinSeason = 10;
            AvailableSpaces = MaxParkingSpaces - 3;
            conferencesArray = new Conferences[MaxConferencesinSeason];
            for (int i = 0; i < MaxConferencesinSeason; i++)
            {
                conferencesArray[i] = new Conferences()
                {
                    conferenceId = i,
                    ParkingArray = new ParkingSpaces[MaxParkingSpaces]
                };

                for (int j = 0; j < MaxParkingSpaces; j++)
                {
                    conferencesArray[i].ParkingArray[j] = new ParkingSpaces()
                    {
                        parkingID = j,
                        parkingIsReserved = false,
                        parkingisReservedByCustomer =false,
                        parkingIsPurchased = false

                    };
                }
            }
        }
        public bool reserveSpace (int conferenceID, int parkingID, string Customer)
        {
            Contract.Requires(conferencesArray[conferenceID].ParkingArray[parkingID].parkingIsReserved);

            return true;


        }

предупреждение CC1033: метод 'CO3401Part2.Program + CarPark.reserveSpace (System.Int32, System.Int32, System.String)' реализует интерфейсный метод 'CO3401Part2.Program + Parking.reserveSpace (System.Int32, System.Int32, System .String) ', поэтому не может добавить Требуется.