Proceedings of the ... International Symposium on Software Testing and Analysis (ISSTA). PDF Download

Author:
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 208

View

Book Description

Author: Werner Abraham
Publisher: John Benjamins Publishing
ISBN: 9027298726
Category : Language Arts & Disciplines
Languages : en
Pages : 396

View

Book Description
This collection presents typological work on tense, aspect, and epistemic modality in a variety of languages and against the background of different schools of thinking, among which the St. Petersburg Typological School developed and so masterfully implemented by the Petersburg linguist, Vladimir Petrovich Nedjalkov. The volume honors this reputed scholar for his life work. It is in mainly this spirit (and the EUROTYPE spirit) that the following scholars have contributed to the volume: T.Tsunoda on Warrungu (Australian indigeneous language), L. Kulikov on Vedic, K. Kiryu on Japanese, Korean and Newari, N. Sumbatova on Svan (from the Kartvelian group), T.Bulygina & A. Shmelev on Russian, W. Boeder on Georgian, R. Thieroff on aorist and imperfect in European languages, Y. Poupynin on Russian, L. Johanson on Kipchak Turkic, I. Dolinina on Russian, N. Kozintseva on Old and Modern Eastern Armenian, Ch. Lee on Korean, W. Abraham on split ergative languages and German, G. Silnitsky on Russian, V. Plungian on Russian, E. Rakhilina on Russian, and K. Ebert on Kalmyk.

Author: Lei Bu
Publisher: Springer
ISBN: 3030042723
Category : Computers
Languages : en
Pages : 224

View

Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Software Analysis, Testing, and Evolution, SATE 2018. The conference was co-located with the national Software Application Conference, NASAC 2018, and was held in Shenzhen, Guangdong, in November 2018. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The papers describe results related to software analysis, testing and evolution, including theoretical research, empirical study, new technology, case study and industrial practice.

Author: Suk-Jin Chang
Publisher: John Benjamins Publishing
ISBN: 9027283109
Category : Language Arts & Disciplines
Languages : en
Pages : 271

View

Book Description
Spoken by nearly 70 million people not only within the Korean Peninsula but also in five continents, Korean is one of a dozen major languages of the world. Yet outside Korea it is not as much studied as it should be, nor has it acquired commensurate international recognition. With its difficult sound system, rich word formation patterns, and complex sentence structures, Korean is one of the most challenging to learn as a foreign language, yet there is little that is written in English about Korean. This book eminently fills this gap. The author presents Korean in a lucid and readable manner covering topics from scripts to sounds, from words to sentences, and from discourse to text analysis. It is therefore both comprehensive and concise. It avoids unnecessary details but includes all essential subjects, and describes them in a well-organized theory-free prose. This book should be a handy reference for both teachers and students of Korean, especially those abroad.

Author: Soohee Kim
Publisher: Tuttle Publishing
ISBN: 1462919413
Category : Foreign Language Study
Languages : en
Pages : 619

View

Book Description
Korean Grammar: The Complete Guide to Speaking Korean Naturally covers all the basic sentence structures, verbal forms and idiomatic expressions taught in the first two years of a college level Korean language course. It is specifically designed for the following learners: Beginning or intermediate level Korean language students Self-study adult learners or those studying with a tutor Heritage learners who wish to speak Korean more correctly Anyone who wants to review previously acquired Korean Each chapter provides clear grammatical explanations with charts and examples for each construction, showing how it is used in various contexts. All Korean words and sentences are given in both Korean Hangul script and Romanized form, with English translations to assist beginning learners. Fundamental concepts like honorifics, formal and informal speech styles, verb endings and complex sentence constructions are all presented in straightforward terms to make these constructions accessible to learners at every level. Exercises at the end of each chapter reinforce the learning process.

Author: Dan Isaac Slobin
Publisher: Psychology Press
ISBN: 1317778693
Category : Language Arts & Disciplines
Languages : en
Pages : 375

View

Book Description
In this final volume in the series, the contributors attempt to "expand the contexts" in which child language has been examined crosslinguistically. The chapters build on themes that have been touched on, anticipated, and promised in earlier volumes in the series. The study of child language has been situated in the disciplines of psychology and linguistics, and has been most responsive to dominant issues in those fields such as nativism and learning, comprehension and production, errors, input, and universals of morphology and syntax. The context has primarily been that of the individual child, interacting with a parent, and deciphering the linguistic code. The code has been generally treated in these volumes as a system of morphology and syntax, with little attention to phonology and prosody. Attention has been paid occasionally to the facts that the child is acquiring language in a sociocultural setting and that language is used in contexts of semantic and pragmatic communication. In addition, there has been a degree of attention paid to the interactions between language and cognition in the process of development. As for individual differences between children, they have been discussed in those studies where they could not be avoided, but such variation has rarely been the focus of systematic attention. Differences between individual languages have been of great interest, but these differences have not often been placed in a framework of systematic typological variation. And although languages and their grammars change over time, the focus of attention on the individual child learner has generally led to neglect of explanatory principles that are best found on the level of linguistic diachrony, rather than the level of innate ideas or patterns of learning and cognition in the individual child. The chapter authors seek to explore these neglected contexts in more depth.

Author: Myra B. Cohen
Publisher: Springer
ISBN: 3642237169
Category : Computers
Languages : en
Pages : 292

View

Book Description
This book constitutes the refereed proceedings of the Third International Symposium on Search Based Software Engineering, SSBSE 2011 held in Szeged, Hungary in collocation with ESEC/FSE 2011. The 18 revised full papers presented together with two invited contributions and abstracts of eight poster presentations were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on foundations of SSBSE; concurrency and models; requirements and planning; software testing; and comprehension, transformation and scalability.

Author: Ana C. R. Paiva
Publisher: Springer Nature
ISBN: 3030853470
Category : Computers
Languages : en
Pages : 573

View

Book Description
This book constitutes the refereed proceedings of the 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021, held in Algarve, Portugal*, in September 2021. The 30 full papers and 9 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections: ICT verification and validation; software evolution; process modeling, improvement and assessment; quality aspects in quantum computing; safety, security, and privacy; quality aspects in machine learning, AI and data analytics; evidence-based software quality engineering; quality in cyber-physical systems; software quality education and training. *The conference was held virtually due to the COVID-19 pandemic.

Author: Dang Van Hung
Publisher: Springer
ISBN: 3319024442
Category : Computers
Languages : en
Pages : 540

View

Book Description
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.

Author: H. Fujita
Publisher: IOS Press
ISBN: 1614999007
Category : Computers
Languages : en
Pages : 1058

View

Book Description
Knowledge-based systems, fully integrated with software, have become essential enablers for both science and commerce. But current software methodologies, tools and techniques are not robust or reliable enough for the demands of a constantly changing and evolving market, and many promising approaches have proved to be no more than case-oriented methods that are not fully automated. This book presents the proceedings of the 17th international conference on New Trends in Intelligent Software Methodology, Tools and Techniques (SoMeT18) held in Granada, Spain, 26-28 September 2018. The SoMeT conferences provide a forum for the exchange of ideas and experience, foster new directions in software development methodologies and related tools and techniques, and focus on exploring innovations, controversies, and the current challenges facing the software engineering community. The 80 selected papers included here are divided into 13 chapters, and cover subjects as diverse as intelligent software systems; medical informatics and bioinformatics; artificial intelligence techniques; social learning software and sentiment analysis; cognitive systems and neural analytics; and security, among other things. Offering a state-of-the-art overview of methodologies, tools and techniques, this book will be of interest to all those whose work involves the development or application of software.