Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1997 1996

Number of items: 45.

2009

Wood, S.K. and Akehurst, D.H. and Howells, G. and McDonald-Maier, K.D. (2009) Verification of Generated VHDL Systems. In: Fifth UK Embedded Forum, 23rd - 24th September 2009, Leicester, UK. The full text of this publication is not available from this repository.

Howells, G. and Bordbar, B. and Akehurst, D.H. (2009) Model Transformation using Adaptive Systems. In: Fourth International Conference on Software and Data Technologies (ICSOFT 2009), July 2009, Sofia, Bulgaria. The full text of this publication is not available from this repository.

2008

Wood, S.K. and Akehurst, D.H. and Uzenkov, O. and Howells, W.G.J. and McDonald-Maier, K.D. (2008) A Model Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL. IEEE Transactions on Computers, 57 (10 ). pp. 1357-1371. ISSN 0018-9340. The full text of this publication is not available from this repository.

Akehurst, D.H. and Howells, W.G.J. and Boardbar, B. and McDonald-Maier, K.D. (2008) Maths vs (Meta) Modelling: Are we Reinventing the Wheel? In: Third International Conference on Software and Data Technologies (ICSOFT), July 2008, Porto, Portugal. The full text of this publication is not available from this repository.

Wood, S.K. and Akehurst, D.H. and Howells, W.G.J. and McDonald-Maier, K.D. (2008) Array OL Descriptions of Repetitive Structures in VHDL. In: Schieferdecker, I. and Hartman, A., eds. Model Driven Architecure, Foundations and Applications - Proceedings. Lecture Notes in Computer Science . Springer, pp. 137-152. ISBN 978-3-540-69095-5 . The full text of this publication is not available from this repository.

Akehurst, D.H. and Zschaler, S. and Howells, G. (2008) OCL: Modularising the Language. In: Margaria, T. and Padberg, J. and Taentzer, G., eds. Modelling Systems with OCL. Electronic Communications of the EASST, 9. Electronic Communications of the EASST, Berlin, Heidelberg pp. 176-181. The full text of this publication is not available from this repository.

Akehurst, D.H. and Howells, W.G.J. and Scheidgen, M. and McDonald-Maier, K.D. (2008) C# 3.0 Makes OCL Redundant! Electronic Communications of the EASST, 9 . ISSN 1863-2122. The full text of this publication is not available from this repository.

Akehurst, D.H. and Howells, W.G.J. and Zschaler, S. (2008) OCL: Modularising the Language. Electronic Communications of the EASST, 9 . pp. 1-20. ISSN 1863-2122. The full text of this publication is not available from this repository.

2007

Akehurst, D.H. and Uzenkov, O. and Howells, W.G.J. and McDonald-Maier, K.D. and Bordbar, B. (2007) Compiling UML State Diagrams into WHDL: An Experiment in using Model Driven Development. CiteSeer. The full text of this publication is not available from this repository.

Wood, S.K. and Akehurst, D.H. and Howells, G. and McDonald-Maier, K.D. (2007) Mapping the Design of Repetitive Structures onto VHDL. In: International Workshop on MODEASY, in conjunction with Forum on Specificatin and Design Languages (FDL 07), 2007 September, Barcelona, Spain. The full text of this publication is not available from this repository.

Akehurst, D.H. and Wood, S.K. and Howells, G. and McDonald-Maier, K.D. (2007) Towards a Twofold Approach to the Verification of Generated VHDL Systems. In: International Workshop on MODEASY, in conjunction with Forum on Specificatin and Design Languages (FDL 07), 2007 September, Barcelona, Spain. The full text of this publication is not available from this repository.

Bordbar, B. and Howells, G. and Evans, M. and Staikopoulos, A. (2007) Model Transformation from OWL-S to BPEL via SiTra. In: Akehurst, D.H. and Vogel, R. and Paige, RF, eds. Model Driven Architecture- Foundations and Applicatio. Lecture Notes in Computer Science, 4530. Springer-Verlag pp. 43-58. ISBN 978-3-540-72900-6. The full text of this publication is not available from this repository.

Akehurst, D.H. and Howells, G. and Scheidgen, M. and McDonald-Maier, K.D. (2007) C# 3.0 makes OCL Redundant. In: Workshop on Ocl4All: Modelling Systems with OCL, part of 10th International Conference on Model Driven Engineering Languages and Systems (MODELS/UML), 2007 October, Nashville, USA. The full text of this publication is not available from this repository.

2006

Akehurst, D.H. and Howells, W.G.J. and McDonald-Maier, K.D. (2006) Implementing Associations: UML 2.0 to Java 5. Journal of Software and Systems Modeling, 6 (1). pp. 3-35. ISSN 1619-1366 .

Preview

Akehurst, D.H. and Boardbar, B. and Evans, M. and Howells, W.G.J. and McDonald-Maier, K.D. (2006) SiTra: Simple Transformations in Java. In: Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, 4199. Springer-Verlag pp. 351-364. ISBN 978-3-540-45772-5. The full text of this publication is not available from this repository.

Akehurst, D.H. and Howells, W.G.J. and McDonald-Maier, K.D. (2006) UML/OCL: Detaching the Standard Library. In: Workshop on OCL for (meta-)models in Multiple Application Domains, part of 9th International Conference on Model Driven Engineering Languages and Systems (MODELS/UNL), 2006 October, Genoa, Italy. The full text of this publication is not available from this repository.

2005

Akehurst, D.H. and Howells, W.G.J. and McDonald-Maier, K.D. (2005) Kent Model Transformation Language. In: Proc. Model Transformations in Practice Workshop, part of MoDELS 2005, 2005 October, Montego Bay, Jamaica. The full text of this publication is not available from this repository.

