Concepedia

Frédéric DuBru

FD

1

Publications

17

Citations

1

H-Index

1994

Active since

Frédéric DuBru is an author specializing in software engineering, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringSoftware EngineeringRequirements Modeling

Publications per year

1994–1994

1

Publications

1

Animating Formal Requirements Specifications of Cooperative Information Systems.

Éric Dubois, Philippe Du Bois, Frédéric DuBru · Cooperative Information Systems · 1994 · 17 citations

Specification Language, Engineering, Requirement Engineering +8

Rows per page

1–1 of 1