LEADER 01050nam0-22003131i-450 001 990004254740403321 005 20250923081434.0 010 $a90-272-4585-1 035 $a000425474 035 $aFED01000425474 035 $a(Aleph)000425474FED01 100 $a19990604d2000----km-y0itay50------ba 101 0 $aeng 102 $aNL 105 $ay-------001yy 200 1 $aLimiting the arbitrary$elinguistic naturalism and its opposites in Plato's Cratylus and modern theories of language$fJohn E. Joseph 210 $aAmsterdam$cBenjamins$dc2000 215 $aVIII, 224 p.$d23 cm 225 1 $aAmsterdam studies in the theory and history of linguistic science$hSeries 3.$iStudies in the history of the language sciences$v96 610 0 $aPlatone$aCratylus 676 $a184 700 1$aJoseph,$bJohn E.$0161427 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004254740403321 952 $aP2B-610-PLATO-8J.J.E.-2000$bBibl.39341$fFLFBC 959 $aFLFBC 996 $aLimiting the arbitrary$9480744 997 $aUNINA LEADER 05106nam 22006855 450 001 9910337569903321 005 20251225190557.0 010 $a3-030-11030-3 024 7 $a10.1007/978-3-030-11030-7 035 $a(CKB)4100000007598439 035 $a(DE-He213)978-3-030-11030-7 035 $a(MiAaPQ)EBC5924036 035 $a(PPN)233800174 035 $a(EXLCZ)994100000007598439 100 $a20190131d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Driven Engineering and Software Development $e6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers /$fedited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XII, 496 p. 520 illus., 173 illus. in color.) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v991 311 08$a3-030-11029-X 320 $aIncludes bibliographical references and index. 327 $aExecutable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. 330 $aThis book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v991 606 $aSoftware engineering 606 $aComputers 606 $aComputer engineering 606 $aComputer networks 606 $aComputer science 606 $aSoftware Engineering 606 $aComputing Milieux 606 $aComputer Engineering and Networks 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputing Milieux. 615 24$aComputer Engineering and Networks. 615 24$aTheory of Computation. 676 $a005.12 676 $a005.1 702 $aHammoudi$b Slimane$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPires$b Luís Ferreira$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSelic$b Bran$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337569903321 996 $aModel-Driven Engineering and Software Development$91959951 997 $aUNINA