Correctness-by-Construction for Correct and Secure Software Systems

Titel:	Correctness-by-Construction for Correct and Secure Software Systems / Tobias Runge ; Martin Johns, Ina Schaefer, Reiner Hähnle
Verfasser:	Runge, Tobias
Beteiligt:	Johns, Martin (Akademischer Betreuer) ; Schaefer, Ina (Akademischer Betreuer) ; Hähnle, Reiner (Akademischer Betreuer)
Veröffentlicht:	Braunschweig : Technische Universität Braunschweig, 2023
Umfang:	1 Online-Ressource (274 Seiten)
Format:	E-Book
Sprache:	Englisch
Hochschulschrift:	Dissertation, Braunschweig, Technische Universität Braunschweig, 2023
Schlagworte:	Softwareentwicklung Hochschulschrift

alg: 50938660
001A    $06000:06-07-23 
001B    $01999:29-11-24 $t18:37:17.000 
001D    $06000:06-07-23 
001U    $0utf8 
001X    $00 
002@    $0Oax 
002C    $aText $btxt $2rdacontent 
002D    $aComputermedien $bc $2rdamedia 
002E    $aOnline-Ressource $bcr $2rdacarrier 
003@    $0509386601 
004U    $0urn:nbn:de:gbv:084-2023060711516 
006G    $01292353538 
006U    $023,O07 $f20230608 
007A    $01292353538 $aDNB 
009Q    $uhttps://nbn-resolving.org/urn:nbn:de:gbv:084-2023060711516 $xR 
009Q    $qapplication/pdf $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $xH 
010@    $aeng 
011@    $a2023 $n2023 
013D    $RWissenschaftliche Literatur $#Dissertations, Academic $#Thèses et écrits académiques $74113937-9 $8Hochschulschrift [Ts1] $9085338818 
021A    $aCorrectness-by-Construction for Correct and Secure Software Systems $hTobias Runge ; Martin Johns, Ina Schaefer, Reiner Hähnle 
028A    $BVerfasser $4aut $D20231015 $Ecgwrk $8Runge, Tobias$Z1993- [Tp3] $9511583737 
028C    $BAkademischer Betreuer $4dgs $7173953956 $8Johns, Martin [Tp3] $9298119951 
028C    $BAkademischer Betreuer $#Schaefer, I. $4dgs $7137483821 $8Schaefer, Ina$Z1977- [Tp1] $920973924X 
028C    $BAkademischer Betreuer $4dgs $7136037542 $8Hähnle, Reiner [Tp1] $9202997227 
033A    $pBraunschweig $nTechnische Universität Braunschweig 
034D    $a1 Online-Ressource (274 Seiten) 
037A    $aIn: Die Lizenz gilt nicht für die angehängten Artikel, außer sie sind explizit gekennzeichnet 
037C    $dDissertation $eBraunschweig, Technische Universität Braunschweig $f2023 
037I    $uhttps://creativecommons.org/licenses/by/4.0/ 
037J    $aOpen Access $2star $uhttp://purl.org/coar/access_right/c_abf2 $fUnrestricted online access 
044K    $qDNB $RSoftware Engineering $RProgrammierung $RSoftwareentwickler $RWebentwicklung $#Software engineering $#Génie logiciel $#Softwareentwicklung $#Programmentwicklung $#Software Entwicklung $#Softwareentwurf $#Programmentwicklung $#Programmentwurf $emaschinell gebildet $74116522-6 $8Softwareentwicklung [Ts1] $9085355895 $k0,14151 
045B    $a005.1 $ADNB $e23kdnb $Emaschinell gebildet $K0,90268 
045E    $c004 
046X    $aArchivierung/Langzeitarchivierung gewährleistet $5DE-101 

lok: 50938660 3

exp: 50938660 3 1 #EPN
201B/01 $007-07-23 $t00:53:47.357 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239178980 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 5

exp: 50938660 5 1 #EPN
201B/01 $007-07-23 $t00:53:47.361 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239178999 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 8

exp: 50938660 8 1 #EPN
201B/01 $007-07-23 $t00:53:47.364 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179006 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 10

exp: 50938660 10 1 #EPN
201B/01 $007-07-23 $t00:53:47.366 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179014 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 11

