BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Register Sign in

Unlock the full InfoQ experience

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources.

Log In

or

Don't have an InfoQ account?

Stay updated on topics and peers that matter to youReceive instant alerts on the latest insights and trends.
Quickly access free resources for continuous learningMinibooks, videos with transcripts, and training materials.
Save articles and read at anytimeBookmark articles to read whenever youre ready.

Logo - Back to homepage

News Articles Presentations Podcasts Guides

Topics

Development

Featured in Development

[Video Podcast] AI-Driven Development with Olivia McVicker

In this episode, Thomas Betts chats with Olivia McVicker, a Senior Cloud Advocate at Microsoft about AI-driven software development. The conversation covers the current, mainstream AI coding assistants and gets into where those tools are quickly heading. They then look to the future of how the entire software development lifecycle will see the benefits of AI in the next few years.

All in development

Architecture & Design

Featured in Architecture & Design

Spec Driven Development: When Architecture Becomes Executable

Spec-Driven Development inverts traditional architecture by making specifications executable and authoritative. It transforms declared intent into validated code through AI generation and provides architectural determinism. It eliminates drift through continuous enforcement, but demands new engineering discipline in schema design and contract-first reasoning.

All in architecture-design

AI Infrastructure

Featured in AI, ML & Data Engineering

Somtochi Onyekwere on Distributed Data Systems, Eventual Consistency and Conflict-Free Replicated Data Types

In this podcast, InfoQ spoke with Somtochi Onyekwere on recent developments in distributed data systems, how to achieve fast, eventually consistent replication across distributed nodes, and how Conflict-free Replicated Data Type (CRDTs) can help with conflict resolution when managing data.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

Holistic Engineering: Organic Problem Solving for Complex Evolving Systems

Vanessa Formicola discusses how "invisible" forces shape our code and architecture. She shares patterns like "Cirque du Soleil coding" and "Shared Kitchen Sinks," explaining why technical problems often have social roots. Architects and leaders will learn how to use Social Decision Records (SDRs) and holistic modeling to make the implicit explicit and drive success.

All in culture-methods

DevOps

Featured in DevOps

No QA Environment? No Problem: How Classpass Enables Testing on a Single Environment in ECS

Po Linn Chia shares the sociotechnical journey of ClassPass, moving from a flaky, homegrown testing framework to a dynamic routing architecture on ECS. She discusses leveraging Traefik and OpenTelemetry baggage to enable "shadow mains" and ephemeral feature testing. This talk provides a pragmatic blueprint for engineering leaders to increase developer velocity with a lean platform team.

All in devops

Events

Helpful links

Choose your language

InfoQ Architect Certification

Join Luca Mezzalira for this 5-week online cohort. Master socio-technical architecture leadership.

Save your spot.

QCon London 2026

Learn what works in AI, architecture, data, security & FinTech.

Early Bird ends Feb 10.

Learn how leading engineering teams run AI in production—reliably, securely, and at scale.

Early Bird ends Feb 10.

InfoQ Homepage Interviews Christian Colombo on FSM-based Monitoring and Runtime Verification

Christian Colombo on FSM-based Monitoring and Runtime Verification

Download

17:56

Bio

Christian is an assistant lecturer and a PhD student at the University of Malta with published papers in the area of runtime verification. He created the monitoring tool Larva and applied it to an industrial Java system handling financial transactions and is coordinating a national research project on applying monitoring techniques to industrial financial systems having compensating transactions.

About the conference

The Erlang Factory is an event that focuses on Erlang - the computer language that was designed to support distributed, fault-tolerant, soft-realtime applications with requirements for high availability and high concurrency. The main part of the Factory is the conference - a two-day collection of focused subject tracks with an enormous opportunity to meet the best minds in Erlang and network with experts in all its uses and applications.

Sep 23, 2011

BT