Sökning: onr:"swepub:oai:DiVA.org:mdh-41394" >
Formal methods in i...
Formal methods in industrial practice - Bridging the gap (track summary)
-
- Felderer, Michael, 1978- (författare)
- Blekinge Tekniska Högskola,Institutionen för programvaruteknik
-
- Gurov, Dilian, 1964- (författare)
- KTH,Teoretisk datalogi, TCS,KTH Royal Institute of Technology, Stockholm, Sweden,KTH, SWE
-
- Huisman, M. (författare)
- University of Twente, Enschede, Netherlands,University of Twente, NLD
-
visa fler...
-
- Lisper, Björn (författare)
- Mälardalens högskola,Inbyggda system,Mälardalens högskola, SWE
-
- Schlick, R. (författare)
- AIT Austrian Institute of Technology, Seibersdorf, Austria
-
visa färre...
-
(creator_code:org_t)
- 2018-10-30
- 2018
- Engelska.
-
Ingår i: Lect. Notes Comput. Sci.. - Cham : Springer Verlag. - 9783030034269 ; , s. 77-81
- Relaterad länk:
-
https://ris.utwente....
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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).
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik -- Tillförlitlighets- och kvalitetsteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering -- Reliability and Maintenance (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Industrial management
- Software design
- Fast forward
- Industrial practices
- Industrial software development
- Software development practices
- Software industry
- Trustworthy softwares
- Formal methods
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas