Items where Author, Editor or other role is "Akehurst, David"

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 47.

Wood, Stephen K., Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus D. (2009) Verification of Generated VHDL Systems. In: Fifth UK Embedded Forum, Leicester, UK, September 2009. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23516)

Howells, Gareth, Bordbar, Behzad, Akehurst, David H. (2009) Model Transformation using Adaptive Systems. In: ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009. . pp. 133-138. INSTICC Press ISBN 978-989-674-009-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23135)

Wood, Stephen K., Akehurst, David H., Uzenkov, Oleg, Howells, Gareth, McDonald-Maier, Klaus 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. (doi:10.1109/TC.2008.123) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13308)

Akehurst, David H., Howells, Gareth, Boardbar, Behzad, McDonald-Maier, Klaus D. (2008) Maths vs (Meta) Modelling: Are we Reinventing the Wheel? In: Third International Conference on Software and Data Technologies (ICSOFT 2008), Porto, Portugal. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:15669)

Wood, Stephen K. and Akehurst, David H. and Howells, Gareth and McDonald-Maier, Klaus D. (2008) Array OL Descriptions of Repetitive Structures in VHDL. In: Schieferdecker, Ina and Hartman, Alan, 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14772)

Akehurst, David H., Zschaler, S, Howells, Gareth (2008) OCL: Modularising the Language. In: Margaria, T and Padberg, J. and Taentzer, G., eds. Electronic Communications of the EASST. Electronic Communications of the EASST , 9. pp. 176-181. Technische Universität Berlin, Berlin, Germany (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:6296)

Akehurst, David H., Howells, Gareth, Scheidgen, Markus, McDonald-Maier, Klaus D. (2008) C# 3.0 Makes OCL Redundant! Electronic Communications of the EASST, 9 . pp. 1-8. ISSN 1863-2122. (doi:10.14279/tuj.eceasst.9.103) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:15473)

Akehurst, David H., Howells, Gareth, Zschaler, S (2008) OCL: Modularising the Language. Electronic Communications of the EASST, 9 . pp. 1-20. ISSN 1863-2122. (doi:10.14279/tuj.eceasst.9.100.95) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:15672)

Akehurst, David H. and Uzenkov, Oleg and Howells, Gareth and McDonald-Maier, Klaus D. and Bordbar, Behzad (2007) Compiling UML State Diagrams into WHDL: An Experiment in using Model Driven Development. CiteSeer. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:6046)

Wood, Stephen K., Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus 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), Barcelona, Spain. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:6160)

Akehurst, David H., Wood, Stephen K., Howells, Gareth, McDonald-Maier, Klaus 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), Barcelona, Spain. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:6455)

Bordbar, Behzad and Howells, Gareth and Evans, Michael J. and Staikopoulos, Athanasios (2007) Model Transformation from OWL-S to BPEL via SiTra. In: Akehurst, David H. and Vogel, Régis and Paige, Richard F., eds. Model Driven Architecture- Foundations and Applications Third European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 43-58. ISBN 978-3-540-72900-6. E-ISBN 978-3-540-72901-3. (doi:10.1007/978-3-540-72901-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:6166)

Akehurst, David H., Howells, Gareth, Scheidgen, Markus, McDonald-Maier, Klaus 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). . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:6009)

Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus D. (2006) Implementing Associations: UML 2.0 to Java 5. Journal of Software and Systems Modeling, 6 (1). pp. 3-35. ISSN 1619-1366. (doi:10.1007/s10270-006-0020-1) (KAR id:475)

Akehurst, David H., Boardbar, Behzad, Evans, Michael J., Howells, Gareth, McDonald-Maier, Klaus D. (2006) SiTra: Simple Transformations in Java. In: Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science , 4199. pp. 351-364. Springer-Verlag ISBN 978-3-540-45772-5. (doi:10.1007/11880240_25) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:9991)

Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:10077)

Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:8905)

Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:8962)

Akehurst, David H. (2004) Relations in OCL. In: Workshop OCL and Model Driven Engineering. . , Lisbon, Portugal (KAR id:14072)

Akehurst, David 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). . , Monterey, California (KAR id:14084)

Steen, Maarten and Akehurst, David 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, 2004. IEEE, pp. 201-211. ISBN 0-7695-2214-9. (doi:10.1109/EDOC.2004.1342516) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14091)

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

Akehurst, David H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university (KAR id:14114)

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

Akehurst, David H., Waters, A. Gill, Derrick, John (2004) A Viewpoints Approach to Designing Group Based Applications. In: Unger, H., ed. Design, Analysis and Simulation of Distributed Systems 2004. Advanced Simulation Technologies Conference . pp. 83-93. , Arlington, Virginia (KAR id:14187)

