Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Software Development and Reality Construction
  • Language: en
  • Pages: 484

Software Development and Reality Construction

The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988. This was organized by the Technical University of Berlin (TUB) in cooperation with the German National Research Center for Computer Science (GMD), Sankt Augustin, and sponsored by the Volkswagen Foundation whose financial support we gratefully acknowledge. The conference was an interdisciplinary scientific and cultural event aimed at promoting discussion on the nature of computer science as a scientific discipline and on the theoretical foundations and systemic practice required for human-oriented system design. In keeping with the conversa...

History of Computing: Software Issues
  • Language: en
  • Pages: 273
Two Bits
  • Language: en
  • Pages: 402

Two Bits

In Two Bits, Christopher M. Kelty investigates the history and cultural significance of Free Software, revealing the people and practices that have transformed not only software but also music, film, science, and education. Free Software is a set of practices devoted to the collaborative creation of software source code that is made openly and freely available through an unconventional use of copyright law. Kelty explains how these specific practices have reoriented the relations of power around the creation, dissemination, and authorization of all kinds of knowledge. He also makes an important contribution to discussions of public spheres and social imaginaries by demonstrating how Free Sof...

Formal Methods in Systems Engineering
  • Language: en
  • Pages: 204

Formal Methods in Systems Engineering

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991...

Information and Communication Technologies and Real-Life Learning
  • Language: en
  • Pages: 288

Information and Communication Technologies and Real-Life Learning

  • Type: Book
  • -
  • Published: 2006-01-28
  • -
  • Publisher: Springer

Information and Communication Technologies in Real-Life Learning presents the results of an International Federation for Information Processing (IFIP) working conference held December 2004 in Melbourne, Australia. The working conference was organized by IFIP Working Group 3.2 (Informatics and ICT in Higher Education) and IFIP Working Group 3.4 (Professional and Vocational Education in Information Technology). The papers in this book present a cross-section of issues in real-life learning in which Information and Communication Technology (ICT) plays an important role. Some of the issues covered include: education models for real-life learning enabled by ICT; effective organization of a real-life learning environment; the changing role of the student; the changing role of educational institutions and their relationship with business and industry; the changing role of teachers and their use of ICT; and managment of ICT-rich education change.

The Computer Boys Take Over
  • Language: en
  • Pages: 331

The Computer Boys Take Over

  • Type: Book
  • -
  • Published: 2012-08-24
  • -
  • Publisher: MIT Press

The contentious history of the computer programmers who developed the software that made the computer revolution possible. This is a book about the computer revolution of the mid-twentieth century and the people who made it possible. Unlike most histories of computing, it is not a book about machines, inventors, or entrepreneurs. Instead, it tells the story of the vast but largely anonymous legions of computer specialists—programmers, systems analysts, and other software developers—who transformed the electronic computer from a scientific curiosity into the defining technology of the modern era. As the systems that they built became increasingly powerful and ubiquitous, these specialists...

Middle Tech
  • Language: en
  • Pages: 224

Middle Tech

Why software isn’t perfect, as seen through the stories of software developers at a run-of-the-mill tech company Contrary to much of the popular discourse, not all technology is seamless and awesome; some of it is simply “good enough.” In Middle Tech, Paula Bialski offers an ethnographic study of software developers at a non-flashy, non-start-up corporate tech company. Their stories reveal why software isn’t perfect and how developers communicate, care, and compromise to make software work—or at least work until the next update. Exploring the culture of good enoughness at a technology firm she calls “MiddleTech,” Bialski shows how doing good-enough work is a collectively negoti...

Algebra, Meaning, and Computation
  • Language: en
  • Pages: 679

Algebra, Meaning, and Computation

  • Type: Book
  • -
  • Published: 2006-06-21
  • -
  • Publisher: Springer

This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

Abstractions and Embodiments
  • Language: en
  • Pages: 473

Abstractions and Embodiments

  • Type: Book
  • -
  • Published: 2022-08-30
  • -
  • Publisher: JHU Press

"This anthology of original historical essays examines how social relations are enacted in and through computing using the twin frameworks of abstraction and embodiment. The book highlights a wide range of understudied contexts and experiences, such as computing and disability, working mothers as technical innovators, race and community formation, and gaming behind the Iron Curtain"--