InfoQ Homepage Safety Content on InfoQ
Articles
RSS Feed-
/articles/functional-ui-model-driven-engineering/en/smallimage/Functional-UI-a-Model-Based-Approach-logo-1582096321274.jpg)
Functional UI - a Model-Based Approach
Functional UI techniques rely on the functional relation between events processed by the user interface and the actions performed by the interface. If the user interface has discrete modes in which its behavior can be expressed simply, a modelization with state machines is an advantageous functional UI technique. This article explains the technique, its benefits and how it is used in the industry.
-
/articles/book-review-rebooting-ai/en/smallimage/Q&A-Gary-Marcus-Ernest-Davis-on-the-book-Rebooting-AI-Building-Artif-s-1573513232208.jpg)
Q&A on the Book Rebooting AI
The book Rebooting AI explains why a different approach other than deep learning is needed to unlock the potential of AI. Authors Gary Marcus and Ernest Davis propose that AI programs will have to have a large body of knowledge about the world in general, represented symbolically. Some of the basic elements of that knowledge should be built in.
-
/articles/robust-user-interfaces-with-state-machines/en/smallimage/robust-engineering-user-interfaces-state-machines-logo-small-1555683421772.jpg)
Robust Engineering: User Interfaces You Can Trust with State Machines
Industrial-strength modelling techniques used in safety-critical domains can be leveraged for the specification and implementation of user interfaces. This article explains how state machine modelling may lead to robust, testable and maintainable user interfaces.
-
/articles/book-review-agile-safety-critical-systems/en/smallimage/safety-critical-cover-1534199635822.jpg)
Q&A on the Book Agile Methods for Safety-Critical Systems
The book Agile Methods for Safety-Critical Systems by Nancy Van Schooenderwoert and Brian Shoemaker explains how agile principles and practices can be used to build quality in from the start to develop medical and other safety-critical systems.
-
/articles/consensual-software/en/smallimage/GettyImages-671938164-copy.jpeg)
Consensual Software: How to Prioritize User Safety
This article covers how consensual software will help address online harassment and abuse vectors before they get out of hand. It also covers some features the GitHub Community & Safety team has built and how we review features from other teams.
-
/articles/software-safety/en/smallimage/LOGO-ARH.jpg)
But is it Safe?
While it is rare to hear the question, "Is this software safe?", the safety aspects of software are becoming increasingly important. The proliferation of IoT devices increases the widespread impact a small problem can cause. Several techniques exist to help developers analyze and improve the safety of software they create.
-
/articles/virtual-panel-bimodal-IT/en/smallimage/logo.jpg)
Virtual Panel on Bimodal IT
Bimodal IT has been supported by many and criticized by many. InfoQ reached out to enterprise experts to dig deeper into the pros and cons of this strategy and how/when/if is it applicable.
-
/articles/microservices-practical-tips/en/smallimage/logo-tips.jpg)
Sam Newman: Practical Implications of Microservices in 14 Tips
What are the practical concerns associated with running microservice systems? And what you need to know to embrace the power of smaller services without making things too hard? At last GeeCon 2014 in Krakow, Sam Newman tried to answer those questions by giving 14 tips about how microservices can interface, how the can be monitored, deployed, and made safer.