LEADER 00880nam0-22002891i-450- 001 990004025210403321 005 20160802094711.0 035 $a000402521 035 $aFED01000402521 035 $a(Aleph)000402521FED01 035 $a000402521 100 $a19990604d1983----km-y0itay50------ba 101 0 $aita 105 $ay-------10-cb 200 1 $aLutero nel suo e nel nostro tempo$estudi e conferenze per il 5. centenario della nascita di M. Lutero$fG. Alberigo ... [et al.] 210 $aTorino$cClaudiana$d1983 215 $a346 p.$d21 cm 225 1 $aPiccola biblioteca teologica$v14 610 0 $aLutero, Martino 676 $a284.092$v21$zita 700 1$aAlberigo,$bGiuseppe$f<1926-2007>$07630 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004025210403321 952 $a284.1092 LUT 77$bDDS.735$fFLFBC 959 $aFLFBC 997 $aUNINA LEADER 01585nas 2200469-a 450 001 9910137427503321 005 20211110213021.0 035 $a(DE-599)ZDB2204673-2 035 $a(OCoLC)60625055 035 $a(CKB)110978979595577 035 $a(CONSER)--2010236539 035 $a(EXLCZ)99110978979595577 100 $a20050614a19899999 s-- - 101 0 $aita 135 $aurun||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAltreitalie 210 $aTorino, Italia $cEdizioni della Fondazione Giovanni Agnelli 300 $a"Rassegna internazionale di studi sulle popolazioni di origine italiana nel mondo." 311 $a1120-0413 517 3 $aAltre Italie 531 $aALTREITALIE INTERNATIONAL JOURNAL OF STUDIES ON THE PEOPLES OF ITALIAN ORIGIN 606 $aItalians$zForeign countries$vPeriodicals 606 $aItaliens$zPays étrangers$vPériodiques 606 $aEmigration and immigration$2fast$3(OCoLC)fst00908690 606 $aItalians$xForeign countries$2fast$3(OCoLC)fst01425691 607 $aItaly$xEmigration and immigration$vPeriodicals 607 $aItalie$xÉmigration et immigration$vPériodiques 607 $aItaly$2fast 608 $aPeriodicals.$2fast 615 0$aItalians 615 6$aItaliens 615 7$aEmigration and immigration. 615 7$aItalians$xForeign countries. 676 $a325.245/005 712 02$aFondazione Giovanni Agnelli. 906 $aJOURNAL 912 $a9910137427503321 996 $aAltreItalie$9619029 997 $aUNINA LEADER 03624nam 2200457 450 001 996546844103316 005 20230506041407.0 010 $a3-031-23669-6 024 7 $a10.1007/978-3-031-23669-3 035 $a(MiAaPQ)EBC7190150 035 $a(Au-PeEL)EBL7190150 035 $a(CKB)26089872800041 035 $a(DE-He213)978-3-031-23669-3 035 $a(PPN)26821011X 035 $a(EXLCZ)9926089872800041 100 $a20230506d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDomain-Specific Languages $eEffective Modeling, Automation, and Reuse /$fAndrzej Wasowski and Thorsten Berger 205 $a1st ed. 2023. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$d©2023 215 $a1 online resource (494 pages) 311 08$aPrint version: W?sowski, Andrzej Domain-Specific Languages Cham : Springer International Publishing AG,c2023 9783031236686 320 $aIncludes bibliographical references. 330 $aThis textbook describes the theory and the pragmatics of using and engineering high-level software languages ? also known as modeling or domain-specific languages (DSLs) ? for creating quality software. This includes methods, design patterns, guidelines, and testing practices for defining the syntax and the semantics of languages. While remaining close to technology, the book covers multiple paradigms and solutions, avoiding a particular technological silo. It unifies the modeling, the object-oriented, and the functional-programming perspectives on DSLs. The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics ? with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality assurance. Chapter 10 is devoted to internal DSLs. Chapters 11 to 13 show the application of DSLs and engage with simpler alternatives to DSLs in a highly distinguished domain: software variability. These chapters introduce the underlying notions of software product lines and feature modeling. The book has been developed based on courses on model-driven software engineering (MDSE) and DSLs held by the authors. It aims at senior undergraduate and junior graduate students in computer science or software engineering. Since it includes examples and lessons from industrial and open-source projects, as well as from industrial research, practitioners will also find it a useful reference. The numerous examples include code in Scala 3, ATL, Alloy, C#, F#, Groovy, Java, JavaScript, Kotlin, OCL, Python, QVT, Ruby, and Xtend. The book contains as many as 277 exercises. The associated code repository facilitates learning and using the examples in a course. 606 $aDomain-specific programming languages 615 0$aDomain-specific programming languages. 676 $a005.11 700 $aWa?sowski$b Andrzej$0941122 702 $aBerger$b Thorsten 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996546844103316 996 $aDomain-Specific Languages$93363596 997 $aUNISA