exp: 50938660 11 1 #EPN
201B/01 $007-07-23 $t00:53:47.369 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179022 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 20

exp: 50938660 20 1 #EPN
201B/01 $007-07-23 $t00:53:47.373 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179030 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 21

exp: 50938660 21 1 #EPN
201B/01 $007-07-23 $t00:53:47.375 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179049 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 23

exp: 50938660 23 1 #EPN
201B/01 $007-07-23 $t00:53:47.378 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179057 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 25

exp: 50938660 25 1 #EPN
201B/01 $007-07-23 $t00:53:47.381 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179065 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 36

exp: 50938660 36 1 #EPN
201B/01 $007-07-23 $t00:53:47.384 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179073 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 108

exp: 50938660 108 1 #EPN
201B/01 $007-07-23 $t00:53:47.386 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179081 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 204

exp: 50938660 204 1 #EPN
201B/01 $007-07-23 $t00:53:47.389 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $0123917909X 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH 

lok: 50938660 205

exp: 50938660 205 1 #EPN
201B/01 $007-07-23 $t00:53:47.392 
201C/01 $006-07-23 
201U/01 $0utf8 
203@/01 $01239179103 
208@/01 $a06-07-23 $bl 
209S/01 $S0 $uhttps://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 $XH

LEADER	00000cam a22000002c 4500
001	509386601
003	DE-603
005	20241129183717.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|
008	230706s2023 xx \|\|\|\| om u00\|\|u\|eng
015			\|a 23,O07 \|2 dnb
016	7		\|2 DE-101 \|a 1292353538
024	7		\|a urn:nbn:de:gbv:084-2023060711516 \|2 urn
035			\|a (DE-599)DNB1292353538
040			\|a DE-603 \|b ger \|c DE-603 \|d DE-603
041			\|a eng
082	7		\|8 2\p \|a 005.1 \|2 23kdnb
084			\|a 004 \|q DE-101 \|2 sdnb
100	1		\|a Runge, Tobias \|d 1993- \|e Verfasser \|4 aut \|0 (DE-603)511583737 \|0 (DE-588)1302498878 \|2 gnd
245	0	0	\|a Correctness-by-Construction for Correct and Secure Software Systems \|c Tobias Runge ; Martin Johns, Ina Schaefer, Reiner Hähnle
264		1	\|a Braunschweig \|b Technische Universität Braunschweig \|c 2023
300			\|a 1 Online-Ressource (274 Seiten)
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
500			\|a In: Die Lizenz gilt nicht für die angehängten Artikel, außer sie sind explizit gekennzeichnet
502			\|b Dissertation \|c Braunschweig, Technische Universität Braunschweig \|d 2023
650		7	\|8 1\p \|a Softwareentwicklung \|0 (DE-588)4116522-6 \|0 (DE-603)085355895 \|2 gnd
655		7	\|a Hochschulschrift \|2 gnd-content \|0 (DE-588)4113937-9 \|0 (DE-603)085338818
700	1		\|a Johns, Martin \|e Akademischer Betreuer \|4 dgs \|0 (DE-603)298119951 \|0 (DE-588)173953956 \|2 gnd
700	1		\|a Schaefer, Ina \|d 1977- \|e Akademischer Betreuer \|4 dgs \|0 (DE-603)20973924X \|0 (DE-588)137483821 \|2 gnd
700	1		\|a Hähnle, Reiner \|e Akademischer Betreuer \|4 dgs \|0 (DE-603)202997227 \|0 (DE-588)136037542 \|2 gnd
856			\|u https://nbn-resolving.org/urn:nbn:de:gbv:084-2023060711516 \|x Resolving-System
856			\|q application/pdf \|u https://leopard.tu-braunschweig.de/receive/dbbs_mods_00073045 \|x Verlag \|z kostenfrei
883	0		\|8 1\p \|a maschinell gebildet \|c 0,14151 \|q DE-101
883	0		\|8 2\p \|a maschinell gebildet \|c 0,90268 \|q DE-101
924	1		\|9 603 \|a (DE-603)1239178980 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239178999 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179006 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179014 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179022 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179030 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179049 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179057 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179065 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179073 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179081 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)123917909X \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1239179103 \|b DE-603 \|c HES \|d d