Bücher zur Softwareentwicklung - englischsprachig  (471 Angebote unter 27.585.252 Artikeln)

This book constitutes the refereed proceedings of the 21st International Conference on Parallel and Distributed Computing, Euro-Par 2015, held in Vienna, Austria, in August 2015. The 51 revised ful...

20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

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 constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018. The 57 full papers presented i...

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The ...

This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importan...

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

Invited Lectures.- Stability of Discrete Sampled Systems.- Issues in the Refinement of Distributed Programs.- Challenges in the Verification of Electronic Control Units.- Model Checking.- Scaling u...

Using the SOFL Method

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

Formalizing Data-Centric Web Services

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was...

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

Key Elements and Practical Programming

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.