mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal methods in industrial practice - Bridging the gap (track summary)
University of Innsbruck, Innsbruck, Austria; Blekinge Institute of Technology, Karlskrona, Sweden.
KTH Royal Institute of Technology, Stockholm, Sweden.
University of Twente, Enschede, Netherlands.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-5297-6548
Visa övriga samt affilieringar
2018 (Engelska)Ingår i: Lect. Notes Comput. Sci., Springer Verlag , 2018, Vol. 11247, s. 77-81Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing).

Ort, förlag, år, upplaga, sidor
Springer Verlag , 2018. Vol. 11247, s. 77-81
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11247 LNCS
Nyckelord [en]
Industrial management, Software design, Fast forward, Industrial practices, Industrial software development, Software development practices, Software industry, Trustworthy softwares, Formal methods
Nationell ämneskategori
Programvaruteknik Tillförlitlighets- och kvalitetsteknik Inbäddad systemteknik
Identifikatorer
URN: urn:nbn:se:mdh:diva-41394DOI: 10.1007/978-3-030-03427-6_10Scopus ID: 2-s2.0-85056479295ISBN: 9783030034269 (tryckt)OAI: oai:DiVA.org:mdh-41394DiVA, id: diva2:1379000
Konferens
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018; Limassol; Cyprus; 5 November 2018 through 9
Tillgänglig från: 2019-12-16 Skapad: 2019-12-16 Senast uppdaterad: 2019-12-18Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Lisper, Björn

Sök vidare i DiVA

Av författaren/redaktören
Lisper, Björn
Av organisationen
Inbyggda system
ProgramvaruteknikTillförlitlighets- och kvalitetsteknikInbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf