mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2870-2680
2011 (English)In: 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), Los Alamitos: IEEE Computer Society, 2011, 448-449 p.Conference paper, Published paper (Other academic)
Abstract [en]

Formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. The term has been applied to a range of notations, theories and tools. As the recent history shows, there is no doubt that some of these rigorous methods have already had a significant impact on practical applications of computing. Moreover, formal methods continue to incorporate new system design paradigms, in an attempt to expand their applicability. In this spirit, this panel aims at discussing the underlying principles of formal methods that make them contribute to increasing the quality and reliability of a design, as well as showing their relation to practical problems, and their potential for the future.

Place, publisher, year, edition, pages
Los Alamitos: IEEE Computer Society, 2011. 448-449 p.
Series
Proceedings International Computer Software & Applications Conference, ISSN 0730-3157
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:mdh:diva-15594DOI: 10.1109/COMPSAC.2011.113ISI: 000297149600064Scopus ID: 2-s2.0-80054970577ISBN: 978-0-7695-4439-7 (print)OAI: oai:DiVA.org:mdh-15594DiVA: diva2:562274
Conference
35th Annual IEEE International Computer Software and Applications Conference (COMPSAC), JUL 18-21, 2011, Munich, GERMANY
Available from: 2012-10-23 Created: 2012-10-10 Last updated: 2014-05-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Seceleanu, Cristina
By organisation
School of Innovation, Design and Engineering
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 18 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf