Change search
ReferencesLink to record
Permanent link

Direct link
A Study in Formal Specifications With Application to Price Calculations in the Power Market
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2015 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

The world today is getting more and more dependent on digital technique, and errors in software can be expensive or hard to fix. Because of this, it is more important than ever to have a reliable way of making sure that developed programs work correctly. This thesis will give an introduction to formal specifications and examine the possible usefulness of one for a price calculating program concerning electricity contracts. Some background information on formal specifications will be presented along with a description of some of the different available techniques for writing one. Furthermore, a model-based specification in the language Z will be developed, and the study will show that this approach to program correctness can be useful for, among other things, programs for the financial domain.

Place, publisher, year, edition, pages
2015. , 23 p.
, UMNAD, 1022
National Category
Engineering and Technology
URN: urn:nbn:se:umu:diva-108279OAI: diva2:852130
External cooperation
Educational program
Bachelor of Science Programme in Computing Science
Available from: 2015-09-08 Created: 2015-09-08 Last updated: 2015-09-08Bibliographically approved

Open Access in DiVA

fulltext(745 kB)90 downloads
File information
File name FULLTEXT01.pdfFile size 745 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Computing Science
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 90 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 346 hits
ReferencesLink to record
Permanent link

Direct link