Akehurst, D.H. and Howells, W.G.J. and McDonald-Maier, K.D. (2005) Supporting OCL as Part of a Family of Languages. In: Proceedings of the MoDELS'05 Conference Workshop on Tool Support for OCL and Related Formalisms - Needs and Trends, LTL-REPORT-2--5-001, 2005 October, Montego Bay, Jamaica. The full text of this publication is not available from this repository.

2004

Akehurst, D.H. (2004) Relations in OCL. In: UML <<2004>> Workshop OCL and Model Driven Engineering, October 2004, Lisbon, Portugal, .

Preview

Akehurst, D.H. (2004) Proposal for a Model Driven Approach to Creating a Tool to Support the RM-ODP. In: Workshop on ODP for Enterprise Computing (WODPEC 2004), In conjunction with EDOC 2004, 2004, Monterey, California.

Preview

Steen, M.W.A. and Akehurst, D.H. and ter Doest, H.W.L. and Lankhorst, M.M. (2004) Supporting Viewpoint-Oriented Enterprise Architecture. In: Eighth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), Sep 20-24, 2004, Monterey, CA, . The full text of this publication is not available from this repository.

Akehurst, D.H. (2004) Proceedings of Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. Technical report. kent university

Preview

Akehurst, D.H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university

Preview

Akehurst, D.H. (2004) MDA-Transformations from Relations. In: ECOOP 2004 Workshop Reader, Workshop on Model Driven Development (WMDD 2004).

Preview

2003

Akehurst, D.H. and Derrick, J. and Waters, A.G. (2003) Design and Verification of Distributed Multi-media Systems. In: FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, NOV 19-21, 2003, PARIS, FRANCE.

Preview

Akehurst, D.H. and Linington, P.F. and Patrascoiu, Octavian (2003) OCL 2.0: Implementing the Standard. Technical report. University of Kent The full text of this publication is not available from this repository.

Akehurst, D.H. and Patrascoiu, Octavian (2003) Tooling Metamodels with Patterns and OCL. In: Proceedings of the Metamodelling for MDA Workshop. , York The full text of this publication is not available from this repository.

Akehurst, D.H. and Derrick, J. and Waters, A.G. (2003) Addressing Computational Viewpoint Design. In: Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003, Sep 16-19, 2003, Brisbane, Australia, . The full text of this publication is not available from this repository.

Akehurst, D.H. and Kent, S. and Patrascoiu, Octavian (2003) A Relational Approach to Defining and Implementing Transformations in Metamodels. Software and Systems Modeling, 2 (4). pp. 215-239. ISSN 1619-1366. The full text of this publication is not available from this repository.

Akehurst, D.H. and Bordbar, B. and Derrick, J. and Waters, A.G. (2003) Design and Verification of Distributed Multi-media Systems. Technical report. University of Kent The full text of this publication is not available from this repository.

2002

Akehurst, D.H. and Bordbar, B. and Derrick, J. and Waters, A.G. (2002) Design Support for Distributed Systems: DSE4DS. In: Procedings of the 7th Cabernet Radicals Workshop, 13-16 October 2002, Bertinoro, Italy.

Preview

Derrick, J. and Akehurst, D.H. and Boiten, E.A. (2002) A framework for UML consistency. In: Workshop on Consistency Problems in UML-based Software Development, October 1st, 2002 , Dresden, Germany.

Preview

Akehurst, D.H. and Kent, S. (2002) A Relational Approach to Defining Transformations in a Metamodel. In: UML 2002 - The Unified Modeling Language: Model Engineeing, Concepts, and Tools, September 30- October 4, 2002, Dresden, Germany. The full text of this publication is not available from this repository.

Akehurst, D.H. and Bordbar, B. and Rodgers, Peter and Dalgliesh, N.T.G. (2002) Automatic Normalisation via Metamodelling. In: ASE 2002 Workshop on Declarative Meta Programming to Support Software Development, September 2002.

Preview

2001

Akehurst, D.H. and Bordbar, B. (2001) On Querying UML data models with OCL. In: Unified Modeling Language: modeling languages, concepts, and toolsools'', October 1-5, 2001, Toronto, Canada. The full text of this publication is not available from this repository.

Waters, G. and Linington, P.F. and Akehurst, D.H. and Utton, P. and Martin, G. (2001) Permabase: predicting the performance of distributed systems at the design stage. IEE Proceedings - Software, 148 (4). pp. 113-121. ISSN 1462-5970. The full text of this publication is not available from this repository.

2000

Akehurst, D.H. and Bowman, H. and Bryans, J.W. and Derrick, J. (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report.

Preview

Akehurst, D.H. (2000) Model Translation: A UML-based specification technique and active implementation approach. PhD thesis, Computing Laboratory, University of Kent.

Preview

Akehurst, D.H. (2000) An 00 visual language definition approach supporting multiple views. In: IEEE International Symposium on Visual Languages, September 10 - 13th 2000, Seattle, Washington, USA.

Preview

1999

Akehurst, D.H. and Waters, Gill and Utton, Peter and Martin, Gino (1999) Predictive Performance Analysis for Distributed Systems - PERMABASE position. In: One Day Workshop on Software Performance Prediction extracted from Designs.

Preview

Akehurst, D.H. and Waters, A.G. (1999) UML Deficiencies from the perspective of Automatic Performance Model Generation. In: OOPSLA '99 Workshop on Rigorous Modelling and Analysis with the UML: Challenges and Limitations, Nov 2, 1999, Denver, Colorado.

Preview

Akehurst, D.H. and Waters, A.G. (1999) UML specification of distributed system environments. Technical report.

Preview

Utton, P. and Martin, G. and Akehurst, D.H. and Waters, A. (1999) Performance analysis of object-oriented designs for distributed systems. Technical report.