LEADER 03770nam  22007215  450 
001 996217782503316
005 20201127192322.0
010   $a3-319-07317-6
024 7 $a10.1007/978-3-319-07317-0
035   $a(CKB)3710000000119155
035   $a(DE-He213)978-3-319-07317-0
035   $a(SSID)ssj0001242799
035   $a(PQKBManifestationID)11731677
035   $a(PQKBTitleCode)TC0001242799
035   $a(PQKBWorkID)11261744
035   $a(PQKB)11417091
035   $a(MiAaPQ)EBC3092971
035   $a(PPN)178782866
035   $a(EXLCZ)993710000000119155
100   $a20140526d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods for Executable Software Models$b[electronic resource] $e14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /$fedited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (VIII, 343 p. 101 illus.) 
225 1 $aProgramming and Software Engineering ;$v8483
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-07316-8 
330   $aThis book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
410  0$aProgramming and Software Engineering ;$v8483
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputers
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aTheory of Computation.
676   $a005.1
702   $aBernardo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDamiani$b Ferruccio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHaehnle$b Reiner$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJohnsen$b Einar Broch$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchaefer$b Ina$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996217782503316
996   $aFormal Methods for Executable Software Models$92831659
997   $aUNISA