Ricardo Bedin França

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Agile Software Development

Quality Assurance

Metadata Creation

White Box Testing

Top Venues

Publications

Fernanda C. P. Motta Fernandes, Ricardo Bedin França
Assessing the impact of Scrum in airborne software quality assurance. SBQS (2015)
Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris
Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES (2011)
Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali
Towards Safe Design of Synchronous Bus Protocols in Event-B. SBMF (2009)
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
The AADL behaviour annex - experiments and roadmap. ICECCS (2007)