Janet Barnes

According to our database, Janet Barnes authored at least 7 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Verification in the Grand Challenge.

Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2018

ABZ Languages and Tools in Industrial-Scale Application.

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2013

How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems.

Neil White, Janet Barnes

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2006

An Integrated Approach to High Integrity Software Verification.

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes

J. Autom. Reason., 2006

Engineering the Tokeneer Enclave Protection Software.

Janet Barnes, Rod Chapman, Randy Johnson, James C. Widmaier, Bill Everett, David Cooper

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

Two Demonstrations of Economical EAL5+ Development for Tokeneer.

John Anton, Martin Croxford, Alessandro Coglio, Janet Barnes, Randy Johnson, Tim Kremann

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

1987

A user perspective on computer-assisted translation for minority languages.

Janet Barnes

Mach. Transl., 1987