debugging  (1.833 Angebote unter 29.292.647 Artikeln)

1 Einführung und Grundlagen.- 1.1 Einsatz verteilter DV-Systeme: Motivation und Entwicklungstendenzen.- 1.2 Verteilte Systeme und verteilte Anwendungen.- 1.3 Beispiel einer verteilten Anwendung.- 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...

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...

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pi...

Best Practices for Team-based Reuse

Profi-Programmierung durch kurz gefasstes Python

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presen...

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 ce...

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer S...

If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a Windows environment. If you are, and you are lo...

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA progra...

1 Einleitung.- 2 Grundlagen der INTEL-Prozessoren.- 3 Grundelemente der Assemblersprache.- 4 Struktur eines Assemblerprogrammes.- 5 Grundtechniken der Assembler-Programmierung.- 6 Assemblerroutinen...

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together ...

Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in Functional Programs with SLAM.- Verifying Generic Erlang Client--Server Implementations.- The Design ...

This book constitutes the refereed proceedings of the 5th European Meeting of the Parallel Virtual Machine and Message Passing Interface Users' Group, PVM/MPI '98, held in Liverpool, UK, in Septemb...