Tag: Reliable

Reliable Software Technologies – Ada-Europe ’96 1996 Ada-Europe International Conference on Reliable Software Technologies Mon


Free Download Reliable Software Technologies – Ada-Europe ’96: 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10-14, 1996 Proceedings By S. Tucker Taft (auth.), Alfred Strohmeier (eds.)
1996 | 520 Pages | ISBN: 354061317X | PDF | 13 MB
This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.

(more…)

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, G


Free Download Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings By Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)
2007 | 247 Pages | ISBN: 3540732292 | PDF | 5 MB
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice, Italy.

(more…)

Hypermodern Python Tooling Building Reliable Workflows for an Evolving Python Ecosystem


Free Download Hypermodern Python Tooling: Building Reliable Workflows for an Evolving Python Ecosystem by Claudio Jolowicz
English | July 23, 2024 | ISBN: 1098139585 | 268 pages | MOBI | 2.14 Mb
Keeping up with the Python ecosystem can be daunting. Its developer tooling doesn’t provide the out-of-the-box experience native to languages like Rust and Go. When it comes to long-term project maintenance or collaborating with others, every Python project faces the same problem: how to build reliable workflows beyond local development while staying in sync with the evolving ecosystem.

(more…)

Hypermodern Python Tooling Building Reliable Workflows for an Evolving Python Ecosystem


Free Download Hypermodern Python Tooling: Building Reliable Workflows for an Evolving Python Ecosystem by Claudio Jolowicz
English | July 30th, 2024 | ISBN: 1098139585 | 268 pages | True EPUB (Retail Copy) | 2.92 MB
Keeping up with the Python ecosystem can be daunting. Its developer tooling doesn’t provide the out-of-the-box experience native to languages like Rust and Go. When it comes to long-term project maintenance or collaborating with others, every Python project faces the same problem: how to build reliable workflows beyond local development while staying in sync with the evolving ecosystem.

(more…)

Docker Up & Running Shipping Reliable Containers in Production, 3rd Edition


Free Download Docker: Up & Running: Shipping Reliable Containers in Production, 3rd Edition by Sean P. Kane, Karl Matthias
English | May 23rd, 2023 | ISBN: 1098131827 | 419 pages | True PDF | 3.34 MB
Docker and Linux containers have fundamentally changed the way that organizations develop, deliver, and run software at scale. But understanding why these tools are important and how they can be successfully integrated into your organization’s ecosystem can be challenging. This fully updated guide provides developers, operators, architects, and technical managers with a thorough understanding of the Docker tool set and how containers can improve almost every aspect of modern software delivery and management.

(more…)