Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\view2.php on line 217

Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\include\class.record.php on line 245

Warning: array_reverse() [function.array-reverse]: The argument should be an array in C:\Fez\eth-design\include\class.record.php on line 261

Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\include\class.record.php on line 289

Warning: array_reverse() [function.array-reverse]: The argument should be an array in C:\Fez\eth-design\include\class.record.php on line 303
ETH ETH E-Collection eth:29720 - Detail View - ETH E-Collection

Application error

We're sorry, but an application error occurred while processing your request. Possible reasons are:

  1. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:29720' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  2. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_ismemberof m1 on r1.rek_pid = m1.rek_ismemberof AND m1.rek_ismemberof_pid = 'eth:29720' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  3. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_isderivationof m1 on r1.rek_pid = m1.rek_isderivationof AND m1.rek_isderivationof_pid = 'eth:29720' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  4. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:29720' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  5. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_ismemberof m1 on r1.rek_pid = m1.rek_ismemberof_pid AND m1.rek_ismemberof = '' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 170
  6. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:29720' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110

If you think that there should be no error, please contact us.

Metadata Label Value
Author(s): Brucker, Achim D.
Publisher: ETH
Citation:

Brucker, Achim D.. An interactive proof environment for object-oriented specifications. ETH (2007). http://dx.doi.org/10.3929/ethz-a-005413886

Documents: Abstract (166.41KB) , Fulltext (2.50MB)
Import to Mendeley

Detailed Information

Metadata Description
Title An interactive proof environment for object-oriented specifications
Author(s) Brucker, Achim D.
Publication Place Zürich
Publisher ETH
Publication Date 2007
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 17097, 2007
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005413886
Subject(s) Software
Keyword(s) SPECIFICATIONS
CORRECTNESS
THEORY OF PROGRAMMING
OBJECT-ORIENTED PROGRAMMING
PROGRAMMING METHODS
Description File Name MIME Type Size
Abstract   eth-29720-01.pdf application/pdf 166.41KB
Fulltext   eth-29720-02.pdf application/pdf 2.50MB
Abstract Views and Downloads
Views 91  abstracts
Downloads 69  downloads

Abstract Views and Downloads by Country
Views 24  abstracts
Downloads 17  downloads
United States Views abstracts
Downloads 16  downloads
Switzerland Views 12  abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
China Views 27  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Belarus Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Sat, 19 Apr 2008, 05:12:36 CET