Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal methods in industrial practice: Bridging the gap (track summary)
Blekinge Tekniska Högskola, Fakulteten för datavetenskaper, Institutionen för programvaruteknik.ORCID-id: 0000-0003-3818-4442
KTH, SWE.
University of Twente, NLD.
Mälardalens högskola, SWE.
Vise andre og tillknytning
2018 (engelsk)Inngår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) / [ed] Margaria T.,Steffen B., Springer Verlag , 2018, Vol. 11247, s. 77-81Konferansepaper, Publicerat paper (Fagfellevurdert)
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). © Springer Nature Switzerland AG 2018.

sted, utgiver, år, opplag, sider
Springer Verlag , 2018. Vol. 11247, s. 77-81
Serie
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743
Emneord [en]
Industrial management, Software design, Fast forward, Industrial practices, Industrial software development, Software development practices, Software industry, Trustworthy softwares, Formal methods
HSV kategori
Identifikatorer
URN: urn:nbn:se:bth-17348DOI: 10.1007/978-3-030-03427-6_10Scopus ID: 2-s2.0-85056479295ISBN: 9783030034269 (tryckt)OAI: oai:DiVA.org:bth-17348DiVA, id: diva2:1266713
Konferanse
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018; Limassol; Cyprus; 5 November 2018 through 9 November 2018
Tilgjengelig fra: 2018-11-29 Laget: 2018-11-29 Sist oppdatert: 2018-11-29bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Felderer, Michael

Søk i DiVA

Av forfatter/redaktør
Felderer, Michael
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 36 treff
RefereraExporteraLink to record
Permanent link

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