Formal Software Development
Spring Semester 2008
You can save the B files into your home directory using Internet Explorer. Click the right mouse button on one of the links, and choose 'Save Target As...'. Find an appropriate subdirectory of your home directory to save the files into. But before you click the 'Save' button, make sure you change the box labelled 'Save as type:' to 'All files' rather than 'Text document'. This stops Internet Explorer from adding a '.txt' extension to the file name when it saves it.
Lab session instructions
There is one main CASE tool two that we shall be using in lab sessions which is the B-Toolkit developed by B Core Limited.
The files that you will be editing are text files in UNIX format. This means that if you attempt to edit them in Windows Notepad, the text will all appear on one very long line. It will be very difficult to follow what is going on. If you put the line breaks in using Notepad, then the B-Toolkit will not complain. You can do this when you want to start writing a B specification outside the toolkit. However, once you have introduced it to the toolkit you will need to edit it within the toolkit environment. The Btoolkit is a configuration management tool as well as a tool which supports formal development and therefore if you try to by pass the configuration management you will get in a mess.
|Hosted by Computing @ Surrey||
This page is maintained by