programmieren  (5 265 Angebote unter 18 333 183 Artikeln)

To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. Th...

An Integral Approach

Dr. Holger Schwichtenberg zählt zu Deutschlands bekanntesten Experten für Scripting und professionelle Softwareentwicklung mit Microsoft-Werkzeugen. Im Rahmen des Expertenteams der Firma schult, be...

Invited Contributions.- What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.- Bounded Model Checking and SAT-Based Methods.- Automatic Abstraction without Counterexampl...

Theories, Implementations, and Transformations.- Incremental Proof of the Producer/Consumer Property for the PCI Protocol.- Controlling Control Systems: An Application of Evolving Retrenchment.- Ch...

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Learning to Program Well with Objects and Contracts

This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programm...

Aus dem Inhalt: Die Prinzipien von Pascal und seiner Umgebung - Die Turbo-Pascal-Umgebung IDE - Aufbau von Pascal-Programmen - Einfache Standard-Datentypen - Konstantenvereinbarung - Variablenverei...

Termination and Productivity Checking with Continuous Types.- Derivatives of Containers.- Max-Plus Quasi-interpretations.- Inductive Types in the Calculus of Algebraic Constructions.- On Strong Nor...

Invited Talk.- DIVINE: DIscovering Variables IN Executables.- Session 1.- Verifying Compensating Transactions.- Model Checking Nonblocking MPI Programs.- Model Checking Via ?CFA.- Using First-Order...

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented togeth...

Infrarot-Fernbedienung zur Steuerung von Leuchten und Leuchtengruppen, (Ein/Aus

This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volum...

We are currently witnessing a proliferation in parallel and distributed processing technologies and applications. However, more new technologies have ushered in unprecented challenges to the resear...