< back to main site

Publications

Items where Subject is "Mathematics and Scientific Computing > Software Engineering"

Up a level
Export as [feed] RSS
Group by: Authors | Item Type
Jump to: B | C | E | F | G | H | I | K | L | M | P | R | S | T | W
Number of items at this level: 89.

B

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.

C

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.

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

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.

E

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

F

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.

G

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.

H

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

I

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

K

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.

L

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

M

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

P

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

R

Rayner, D (1997) Future directions for protocol testing, learning lessons from the past. In: Testing of Communicating Systems Volume 10. UNSPECIFIED.

S

Szczygiel, B; Kelly, G P* (1996) Further issues in EDI security. NPL Report. CISE 10/96

T

Thomas, C; Daly-Jones, O; Harry, A (1997) Human factors in measurement and calibrations. Measurement Good Practice Guide. 8

W

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

This list was generated on Sat Aug 15 06:47:16 2020 BST.