Janet Barnes

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 1

Top Topics

Decision Support

Building Blocks

Computer Programs

Top Venues

Publications

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson
ABZ Languages and Tools in Industrial-Scale Application. ABZ (2018)
Neil White, Janet Barnes
How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems. TASE (2013)
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High Integrity Software Verification. J. Autom. Reason. 36 (4) (2006)
Janet Barnes, Rod Chapman, Randy Johnson, James C. Widmaier, Bill Everett, David Cooper
Engineering the Tokeneer Enclave Protection Software. ISSSE (2006)
John Anton, Martin Croxford, Alessandro Coglio, Janet Barnes, Randy Johnson, Tim Kremann
Two Demonstrations of Economical EAL5+ Development for Tokeneer. ISSSE (2006)
Janet Barnes
A user perspective on computer-assisted translation for minority languages. Mach. Transl. 2 (2-3) (1987)