This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 ...
详细信息
ISBN:
(数字)9783642380884
ISBN:
(纸本)9783642380877
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. The ...
详细信息
ISBN:
(数字)9783540852612
ISBN:
(纸本)9783540852605
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems ...
详细信息
ISBN:
(数字)9783540356295
ISBN:
(纸本)9783540356288
On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Committee comprising 27 internationally recognized researchers and industrial practitioners. We received 77 submissions and each paper was reviewed by at least three Program Committee members (four for papers with an author on the Program Committee). The entire reviewing process was supported by Microsoft’s CMT technology. In total, 22 submissions were accepted as full papers and 9 submissions were accepted as short papers. This was the first time CBSE was not held as a co-located event at ICSE. Hence special thanks are due to Ivica Crnkovic for hosting the event. We also wish to thank the ACM Special Interest Group on Software Engineering (SIGSOFT) for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings.
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Librar...
详细信息
ISBN:
(数字)9781484218761
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14 standards have added even more efficient container classes, a new powerful regular expression library, and a portable multithreading library featuring threads, mutexes, condition variables, and atomic variables.;Needless to say, it is hard to know and remember all the possibilities, details, and intricacies of this vast and growing library. This handy reference guide is therefore indispensable to any C++ programmer. It offers a condensed, well-structured summary of all essential aspects of the C++ Standard Library. No page-long, repetitive examples or obscure, rarely used features. Instead, everything you need to know and watch out for in practice is outlined in a compact, to-the-point style, interspersed with practical tips and well-chosen, clarifying examples. The book does not explain the C++ language or syntax, but is accessible to anyone with basic C++ knowledge or programming experience. Even the most experienced C++ programmer though will learn a thing or two from it and find it a useful memory-aid. Among the topics covered are:;All C++ programmers: irrespective of their proficiency with the language or the Standard Library, this book offers an indispensable reference and memory-aid.
Dieses Buch bietet eine systematische Einführung in die Programmierung mit der objektorientierten Programmiersprache Object Pascal sowie eine Darstellung der zugrundeliegenden Entwicklungsumgebung Delphi von Borl...
详细信息
ISBN:
(数字)9783642591211
ISBN:
(纸本)9783540603405
Dieses Buch bietet eine systematische Einführung in die Programmierung mit der objektorientierten Programmiersprache Object Pascal sowie eine Darstellung der zugrundeliegenden Entwicklungsumgebung Delphi von Borland. Dabei wird neben Delphi 1.0 auch die neue Version 2.0 berücksichtigt. Alle Sprachkonzepte von der klassischen strukturierten bis zur objektorientierten, visuellen Programmierung einschließlich exception handling werden umfassend und präzise behandelt und an Beispielen illustriert. Object Pascal umfaßt praktisch alle Sprachelemente von C++ und ist einfacher als Visual C++.
Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systematischen und modellbasierten Software- und Systementwicklung aber auch auf dem Einsatz agiler Methoden. Die Autoren l...
详细信息
ISBN:
(数字)9783662502631
ISBN:
(纸本)9783662502624
Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systematischen und modellbasierten Software- und Systementwicklung aber auch auf dem Einsatz agiler Methoden. Die Autoren legen besonderen Wert auf die gleichwertige Behandlung praktischer Aspekte und zugrundeliegender Theorien, was das Buch als Fach- und Lehrbuch gleichermaßen geeignet macht. Die Softwaretechnik wird im Rahmen eines systematischen Frameworks umfassend beschrieben. Ausgewählte und aufeinander abgestimmte Konzepte und Methoden werden durchgängig und integriert dargestellt.;war Inhaber des Lehrstuhls für Software & Systems Engineering an der Technischen Universität München. Seine Schwerpunkte in Forschung und Lehre waren und sind die Entwicklung sicherheitskritischer eingebetteter Systeme, mobile und kontextadaptive Softwaresysteme, und Entwicklungsmethoden für leistungsfähige, industriell einsetzbare Softwaresysteme. In zahlreichen Industriekooperationen konnte die Arbeiten des Lehrstuhls angewendet und evaluiert werden. Für seine Arbeit wurde Manfred Broy vielfach ausgezeichnet.;vertritt den Lehrstuhl Software Engineering I an der Universität Passau. Seine Schwerpunkte in Forschung und Lehre sind die Methodik des Software Engineering mit dem Fokus auf agile/hybride Software- und Produktentwicklung sowie das Prozess- und Qualitätsmanagement. Er ist einer der Entwickler des V-Modell® XT, dessen Anpassung und Einführung in Organisationen und Projekten er bereits vielfach begleitet hat.
暂无评论