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.
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.
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University ...
详细信息
ISBN:
(数字)9783540247562
ISBN:
(纸本)9783540213772
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The *** 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci?cation and design, so that the most appropriate design tools are used at di?erent points in the life-cycle.
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 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.
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.
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invi...
详细信息
ISBN:
(数字)9783642407871
ISBN:
(纸本)9783642407864
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
This book presents the refereed proceedings of the Second International Workshop on Applied Parallel Computing in Physics, Chemistry and Engineering Science, PARA'95, held in Lyngby, Denmark, in August 1995.;The 6...
详细信息
ISBN:
(数字)9783540496700
ISBN:
(纸本)9783540609025
This book presents the refereed proceedings of the Second International Workshop on Applied Parallel Computing in Physics, Chemistry and Engineering Science, PARA'95, held in Lyngby, Denmark, in August 1995.;The 60 revised full papers included have been contributed by physicists, chemists, and engineers, as well as by computer scientists and mathematicians, and document the successful cooperation of different scientific communities in the booming area of computational science and high performance computing. Many widely-used numerical algorithms and their applications on parallel computers are treated in detail.
暂无评论