Programmiersprachen (1 266 Artikel)

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Amo...

This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were...

This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of paralle...

The second XP Universe and ?rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4-7, 2002 it attracted software experts, educators,...

Papers.- Combining Formal Specifications with Test Driven Development.- Long Build Trouble Shooting Guide.- Acceptance Testing vs. Unit Testing: A Developer's Perspective.- The Role of Process Meas...

Unbelievable, we have reached the seventh edition of the XP2k+n conference! We started at the outset of the new millennium, and we are still proving that agile pr- esses were neither a millennium b...

Software development is being revolutionized. The heavy-weight processes of the 1980s and 1990s are being replaced by light-weight, so called agile processes. Agile processes move the focus of soft...

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, is an ind...

Wahre und falsche Aussagen werden vom Computer durch das Setzen und Loschen von Flags ausgedruckt, wobei der Wert 1 fur wahr und 0 fur falsch steht. Flags, auch Boole'sche Werte genannt, werden unt...

1: Einführung: Programme und Algorithmen.- 1.1 Die Programmiersprache FORTRAN.- 1.2 Algorithmen.- 1.3 Die Entwicklung eines Algorithmus.- 1.4 Pseudocode.- 1.5 Die Entwicklung eines FORTRAN-Programm...

Die vorliegende Sammlung von Unterprogrammen und Hauptprogrammen zur Methode der finiten Elemente soll Studierenden und bereits in der Praxis tätigen Leuten als Ergänzung zum Lehrbuch [Sch91] ein n...

Nur in einfachen Fällen wird dem Programmierer eine Formel vor gegeben sein, mit der er ein Tabellenwerk für unterschiedliche Vorgaben erstellen soll. Wesentlicher ist das Programmieren von Abläufe...

Entdecke die faszinierende Welt der FPGA-Programmierung mit dem Buch "FPGA für alle - Einstieg in die FPGA-Programmierung mit VHDL und MAX1000-Board" von Erik Bartmann. Mit 23 Projekten findet der ...

Since 1993, cryptographic algorithm research has centered around the Fast So- ware Encryption (FSE) workshop. First held at Cambridge University with 30 attendees, it has grown over the years and h...

This book contains a set of revised refereed papers selected from the presentations at the Second International Workshop on Fast Software Encryption held in Leuven, Belgium, in December 1994.The 28...