BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Logo - Back to homepage

News Articles Presentations Podcasts Guides

Topics

Development

Featured in Development

Beat the Plan: Probabilistic Strategies for Successful Software Delivery at Scale

Large-scale software delivery demands managing complexity across teams and organizations. Similarly to betting strategies in Vegas, embracing probabilistic thinking helps tackle uncertainty, shifting from rigid plans to adaptive systems. By making informed bets and designing for change, leaders can control volatility, respond to evolving conditions, and drive success in dynamic environments.

All in development

Architecture & Design

Featured in Architecture & Design

Software Architecture and the Art of Experimentation

Run experiments using a Minimum Viable Architecture approach to determine if your architecture decisions are on the right track. MVAs also test the viability of an MVP, allowing stakeholders to validate the business value.

All in architecture-design

AI, ML & Data Engineering

Featured in AI, ML & Data Engineering

Denys Linkov on Micro Metrics for LLM System Evaluation

Live from the QCon San Francisco Conference, we are talking with Denys Linkov, Head of Machine Learning at Voiceflow. Linkov shares insights on using micro metrics to refine large language models (LLMs), highlighting the importance of granular evaluation, continuous iteration, and rigorous prompt engineering to create reliable and user-focused AI systems.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

Developing Regulated Software at the Speed of Innovation: Insights from Erez Kaminski

In this podcast Shane Hastie, Lead Editor for Culture & Methods spoke to Erez Kaminski about the challenges and importance of developing regulated software for safety-critical systems, emphasizing the need for validated DevOps and AI integration in industries like healthcare and automotive, while highlighting the balance between innovation, safety, and regulatory compliance.

All in culture-methods

DevOps

Featured in DevOps

From Anti-patterns to Best Practices: A Practical Guide to DevSecOps Automation and Security

Spyros Gasteratos discusses security patternsand provides alternatives to detrimental practices, along with a compilation of free and open-source tools endorsed by the community.

All in devops

Events

Helpful links

Choose your language

Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.

InfoQ Dev Summit Boston

Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.

The Software Architects' Newsletter

Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.

InfoQ Homepage Specification Content on InfoQ

Presentations

RSS Feed

Architecture & Design

Designing Distributed Systems with TLA+

Hillel Wayne introduces the ideas behind TLA+, a specification language that describes a system and its properties, and how it works, with a focus on practical examples.

Hillel Wayne
on Apr 26, 2019

Icon

38:16
Beyond Contracts: An Exploration into Unified Specifications

Paul deGrandis emphasizes the importance of using specification-as-a-value, a way of unifying core.contracts, test.generative, and external systems under a single common specification in Clojure.

Paul deGrandis
on Jun 20, 2013

Icon

30:20
Formal Specification of a JavaScript Module System

In this paper, we propose a formal specification of a JavaScript module system. A module system for JavaScript will allow safe and incremental development of JavaScript web applications.

Sukyoung Ryu Seonghoon Kang
on Apr 05, 2013

Icon

17:36
Writing Executable Specifications

Thomas Sundberg emphasizes the need for writing executable specifications demoing on example using Cucumber.

Thomas Sundberg
on Feb 19, 2013

Icon

43:38

BT