LEADER 02045oam 2200421zu 450 001 9910872708903321 005 20241212214955.0 035 $a(CKB)111026746737462 035 $a(SSID)ssj0000558827 035 $a(PQKBManifestationID)12250556 035 $a(PQKBTitleCode)TC0000558827 035 $a(PQKBWorkID)10566080 035 $a(PQKB)10427523 035 $a(NjHacI)99111026746737462 035 $a(EXLCZ)99111026746737462 100 $a20160829d1993 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a1993 Software Engineering Standards Symposium, August 30 - September 3, 1993, Brighton, United Kingdom : proceedings 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1993 215 $a1 online resource 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780818642401 311 08$a0818642408 327 $aSafety assessment test for automated ground transportation systems' software -- AUSTERE: a system for AUtomated STandard softwarE REview -- Bridging the gap between CASE and CAST -- Automated tool support for ANSI/IEEE STD: 829-1983 software test documentation -- Specifying quality requirements in a formally defined language standard -- Quality standards: the role of Software Process Assessments -- A practitioner's guide to evaluation of software -- An attempt to increase software quality by detecting irregular styles -- Knowledge-based system for assembly process-planning -- Status of repository standards for software engineering. 606 $aSoftware engineering$xStandards 606 $aSoftware engineering$xStandards$vCongresses 615 0$aSoftware engineering$xStandards. 615 0$aSoftware engineering$xStandards 676 $a005.1 801 0$bPQKB 906 $aBOOK 912 $a9910872708903321 996 $a1993 Software Engineering Standards Symposium, August 30 - September 3, 1993, Brighton, United Kingdom : proceedings$92534391 997 $aUNINA