Released on 2019-12-06Categories Philosophy

Steps toward a Philosophy of Engineering

Steps toward a Philosophy of Engineering

Author: Carl Mitcham

Publisher: Rowman & Littlefield Publishers

ISBN: 9781786611284

Category: Philosophy

Page: 466

View: 150

The rise of classic Euro-American philosophy of technology in the 1950s originally emphasized the importance of technologies as material entities and their mediating influence within human experience. Recent decades, however, have witnessed a subtle shift toward reflection on the activity from which these distinctly modern artifacts emerge and through which they are engaged and managed, that is, on engineering. What is engineering? What is the meaning of engineering? How is engineering related to other aspects of human existence? Such basic questions readily engage all major branches of philosophy --- ontology, epistemology, ethics, political philosophy, and aesthetics --- although not always to the same degree. The historico-philosophical and critical reflections collected here record a series of halting steps to think through engineering and the engineered way of life that we all increasingly live in what has been called the Anthropocene. The aim is not to promote an ideology for engineering but to stimulate deeper reflection among engineers and non-engineers alike about some basic challenges of our engineered and engineering lifeworld.
Released on 2016-05-04Categories Business & Economics

The Philosophy of Software

The Philosophy of Software

Author: D. Berry

Publisher: Springer

ISBN: 9780230306479

Category: Business & Economics

Page: 200

View: 233

This book is a critical introduction to code and software that develops an understanding of its social and philosophical implications in the digital age. Written specifically for people interested in the subject from a non-technical background, the book provides a lively and interesting analysis of these new media forms.
Released on 2016-10-05Categories Computers

History and Philosophy of Computing

History and Philosophy of Computing

Author: Fabio Gadducci

Publisher: Springer

ISBN: 9783319472867

Category: Computers

Page: 321

View: 437

This volume constitutes the refereed post-conference proceedings of the Third International Conference on the History and Philosophy of Computing, held in Pisa, Italy in October 2015. The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the humanities and the arts.
Released on 2018-07-11Categories Computers

Computational Artifacts

Computational Artifacts

Author: Raymond Turner

Publisher: Springer

ISBN: 9783662555651

Category: Computers

Page: 255

View: 224

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists.
Released on 2010-01-01Categories Computers

Thinking Machines and the Philosophy of Computer Science

Thinking Machines and the Philosophy of Computer Science

Author: Jordi Vallverdú

Publisher: IGI Global

ISBN: 9781616920159

Category: Computers

Page: 435

View: 250

"This book offers a high interdisciplinary exchange of ideas pertaining to the philosophy of computer science, from philosophical and mathematical logic to epistemology, engineering, ethics or neuroscience experts and outlines new problems that arise with new tools"--Provided by publisher.
Released on 2017-09-29Categories Computers

Understanding Software

Understanding Software

Author: Max Kanat-Alexander

Publisher: Packt Publishing Ltd

ISBN: 9781788628341

Category: Computers

Page: 278

View: 897

Software legend Max Kanat-Alexander shows you how to succeed as a developer by embracing simplicity, with forty-three essays that will help you really understand the software you work with. About This Book Read and enjoy the superlative writing and insights of the legendary Max Kanat-Alexander Learn and reflect with Max on how to bring simplicity to your software design principles Discover the secrets of rockstar programmers and how to also just suck less as a programmer Who This Book Is For Understanding Software is for every programmer, or anyone who works with programmers. If life is feeling more complex than it should be, and you need to touch base with some clear thinking again, this book is for you. If you need some inspiration and a reminder of how to approach your work as a programmer by embracing some simplicity in your work again, this book is for you. If you're one of Max's followers already, this book is a collection of Max's thoughts selected and curated for you to enjoy and reflect on. If you're new to Max's work, and ready to connect with the power of simplicity again, this book is for you! What You Will Learn See how to bring simplicity and success to your programming world Clues to complexity - and how to build excellent software Simplicity and software design Principles for programmers The secrets of rockstar programmers Max's views and interpretation of the Software industry Why Programmers suck and how to suck less as a programmer Software design in two sentences What is a bug? Go deep into debugging In Detail In Understanding Software, Max Kanat-Alexander, Technical Lead for Code Health at Google, shows you how to bring simplicity back to computer programming. Max explains to you why programmers suck, and how to suck less as a programmer. There's just too much complex stuff in the world. Complex stuff can't be used, and it breaks too easily. Complexity is stupid. Simplicity is smart. Understanding Software covers many areas of programming, from how to write simple code to profound insights into programming, and then how to suck less at what you do! You'll discover the problems with software complexity, the root of its causes, and how to use simplicity to create great software. You'll examine debugging like you've never done before, and how to get a handle on being happy while working in teams. Max brings a selection of carefully crafted essays, thoughts, and advice about working and succeeding in the software industry, from his legendary blog Code Simplicity. Max has crafted forty-three essays which have the power to help you avoid complexity and embrace simplicity, so you can be a happier and more successful developer. Max's technical knowledge, insight, and kindness, has earned him code guru status, and his ideas will inspire you and help refresh your approach to the challenges of being a developer. Style and approach Understanding Software is a new selection of carefully chosen and crafted essays from Max Kanat-Alexander's legendary blog call Code Simplicity. Max's writing and thoughts are great to sit and read cover to cover, or if you prefer you can drop in and see what you discover new every single time!
Released on 2010-06-14Categories Business & Economics

