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, p. 448-449Conference 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. p. 448-449
Series
Proceedings International Computer Software & Applications Conference, ISSN 0730-3157
National Category
Computer and Information Sciences
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: 2018-01-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Seceleanu, Cristina

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
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