Skip to main content

Spec # -formal language for API contracts

Spec # is an extension of c# with constructs which permits specification and reasoning about object invariants. It has non-null types and provides constructs for pre and post conditions and object invariants. The Spec# is used to test formal specifications and static/dynamic provers that use them.

Comments

Post a Comment

Popular posts from this blog

Loading data in MySQL Table from a Text File

There are many situation when we need to load some text data into a table. In this post I will tell you some simple steps to load Data into a MySQL table from a text File . First of all data should be in proper format Fields/ Columns should be separated by some character like space, tab or comma etc. Rows /Records/ Lines should be separated by some character like "\r\n" if there is one record per line. If data is Enclosed using some character it should be same for all columns. Create a Table in MySQL to hold data. Use LOAD DATA command to load data into the Table. Example: I have following data saved in a file c:\sample.txt "http://dbpedia.org/resource/AfghanistanHistory" "http://www.w3.org/2000/01/rdf-schema#label" "AfghanistanHistory" "http://dbpedia.org/resource/AfghanistanGeography" "http://www.w3.org/2000/01/rdf-schema#label" "AfghanistanGeography" "http://dbpedia.org/resource/Access...
35 comments
Read more

How to add JCalendar/ date chooser to WindowBuilder, for Swing GUI in Java?

WindowBuilder is most popular eclipse plugin for drag and drop GUI design. It supports SWT and Swing. Swing does not have a date chooser component of its own. But there are many components available that you can use. My personal favourite is JCalendar . You can add JCalendar components to your WindowBuilder  palette  by following these instructions. Download and extract JCalendar.  Right-click on the palette   in WindowBuilder Select jar file of Jcalendar select all componetnts Restart Eclipse. Now you will see JCalendar components in your  palette . For more information about  visit this page.  
16 comments
Read more

Find and remove duplicate files in Ubuntu / Mint Linux

If you have accumulated thousands of files , some times you will have more than one versions of same file. If you use Ubuntu of Mint linux you can find and remove these duplicates very easily. There are two popular tools for this fdupes and fslint Using fdubes ftubes is the most popular, simple and powerful tool to find duplicates and remove them. It is a command line tool so if you don't like command line move to next heading. It compares file size  and MD5 signatures(Do not worry if you don't know what it is). So it will find duplicates even if they have different names. Installation From terminal execute following command  sudo apt-get install fdupes ftubes Syntax fdupes [options] directory where  options available are -r --recurse include files residing in subdirectories -s --symlinks follow symlinked directories -H --hardlinks normally, when two or more files point to the same disk area they are treated as non-duplicates; this ...
41 comments
Read more