Design Research in Information Systems

Design Research in Information Systems

Author: Alan Hevner

Publisher: Springer Science & Business Media

ISBN: 9781441956538

Category: Business & Economics

Page: 320

View: 362

It is 5 years since the publication of the seminal paper on “Design Science in Information Systems Research” by Hevner, March, Park, and Ram in MIS Quarterly and the initiation of the Information Technology and Systems department of the Communications of AIS. These events in 2004 are markers in the move of design science to the forefront of information systems research. A suf cient interval has elapsed since then to allow assessment of from where the eld has come and where it should go. Design science research and behavioral science research started as dual tracks when IS was a young eld. By the 1990s, the in ux of behavioral scientists started to dominate the number of design scientists and the eld moved in that direction. By the early 2000s, design people were having dif culty publishing in mainline IS journals and in being tenured in many universities. Yes, an annual Workshop on Information Technology and Systems (WITS) was established in 1991 in conju- tion with the International Conference on Information Systems (ICIS) and grew each year. But that was the extent of design science recognition. Fortunately, a revival is underway. By 2009, when this foreword was written, the fourth DESRIST c- ference has been held and plans are afoot for the 2010 meeting. Design scientists regained respect and recognition in many venues where they previously had little.
Released on 2020-11-23Categories Computers

Anyone Can Code

Anyone Can Code

Author: Ali Arya

Publisher: CRC Press

ISBN: 9780429521164

Category: Computers

Page: 566

View: 910

Anyone Can Code: The Art and Science of Logical Creativity introduces computer programming as a way of problem-solving through logical thinking. It uses the notion of modularization as a central lens through which we can make sense of many software concepts. This book takes the reader through fundamental concepts in programming by illustrating them in three different and distinct languages: C/C++, Python, and Javascript. Key features: Focuses on problem-solving and algorithmic thinking instead of programming functions, syntax, and libraries. Includes engaging examples, including video games and visual effects. Provides exercises and reflective questions. This book gives beginner and intermediate learners a strong understanding of what they are doing so that they can do it better and with any other tool or language that they may end up using later. Sample code is available on the author’s website.
Released on 2022-05-19Categories Computers

NASA Formal Methods

NASA Formal Methods

Author: Jyotirmoy V. Deshmukh

Publisher: Springer Nature

ISBN: 9783031067730

Category: Computers

Page: 848

View: 202

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
Released on 2022-05-31Categories Technology & Engineering

A Philosophy of Technology

A Philosophy of Technology

Author: Peter Vermaas

Publisher: Springer Nature

ISBN: 9783031799716

Category: Technology & Engineering

Page: 126

View: 810

In A Philosophy of Technology: From Technical Artefacts to Sociotechnical Systems, technology is analysed from a series of different perspectives. The analysis starts by focussing on the most tangible products of technology, called technical artefacts, and then builds step-wise towards considering those artefacts within their context of use, and ultimately as embedded in encompassing sociotechnical systems that also include humans as operators and social rules like legislation. Philosophical characterisations are given of technical artefacts, their context of use and of sociotechnical systems. Analyses are presented of how technical artefacts are designed in engineering and what types of technological knowledge is involved in engineering. And the issue is considered how engineers and others can or cannot influence the development of technology. These characterisations are complemented by ethical analyses of the moral status of technical artefacts and the possibilities and impossibilities for engineers to influence this status when designing artefacts and the sociotechnical systems in which artefacts are embedded. The running example in the book is aviation, where aeroplanes are examples of technical artefacts and the world aviation system is an example of a sociotechnical system. Issues related to the design of quiet aeroplane engines and the causes of aviation accidents are analysed for illustrating the moral status of designing, and the role of engineers therein. Table of Contents: Technical Artefacts / Technical Designing / Ethics and Designing / Technological Knowledge / Sociotechnical Systems / The Role of Social Factors in Technological Development / Ethics and Unintended Consequences of Technology