University of Jyväskylä | JYX Digital Repository

  • English  | Give feedback |
    • suomi
    • English
 
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
View Item 
  • JYX
  • Opinnäytteet
  • Pro gradu -tutkielmat
  • View Item
JYX > Opinnäytteet > Pro gradu -tutkielmat > View Item

The formal method known as B and a sketch for its implementation

Thumbnail
View/Open
691.1 Kb

Downloads:  
Show download detailsHide download details  
Authors
Kaijanaho, Antti-Juhani
Date
2002
Discipline
TietotekniikkaMathematical Information Technology

 
Keywords
kuvauskielet ohjelmistotekniikka automaattinen päättely formaalit menetelmät formaalinen logiikka atk-ohjelmat historia Ebba
URI

http://urn.fi/URN:NBN:fi:jyu-2002888118

Metadata
Show full item record
Collections
  • Pro gradu -tutkielmat [24542]

Related items

Showing items with similar title or keywords.

  • ECCOLA : a method for implementing ethically aligned AI systems 

    Vakkuri, Ville; Kemell, Kai-Kristian; Jantunen, Marianna; Halme, Erika; Abrahamsson, Pekka (Elsevier, 2021)
    Artificial Intelligence (AI) systems are becoming increasingly widespread and exert a growing influence on society at large. The growing impact of these systems has also highlighted potential issues that may arise from ...
  • Systematic implementation of higher order Whitney forms in methods based on discrete exterior calculus 

    Lohi, Jonni (Springer, 2022)
    We present a systematic way to implement higher order Whitney forms in numerical methods based on discrete exterior calculus. Given a simplicial mesh, we first refine the mesh into smaller simplices which can be used to ...
  • CLEASE : A versatile and user-friendly implementation of Cluster Expansion method 

    Chang, Jin Hyun; Kleiven, David; Melander, Marko; Akola, Jaakko; Garcia-Lastra, Juan Maria; Vegge, Tejs (IOP Publishing, 2019)
    Materials exhibiting a substitutional disorder such as multicomponent alloys and mixed metal oxides/oxyfluorides are of great importance in many scientific and technological sectors. Disordered materials constitute an ...
  • Tuoterunko hajautetussa ympäristössä 

    Kuosmanen, Timo (2007)
  • Vaatimustenhallinta ja sen kehittäminen ohjelmiston elinkaaren näkökulmasta 

    Kallio, Jenni (2008)
  • Browse materials
  • Browse materials
  • Articles
  • Conferences and seminars
  • Electronic books
  • Historical maps
  • Journals
  • Tunes and musical notes
  • Photographs
  • Presentations and posters
  • Publication series
  • Research reports
  • Research data
  • Study materials
  • Theses

Browse

All of JYXCollection listBy Issue DateAuthorsSubjectsPublished inDepartmentDiscipline

My Account

Login

Statistics

View Usage Statistics
  • How to publish in JYX?
  • Self-archiving
  • Publish Your Thesis Online
  • Publishing Your Dissertation
  • Publication services

Open Science at the JYU
 
Data Protection Description

Accessibility Statement

Unless otherwise specified, publicly available JYX metadata (excluding abstracts) may be freely reused under the CC0 waiver.
Open Science Centre