This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented toge...
详细信息
ISBN:
(数字)9783319686905
ISBN:
(纸本)9783319686899
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised ful...
详细信息
ISBN:
(数字)9783319141305
ISBN:
(纸本)9783319141299
This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised full papers presented together with 3 revised short papers were carefully reviewed and selected from 60 submissions. The papers cover several software engineering areas where software reuse is important, such as software product lines, domain analysis, open source, components, cloud, quality.
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new c...
详细信息
ISBN:
(数字)9783540319870
ISBN:
(纸本)9783540254355
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers prese...
详细信息
ISBN:
(数字)9783540799801
ISBN:
(纸本)9783540799795
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.
Die Nichtsequentielle Programmierung ist der gemeinsame Kern von Vorlesungen über Betriebssysteme, Parallele Algorithmen, Verteilte Systeme, Echtzeitprogrammierung und Datenbanktransaktionen.;In diesem Buch werde...
详细信息
ISBN:
(数字)9783642584312
Die Nichtsequentielle Programmierung ist der gemeinsame Kern von Vorlesungen über Betriebssysteme, Parallele Algorithmen, Verteilte Systeme, Echtzeitprogrammierung und Datenbanktransaktionen.;In diesem Buch werden die wichtigsten Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse kompakt und systematisch dargestellt: Schloßvariable, Semaphore, Monitore, synchroner Botschaftenaustausch und Fernaufrufe.;Zur Ergänzung werden ein Prozeßmodell entwickelt, Verklemmungen charakterisiert und einige sprachabhängige Erweiterungen vorgestellt. Die Algorithmen sind in Pascal-FC formuliert, einem Dialekt, der über Sprachmittel zum Ausdruck aller genannten Synchronisationskonzepte verfügt.;Das Buch richtet sich an Studierende im fortgeschrittenen Grundstudium und umfaßt den Stoff einer Vorlesung im Umfang von zwei Semesterwochenstunden.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estoni...
详细信息
ISBN:
(数字)9783642340055
ISBN:
(纸本)9783642340048
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.
The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.
Software quality and software testing have for decades been decisive topics in software development. However their potential and their influence on the economical side of software development and operations has been u...
详细信息
ISBN:
(数字)9783642563331
ISBN:
(纸本)9783540426325
Software quality and software testing have for decades been decisive topics in software development. However their potential and their influence on the economical side of software development and operations has been understood more clearly only in the last years. This is illustrated by the increasing number of books such as this one and conferences such as SQM(Software Quality Management Congress) and ICSTEST (In ternational Conference on Software Testing). The era of the commercial Internet has brought about new requirements and new challenges for software quality and testing experts. They must cope with new technolo gies,but more importantly with new project structures where for example the market ing department takes on the role of software buyer, general IT service companies are awarded development outsourcing contracts and IT generalists provide IT infrastruc ture and the application framework, and untrained customers become users of the software systems. Also, tougher economical conditions and narrow time frames make software development more challenging today. This, the third volume in Springer's series "***@***", is a col lection of articles which focuses on these challenges. The authors are well-known ex perts of national and international reputation. They have described their current practices and experience taken from a variety of IT projects in large organisations.
Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited space, computing powe...
详细信息
ISBN:
(数字)9783319300047
ISBN:
(纸本)9783319300023;9783319807034
Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited space, computing power, rudimentary tools, and the lack of homogeneous environments.;Using examples from over 100 retrogames, this book examines the clever implementation tricks that game designers employed to make their creations possible, documenting these techniques that are being lost. However, these retrogame techniques have modern analogues and applications in general computer systems, not just games, and this book makes these contemporary connections. It also uses retrogames' implementation to introduce a wide variety of topics in computer systems including memory management, interpretation, data compression, procedural content generation, and software protection.;Retrogame Archeology targets professionals and advanced-level students in computer science, engineering, andmathematics but would also be of interest to retrogame enthusiasts, computer historians, and game studies researchers in the humanities.
暂无评论