debugging  (1.745 Angebote unter 28.398.081 Artikeln)

This book presents a new paradigm of software testing by emphasizing the role of critical thinking, system thinking and rationality as the most important skills for the tester. It thus approaches s...

ETAPS 2000 was the third 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...

Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany

I Einführung und Übersicht.- 1 Hintergrund: Vom Programmiersystem zur Softwareentwicklungsumgebung.- 2 Stand der Technik von Softwareentwicklungsumgebungen.- 3 Zielsetzung und Aufbau des Buches.- I...

1 C-Umgebung, Installation und Programmstart.- 2 Einführung in die Programmiersprache C.- 3 Daten und Ein-/Ausgabe.- 4 Operatoren, Ausdrücke und Anweisungen.- 5 Steuerung des Programmflusses.- 6 De...

The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and langu...

Using the ISO Standard

Where Zope leads, Python follows. So it has been for a decade, and the trend doesn't show any signs of st- ping. Whatever the latest buzzword--be it RESTful web programming,st- dardized interfaces,...

" ..... object oriented seems to be becoming in the 1980s what structured programming was in the 1970s. " Brian Randell and Pete Lee This quotation is from the invitation to the annual Newcastle Un...

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Progr...

Invited Talks.- Termination by Abstraction.- Answer Set Programming and the Design of Deliberative Agents.- Regular Talks.- Abstract Domains Based on Regular Types.- Termination of Logic Programs U...

This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2...

This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "Software for Parallel Computation" held at the University of Calabria, Cosenza, Italy, from June 22 to Jun...

Invited Speaker.- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.- Model Transformation.- A Formalisation of Constraint-Aware Model Transformations.- Formal Real-Ti...

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) associ...