![]() | Up a level |
Barker, R M (2000) Software re-use: guide to METROS. (Software Support for Metrology Best Practice Guide No. 5). Technical Report. NPL. UK, Teddington.
Barker, R M (2006) XML for data curation. NPL Report. DEM-ES 008
Barker, R M; Brady, F A (1995) Experiences in the use of formal methods in the standardisation of a complex OSI protocol. NPL Report. CISE 1/95
Barker, R M; Cox, M G; Harris, P M; Smith, I M (2003) Testing algorithms in standards and METROS. NPL Report. CMSC 18/03
Barker, R M; Harris, P M; Parkin, G I (2000) Development and testing of spreadsheet applications. (Software for Metrology Best Practice Guide No. 7). Technical Report. NPL, UK, Teddington.
Barker, R M; Harris, P M; Parkin, G I (2006) Software Support for Metrology Best Practice Guide No 7 - development and testing of spreadsheet applications. NPL Report. DEM-ES 013
Barker, R M; Harris, P M; Wright, L (2005) Software Support for Metrology - Good Practice Guide No. 16 - Testing algorithms and software. NPL Report. DEM-ES 003
Barker, R M; Morgan, G* (2000) Design of the metrology software environment (METROS). NPL Report. CISE 43/00
Barker, R M; Morgan, G* (2000) Specification of the METROS key function. NPL Report. CISE 44/00
Barker, R M; Parkin, G I (2006) Software Support for Metrology Good Practice Guide No. 19 - Internet-enabled metrology systems. NPL Report. DEM-ES 012
Barker, R M; Parkin, G I (2005) Software review of a self-calibrating instrument. In: BEMC 2005 - British Electromagnetic Measurements Conference, 14-17 November 2005, NPL, UK.
Barker, R M; Parkin, G I (2004) Techniques for validation of measurement software - without specialised tools. NPL Report. CMSC 43/04
Barker, R M; Parkin, G I (2003) Use of the Internet for calibration services - protecting the data - final report. NPL Report. CMSC 28/03
Barker, R M; Wichmann, B (2000) Guidance for accredited laboratories on the use of computers. Accreditation and Quality Assurance, 5 (7). pp. 287-288.
Barrett, J; Dainton, M P (2000) Testing spreadsheets and other packages used in Metrology. Testing the intinsic functions of S-PLUS. NPL Report. CMSC 06/00
Barrett, J; Dainton, M P (2000) Testing spreadsheets and other packages used in metrology. Testing the intrinsic functions of MathCAD. NPL Report. CMSC 05/00
Bevan, N (1995) Human-computer interaction standards. Advances in Human Factors Ergonomics, 20B. pp. 885-890.
Bevan, N (1996) Integrating usability into the development lifecycle. In: International Conference on Advances in Applied Ergonomics, May 1996, Istanbul, Turkey.
Bevan, N (1997) Quality and Usability: a new framework. In: Achieving software product quality, van Veenendaal, E, and McMullan J (eds). Tutein Nolthenius, Netherlands.
Bevan, N (1997) Quality in use: Incorporating human factors into the software engineering lifecycle. In: Proc. 3rd International Symposium and Forum on Software Engineering Standards, ISESS '97, August 1997, Walnut Creek, CA, USA.
Bevan, N (1997) Usability Issues in web site design. Advances in Human Factors Ergonomics, 21B. pp. 803-806.
Bevan, N (1995) Usability is quality of use. Advances in Human Factors Ergonomics, 20B. pp. 349-354.
Bevan, N; Curson, I (1997) Methods for measuring usability. In: Interact 97 International Conference on Human-Computer Interaction, July 1997, Sydney, Australia.
Bevan, N; Curson, I (1997) Planning and implementing user-centred design using ISO 13407. In: Proc. 6th IFIP Conference on human-computer interaction, July 1997, Sydney, Australia.
Bevan, N; Macleod, M (1994) Usability assessment and measurement. In: Kelly, M, ed. The management and measurement of software quality. London: Ashgate Technical/ Gower Press.
Bevan, N; Macleod, M (1994) Usability measurement in context. Behav. Inf. Technol., 13 (1-2). pp. 132-145.
Bhansali, P V*; Burns, A*; Carre, B*; Craigen, D*; Johnson, N*; Michell, S*; Motet, G*; Romanski, G*; Saaltink, M*; Rowlands, G*; Tacy, A*; Thornley, J P*; Tombs, D*; Vardanega, T*; Wichmann, B (1998) Guidance for the use of the Ada programming language in high integrity systems. Ada Letters, 18 (4). pp. 47-94.
Brochu, F; Chrubasik, M; Thomas, S A (2022) Tools for a searchable and traceable curated database. In: IMEKO TC6 International Conference on Metrology and Digital Transformation, 10-21 September 2022, Berlin, Germany.
Brochu, F; Cooke, E; Romanchikova, M; Bunch, J; Dexter, A; Steven, R; Thomas, S; Shaw, M; Pilling, J; Ling, S; Strittmatter, N; Wang, Y; Race, A; Fraser, D; Francis, J; Newman, C; Chavda, V; Wood, C; Lavelle, J (2020) Federation of Imaging Data for Life sciences: current status of metadata collection for high content screening, mass spectrometry imaging and light sheet microscopy of AstraZeneca, GlaxoSmithKline and NPL. NPL Report. MS 24
Chambers, T (1994) The PEPS unified performance strategy. In: Proc. Performance Evaluation and Benchmarking of Parallel Systems, 2nd PEPS Workshop, 15 - 16 December 1994, University of Warwick.
Claridge, H; Price, C A; Ali, R; Cooke, E A; de Lusignan, S; Harvey-Sullivan, A; Hodges, C; Khalaf, N; O'Callaghan, D; Stunt, A; Thomas, S A; Thomson, J; Lemanska, A (2024) Determing the feasibility of calculating pancreatic cancer risk scores for people with new-onset diabetes in primary care (DEFEND PRIME): study protocol. BMJ Open, 14 (1). e079863
Cook, H R; Cox, M G; Dainton, M P; Harris, P M (1999) Testing spreadsheets and other packages used in metrology: a case study. NPL Report. CISE 26/99
Cook, H R; Cox, M G; Dainton, M P; Harris, P M (1999) Testing spreadsheets and other packages used in metrology: testing the intrinsic functions of Excel. NPL Report. CISE 27/99
Cook, H R; Cox, M G; Dainton, M P; Harris, P M (1999) A methodology for testing spreadsheets and other packages used in metrology. NPL Report. CISE 25/99
Cooke, E; Hayes, M; Romanchikova, M; Dexter, A; Steven, R; Thomas, S; Shaw, M; Pilling, J; Ling, S; Strittmatter, N; Ivanov, D; Wang, Y; Race, A; Fraser, D; Francis, J; Newman, C; West, A; Lavelle, J (2020) Acquisition and management of high content screening, light-sheet microscopy and mass spectrometry imaging data at AstraZeneca, GlaxoSmithKline and NPL: a survey report. NPL Report. MS 25
Cooper, A (1999) Guidance and tools for interactive web pages. NPL Report. CISE 41/99
Cox, M G; Harris, P M (2000) Guidelines to help users select and use software for their metrology applications. NPL Report. CMSC 04/00
Cox, M G; Harris, P M (2000) Testing spreadsheets and other packages used in metrology, report on discussions with other national measurement institutes (1999-2000). NPL Report. CMSC 03/00
Cox, M G; Harris, P M (2001) Testing spreadsheets and other packages used in metrology: report on discussions with other National Measurement Institutes (2000/2001). NPL Report. CMSC 09/01
Cox, M G; Harris, P M (1997) Trust in Software. Laboratory Technology International.
Esward, T J; McCormick, N J; Lawrence, K M; Stevens, M J (2007) Software Support for Metrology - Good Practice Guide No.17. Distributed computing for metrology applications. NPL Report. DEM-ES 006
Forbes, A B (1993) Validation of assessment software in dimensional metrology. Proc. SPIE - Int. Soc. Opt. Eng., 2088. pp. 27-36.
Forbes, A B; Lam, J; Tomlins, P (2009) Capturing local and anisotropic behaviour in surface geometry. Wear, 266 (5-6). pp. 527-529.
Forbes, A B; Smith, I M; Hartig, F*; Wendt, K* (2015) Overview of EMRP Joint Research Project NEW06 "Traceability for Computationally Intensive Metrology". Advances in Mathematics for Applied Sciences, 86. pp. 164-170.
Gardner, S C (2005) Software Support for Metrology Good Practice Guide No. 14 - guidance and tools for interactive web pages. NPL Report. DEM-ES 002
Greif, N*; Parkin, G I (2010) Development of an international guide for measurement software. Measurement, 43 (5). pp. 694-701.
Harris, P M; Parkin, G I; Stevens, M J (2007) Best practice in software development - a case study illustrated by the softgauges project. NPL Report. DEM-ES 022
Harry, A (1995) Z and RAISE: A case study and comparison. NPL Report. DITC 230/95
Hehir, S* (1995) Test suite structure and test purposes for the security features of the X.435 protocol. NPL Report. CISE 6/95
Hippolyte, J L; Duncan, P; Bevilacqua, M; Chrubasik, M (2022) Ontologies for Experimental Mechanics. In: 16th International Conference on Advances in Experimental Mechanics, 06-08 September 2022, Oxford, UK.
Ives, D J; Parkin, G I; Smith, J; Stevens, M; Taylor, J A F; Wicks, M C (2004) Use of Internet by calibration services: demonstration of technology. NPL Report. CMSC 49/04
Kelly, G (1997) Formal specification in VDM-SL of the secure EDIFACT reference implementation. NPL Report. CISE 12/97
Kelly, G; Barker, R M; Parkin, G I; Stevens, M (1998) SCT: Building testing into standards. Comput. Stand. Interfaces, 19 (2). pp. 129-141.
Kok, G J P*; Smith, I M (2015) Approaches for assigning numerical uncertainty to reference data sets for software validation. Advances in Mathematics for Applied Sciences, 86. pp. 195-202.
Levene, M; Adel, T; Alsuleman, M; George, I; Krishnadas, P; Lines, K; Luo, Y; Smith, I; Duncan, P (2024) A Life Cycle for Trustworthy and Safe Artificial Intelligence Systems. NPL Report. MS 57
Lines, K; Krishnamurthy, H (2023) Model-based Systems Engineering at NPL: An initial investigation. NPL Report. MS 42
Lovering, A (1995) Formal methods, structured techniques, and security - A unified methodology. NPL Report. DITC 235/95
Lovering, A (1993) Issues in using formal methods for specifying security systems. NPL Report. DITC 224/93
Macleod, M (1994) Usability evaluation in practice. Interfaces - the Newsletter of the British HCI Group (A specialist group of the British Computer Society) (25). 2 - 8.
Macleod, M (1994) Usability in context: improving quality of use. In: Proc. International Ergonomics Association 4th International Symposium on Human Factors in Organizational Design and Management, May 29 - June 1 1994, Stockholm, Sweden.
Macleod, M (1992) An introduction to usability evaluation. NPL Report. DITC 202/92
Macleod, M; Kirakowski, J* (1994) Usability testing in context. In: Tutorial notes, BCS HCI Conference, August 1994, Glasgow, UK.
Macleod, M*; Bowden, R*; Bevan, N; Curson, I (1997) The MUSiC performance measurement method. Behav. Inf. Technol., 16 (4-5). pp. 279-293.
Mukherjee, P*; Wichmann, B (1995) Formal specification of the STV Algorithm. In: Applications of Formal Methods. UNSPECIFIED. ISBN 0-013-3669494-1
Mukherjee, P*; Wichmann, B (1993) STV: a case study of the use of VDM. NPL Report. DITC 219/93
Parkin, G; Wichmann, B (1993) Conformity clause for VDM-SL. In: Proc. FME '93 (Formal Methods Europe), April 1993, Odense, Denmark.
Parkin, G I (1995) Complex systems improved and proved. Electrotechnology (June/J). 10 - 11
Parkin, G I (1993) Survey of formal methods in software engineering. Software Reliability and Metrics Club Newsletter, 11. pp. 2-3.
Parkin, G I (1994) Survey of formal methods in software engineering. LOTOS News, 1 (Februa). pp. 18-20.
Parkin, G I (1994) Virtual terminal and open systems testing. Rail Bulletin (April/). 20 - 21
Parkin, G I (1993) Why are afraid of formal methods? Comput. Weekly (14 Oct). p. 28.
Parkin, G I (1994) The programming language standards scene, ten years on: Paper 15: Vienna Development Method Specification Language (VDM-SL). Comput. Stand. Interfaces, 16. 527 -530
Parkin, G I; Austin, S M (1994) Overview: survey of formal methods in industry. IFIP Trans. C, Commun. Syst. (Netherlands), C - 22. 189 - 203
Rayner, D (1997) Future directions for protocol testing, learning lessons from the past. In: Testing of Communicating Systems Volume 10. UNSPECIFIED.
Romanchikova, M; Hippolyte, J-L (2022) A framework for user-configurable data quality assurance of electronic patient records. Studies in Health Technology and Informatics, 289. pp. 89-92.
Smith, I M; Veltcheva, R I; Griffin, D J (2024) Case study on the generation and use of digital calibration certificates. NPL Report. MS 56
Szczygiel, B; Kelly, G P* (1996) Further issues in EDI security. NPL Report. CISE 10/96
Thomas, C; Daly-Jones, O; Harry, A (1997) Human factors in measurement and calibrations. Measurement Good Practice Guide. 8
Wichmann, B (1994) Contribution of standard programming languages to software quality. Softw. Eng. J., 9 (1). pp. 3-12.
Wichmann, B (1993) Document quality. Quality News, 19 (5). pp. 227-228.
Wichmann, B (1999) Guide for the validation of measurement software. IEE Colloq. Dig., 160. 5/1-5.
Wichmann, B (1997) High Integrity Ada. In: Safecomp '97, 7-10 September 1997, York, UK.
Wichmann, B (1993) Microprocessor design faults. Microprocess. Microsyst., 7 (7). pp. 399-400.
Wichmann, B (1994) Modularization for assurance: gauging safety and quality. In: Proc. Conf. Safety through quality. British Computer Society Modular Languages Special Interest Group, 6 - 7 June 1994.
Wichmann, B (1998) Objective test criteria, some proposals for bespoke software. NPL Report. CISE 16/98
Wichmann, B (1993) PostScript - A study in conformity. NPL Report. DITC 214/93
Wichmann, B (1994) Producing critical systems: the Ada 9X solution. In: Redmill, F, and Anderson, T, eds. Technology and assessment of safety-critical systems. Springer-Verlag.
Wichmann, B (1993) Programming critical systems: the Ada 9X solution. Comput. Bull., 5 (5). p. 15.
Wichmann, B (1993) Quality assurance for test and measurement software. In: 6th British Electromagnetic Measurements Conference Digest (BEMC 93), 2-4 November 1993, NPL, Teddington, UK.
Wichmann, B (1993) Software certification and testing. IEE Colloq. Dig., 208. 7/1-7/3
Wichmann, B (1997) Software in scientific computing. Measurement Good Practice Guide. 5
Wichmann, B (1993) Why are there no measurement standards for software testing? Comput. Stand. Interfaces, 15. pp. 361-364.
Wichmann, B (1995) Why it is difficult producing safety critical software? Ingenuity, 10 (May). pp. 96-104.
Wichmann, B (1993) A review of a safety-critical software standard.
Wichmann, B; Canning, A A*; Clutterbuck, D L*; Winsborrow, L A*; Ward, N J*; Marsh, D W R* (1995) An industrial perspective on static analysis. Softw. Eng. J., 10 (2). 69 - 75
Wichmann, B A (2001) Software validation. In: Calibration in the Pharmaceutical Laboratory. IHS Health Group, pp. 101-155. ISBN 1574910922
Wichmann, B A; Barker, R M; Cox, M G; Harris, P M (2000) Measurement systems validation: validation of measurement software. (Software Support for Metrology Best Practice Guide No. 1). Technical Report. NPL, UK, Teddington.
Wichmann, B*; Parkin, G I; Barker, R M (2007) Validation of software in measurement systems (Software for Metrology Best Practice Guide No. 1). NPL Report. DEM-ES 014