B. M. Matthews

Publication List Details

Period

1995 - 2008

Number

16

Co-Authors

Internationalising data access through LIMBER (2008)

B. M. Matthews, K. Miller, A. Ramfos, J. Ryssevik, M. D. Wilson

This case study describes the method used to develop an access system (LIMBER) to internationally distributed metadata and data in the social science domain. The key to the internationalisation is...

The VDM+B project: Objectives and Progress (2008)

J. C. Bicarregui, Th. Dimitrakos, K. Lano, T. Maibaum, B. M. Matthews, B. Ritchie

Abstract. The VDM+B project is developing the formal underpinnings for an integration of VDM and B enabling their co-use within one development. In this paper, we describe the objectives for the...

The VDM+B project: Objectives and Progress (2008)

J. C. Bicarregui, T. Dimitrakos, K. Lano, T. Maibaum, B.M. Matthews, B. Ritchie

Abstract. The VDM+B project is developing the formal underpinnings for an integration of VDM and B enabling their co-use within one development. In this paper, we describe the objectives for the...

Trust and Security in Grids: A State of the Art (2008)

Adamski, M, Arenas, A E, Bilas, A, Fragopoulou, P, Georgiev, V, Hevia, A, ...

The Trust and Security activity in CoreGRID runs as a horizontal integration activity related to all the research areas, making the Network participants aware of the use of the technologies...

The VDM+B project: Objectives and Progress (2007)

J. C. Bicarregui, T. Dimitrakos, K. Lano, T. Maibaum, B.M. Matthews, B. Ritchie

The VDM+B project is developing the underpinnings for an integration of VDM and B enabling their couse within one formal development. In this paper, we describe the objectives for the project, the...

A multidisciplinary scientific data portal (2001)

Ashby, J V, Bicarregui, J C, Boyd, D R S, Lambert, S C, Matthews, B M, ...

We describe a web-based multidisciplinary data portal, currently under construction and based on a new metadata model of scientific data, for exploring and accessing the content of initially the data...

The CLRC Data Portal (2001)

Ashby, J V, Bicarregui, J C, Boyd, D R S, Lambert, S C, Matthews, B M, ...

We describe a web-based data portal, based on a new metadata model of scientific data, for exploring and accessing the content of the data resources held within CLRC's main laboratories. This system...

Formal Perspectives on an Object-Based Modelling Language (1996)

J.C. Bicarregui, B. M. Matthews

Object-Based languages, methods and designs have become increasingly important in the software engineering community. However, although there has been much theoretical work, there is no commonly...