LEADER 00739nam  2200253la 450 
001 9910481589003321
005 20210618142944.0
035   $a(UK-CbPIL)2090318625
035   $a(CKB)5500000000106625
035   $a(EXLCZ)995500000000106625
100   $a20210618d1479      uy             |
101 0 $aita
135   $aurcn||||a|bb|
200 13$aIl Driadeo$b[electronic resource]
210   $aFlorence $cNicolò di Lorenzo$d1479
215   $aOnline resource (v.)
300   $aReproduction of original in Biblioteca Nazionale Centrale di Firenze.
700   $aPulci$b Luca$f1431-1470.$0202603
801  0$bUk-CbPIL
801  1$bUk-CbPIL
906   $aBOOK
912   $a9910481589003321
996   $aIl Driadeo$91950248
997   $aUNINA

LEADER 04239nam  22007815  450 
001 9910484291203321
005 20201111142635.0
010   $a3-319-50230-1
024 7 $a10.1007/978-3-319-50230-4
035   $a(CKB)3710000000981132
035   $a(DE-He213)978-3-319-50230-4
035   $a(MiAaPQ)EBC6303798
035   $a(MiAaPQ)EBC5595404
035   $a(Au-PeEL)EBL5595404
035   $a(OCoLC)1076232439
035   $a(PPN)197137407
035   $a(EXLCZ)993710000000981132
100   $a20161130d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSoftware Technologies: Applications and Foundations $eSTAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers  /$fedited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XXXII, 472 p. 185 illus.) 
225 1 $aProgramming and Software Engineering ;$v9946
300   $aIncludes Index.
311   $a3-319-50229-8 
327   $aPractical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools.
330   $aThis book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.
410  0$aProgramming and Software Engineering ;$v9946
606   $aSoftware engineering
606   $aComputer logic
606   $aArtificial intelligence
606   $aApplication software
606   $aMathematical logic
606   $aComputer communication systems
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   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aMathematical logic.
615  0$aComputer communication systems.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aArtificial Intelligence.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aMathematical Logic and Formal Languages.
615 24$aComputer Communication Networks.
676   $a005.1
702   $aMilazzo$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVarró$b Dániel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWimmer$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484291203321
996   $aSoftware Technologies: Applications and Foundations$91934715
997   $aUNINA