Formal Methods and Software Engineering

Overview of attention for book

Attention for Chapter: Validation-Driven Development

Altmetric Badge

Mentioned by

twitter: 2 X users

So far, Altmetric has seen 3 X posts from 2 X users, with an upper bound of 1,420 followers.

RT @atif_mashkoor: We recently introduced the idea of validation-driven development that prioritizes validating requirements in formal deve…

23 Nov 2023

Reply Repost Favourite

RT @atif_mashkoor: We recently introduced the idea of validation-driven development that prioritizes validating requirements in formal deve…

12 Nov 2023

Reply Repost Favourite

We recently introduced the idea of validation-driven development that prioritizes validating requirements in formal development in the ICFEM 2024 paper: https://t.co/mWZ0CjZv6P This work is financed within the #IVOIRE project at @jkulinz by @FWF_at and @D

12 Nov 2023

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.

Formal Methods and Software Engineering

Table of Contents

Mentioned by