Facilitating the spread of knowledge and innovation in professional software development

Logo - Back to homepage

1,201,360 Nov unique visitors

News Articles Presentations Podcasts Guides

Topics

Development

Featured in Development

Using Golang to Building Microservices at The Economist: A Retrospective

Microservices written in Go was a key component of a new system that would enable The Economist to deliver scalable, high performing services and quickly iterate new products. Go's baked in concurrency and API support along with its design as a static, compiled language enabled a distributed eventing system. Overall, The Economist team's experience with Go has been positive experience.

All in development

Architecture & Design

Featured in Architecture & Design

Paying Technical Debt at Scale - Migrations @Stripe

Will Larson talks about why migrations are the only mechanism to effectively manage technical debt as their company and code grow, what makes running them so hard, and a repeatable approach to running them effectively.

All in architecture-design

AI, ML and Data Engineering

Featured in AI, ML & Data Engineering

Analytics Zoo: Unified Analytics + AI Platform for Distributed Tensorflow, and BigDL on Apache Spark

In this article we described how Analytics Zoo can help real-world users to build end-to-end deep learning pipelines for big data, including unified pipelines for distributed TensorFlow and Keras on Apache Spark, easy-to-use abstractions such as transfer learning and Spark ML pipeline support, built-in deep learning models and reference use cases, etc.

All in ai-ml-data-eng

Culture & Methods

Featured in Culture & Methods

Sangeeta Narayanan of Netflix on Improving the Developer Experience

In this podcast recorded at QCon New York, Shane Hastie, Lead Editor for Culture & Methods, spoke to Sangeeta Narayanan of Netflix about improving the developer experience, and why it matters.

All in culture-methods

DevOps

Featured in DevOps

Full Cycle Developers @Netflix

Greg Burrell presents Netflix’s journey from siloed teams to their Full Cycle Developer model for building and operating their services at Netflix. He discusses the various approaches they’ve tried, the motivations that pushed them to keep evolving, and the lessons learned along the way.

All in devops

Videos with TranscriptsNew

Helpful links

QCons from around the world

QCon

Software Dev Conference

Choose your language

Featured:

The Architects' Newsletter

InfoQ Homepage Verification Content on InfoQ

Articles

RSS Feed

Verification and Validation for Trustworthy Software Systems

In this IEEE article, authors discuss a continuous verification and validation of complex and safety-critical software systems using techniques like statechart assertions, runtime execution monitoring, and scenario-based testing.

James Bret Michael Doron Drusinsky Thomas W. Otani Man-Tak Shing
on Mar 05, 2012

Load newer article items

Is your profile up-to-date? Please take a moment to review and update.

Email Address*

Note: If updating/changing your email, a validation request will be sent

Company name:

Keep current company name

Update Company name to:*

Company role:

Keep current company role

Update company role to:*

Company size:

Keep current company Size

Update company size to:*

Country/Zone:

Keep current country/zone

Update country/zone to:*

State/Province/Region:

Keep current state/province/region

Update state/province/region to:

Subscribe to our newsletter?

Subscribe to our architect newsletter?

Subscribe to our industry email notices?

By subscribing to this email, we may send you content based on your previous topic interests. See our privacy notice for details.

You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.

Topics

Using Golang to Building Microservices at The Economist: A Retrospective

Paying Technical Debt at Scale - Migrations @Stripe

Analytics Zoo: Unified Analytics + AI Platform for Distributed Tensorflow, and BigDL on Apache Spark

Sangeeta Narayanan of Netflix on Improving the Developer Experience

Full Cycle Developers @Netflix

Helpful links

QCons from around the world

Choose your language

Articles

Verification and Validation for Trustworthy Software Systems

Git 2.20 Brings Improved Workflows and Performance

Using Golang to Building Microservices at The Economist: A Retrospective

InfoQ's New Desktop Design Launched

Paying Technical Debt at Scale - Migrations @Stripe

The InfoQ eMag: Chaos Engineering

Deep Representation: Building a Semantic Image Search Engine

Sangeeta Narayanan of Netflix on Improving the Developer Experience

Applying Agile for Developing Industrial Machinery

LeSS Huge at BMW

Analytics Zoo: Unified Analytics + AI Platform for Distributed Tensorflow, and BigDL on Apache Spark

AI & Blockchain from an Investment Perspective

AI for Software Testing with Deep Learning: Is It Possible?

Full Cycle Developers @Netflix

HashiCorp Vault 1.0 Open Sources Auto-Unseal, Adds Batch Tokens

Scaling Apache Kafka at Pinterest

London

QCon.ai San Francisco

Beijing

Sao Paulo

New York

Shanghai

San Francisco

Login with:

Don't have an InfoQ account?

Articles