RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @article{RISC2969,
    author = {Gabor Guta},
    title = {{Towards error-free software}},
    language = {hungarian},
    abstract = {Formal Methods represents a field of computer science which promises techniques and methods based on mathematical principles to produce error-free software. In this short overview we will try to point out how Formal Methods could be used in a cost effective manner in enterprise environment and which areas are developed enough to be used on a large scale.},
    journal = {IT-Business (Hungary)},
    volume = {4},
    number = {38},
    pages = {26--27},
    publisher = {Vogel Burda Communications},
    isbn_issn = {ISSN 1589-3464},
    year = {2006},
    refereed = {no},
    length = {2}
    }