Essays about: "Fatemeh Lashkari"

Found 1 essay containing the words Fatemeh Lashkari.

  1. 1. Contract Checking for Feldspar

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Fatemeh Lashkari; [2012-05-25]
    Keywords : ;

    Abstract : "Contracts play an important role in the construction of robust software" [13]. Program invariants are expressed in familiar notation with known semantics by using contracts. Assertions based on contracts has been widely used in procedural and object-oriented languages. READ MORE