James S. Willans

Publication List Details

Period

1999 - 2008

Number

9

Co-Authors

testing (2008)

James S. Willans, Michael D. Harrison

toolset supported approach for designing and

Defining OCL expressions using templates (2007)

James S. Willans, Paul Sammut, Girish Maskeri, Andy Evans, Tony Clark

Abstract. OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the integration of OCL with the UML meta-model cannot be formally...

Modelling and verifying virtual environment behaviour (2007)

James S. Willans, Michael D. Harrison, Shamus P. Smith

Virtual environments are steadily becoming established in practice outside the context of specialist laboratories due to the reduction in cost and advances in hardware technology. Having achieved a...

Requirements (2007)

James S. Willans, Michael D. Harrison

for prototyping the behaviour of virtual environments

A unified superstructure for UML (2005)

Andy Evans, Paul Sammut, James S. Willans, Alan Moore

A key aspect of successfully using UML is understanding the semantics of the notations. UML 2 will increase the already substantial collection of notations supported by UML 1.x. At the same time,...

A pattern based approach to defining the dynamic infrastructure of UML 2.0. Presented at the 4th fourth workshop on Rigorous Object Oriented Methods (2002)

Tony Clark, Andy Evans, Girish Maskeri, Paul Sammut, Laurence Tratt, James S. Willans

Abstract. The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly “stamping out ” the definition using a...

Requirements for Prototyping the Behaviour of Virtual Environments (1999)

James S. Willans, Michael D. Harrison

Recent research has revealed that despite the development of novel interaction techniques, some of the main problems users experience in virtual environments relate to interaction. We believe that...