Akehurst, David H., Derrick, John, Waters, A. Gill (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, 19-21 Nov 2003, Paris, France. (KAR id:13884)

Akehurst, David H. and Linington, Peter F. and Patrascoiu, Octavian (2003) OCL 2.0: Implementing the Standard. Technical report. University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13888)

Akehurst, David H., Patrascoiu, Octavian (2003) OCL: Implementing the Standard. In: OCL2.0-''Industry standard or scientific playground?'' - Proceedings of the UML'03 workshop. . Electronic Notes in Theoretical Computer Science (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13887)

Akehurst, David H., 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 currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13885)

Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Addressing Computational Viewpoint Design. In: Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings. IEEE, pp. 147-158. ISBN 0-7695-1994-6. (doi:10.1109/EDOC.2003.1233845) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13919)

Akehurst, David H., Kent, Stuart, 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. (doi:10.1007/s10270-003-0032-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13871)

Akehurst, David and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany. ISBN 978-3-540-20491-6. E-ISBN 978-3-540-39958-2. (doi:10.1007/978-3-540-39958-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14014)

Akehurst, David H., Bordbar, Behzad, Derrick, John, Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds. Procedings of the 7th Cabernet Radicals Workshop. . (KAR id:13718)

Derrick, John, Akehurst, David H., Boiten, Eerke Albert (2002) A framework for UML consistency. In: Kuzniarz, L. and Reggio, G. and Sourrouille, J.L. and Huzar, Z., eds. UML 2002 Workshop on Consistency Problems in UML-based Software Development. . pp. 30-45. (KAR id:13715)

Akehurst, David H. and Kent, Stuart (2002) A Relational Approach to Defining Transformations in a Metamodel. In: Jezequel, Jean-Marc and Hussmann, Heinrich, eds. ≪UML≫ 2002 — The Unified Modeling Language Model Engineering, Concepts, and Tools 5th International Conference Dresden. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 243-258. ISBN 978-3-540-44254-7. E-ISBN 978-3-540-45800-5. (doi:10.1007/3-540-45800-X_20) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13716)

Akehurst, David H., Bordbar, Behzad, Rodgers, Peter, Dalgliesh, N.T.G. (2002) Automatic Normalisation via Metamodelling. In: ASE 2002 Workshop on Declarative Meta Programming to Support Software Development. . (KAR id:13748)

Akehurst, David H. and Bordbar, Behzad (2001) On Querying UML data models with OCL. In: Gogolla, Martin and Kobryn, Cris, eds. ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 91-103. ISBN 978-3-540-42667-7. E-ISBN 978-3-540-45441-0. (doi:10.1007/3-540-45441-1_8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13533)

Waters, A. Gill, Linington, Peter F., Akehurst, David H., Utton, Peter, Martin, Gino (2001) Permabase: predicting the performance of distributed systems at the design stage. IEE Proceedings: Software, 148 (4). pp. 113-121. ISSN 1462-5970. (doi:10.1049/ip-sen:20010553) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13574)

Akehurst, David H. and Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report. n/a (KAR id:21927)

Akehurst, David H. (2000) Model Translation: A UML-based specification technique and active implementation approach. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent. (doi:10.22024/unikent/01.02.21926) (KAR id:21926)

Akehurst, David H. (2000) An 00 visual language definition approach supporting multiple views. In: Proceeding 2000 IEEE International Symposium on Visual Languages. IEEE Computer Society Workshop on Visual Langauages . IEEE, pp. 57-58. ISBN 0-7695-0840-5. (doi:10.1109/VL.2000.874350) (KAR id:16043)

Akehurst, David H., Waters, A. Gill, Utton, Peter, Martin, Gino (1999) Predictive Performance Analysis for Distributed Systems - PERMABASE position. In: One Day Workshop on Software Performance Prediction extracted from Designs. . , Heriot-Watt University, Edinburgh (KAR id:21752)

Akehurst, David H., Waters, A. Gill (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. . (KAR id:21744)

Akehurst, David H. and Waters, A. Gill (1999) UML specification of distributed system environments. Technical report. n/a (KAR id:21830)

Utton, Peter and Martin, Gino and Akehurst, David H. and Waters, A. Gill (1999) Performance analysis of object-oriented designs for distributed systems. Technical report. n/a (KAR id:21863)

Waters, A. Gill, Linington, Peter F., Akehurst, David H., Symes, A. (1997) Communications software performance prediction. In: UNSPECIFIED. (KAR id:21479)

Akehurst, David H., Linington, Peter F., Symes, A.J., Waters, A. Gill (1996) The Effects of ABR Traffic on CBR Traffic. In: UNSPECIFIED. (KAR id:21354)

This list was generated on Fri Apr 26 19:18:38 2024 BST.