SensoLab group

TitleSensoLab group

Latest research outputs

Sort by Date Title
A pattern based approach to defining translations between languages.
Maskeri, G., Willans, J., Clark, T., Evans, A., Kent, S. and Sammut, P. 2002. A pattern based approach to defining translations between languages. Fourth Workshop on Rigorous Object-Oriented Methods, ROOM 4. King's College, London Mar 2002

Conference paper

Patterns for renaming and stamping out object-oriented models.
Clark, T., Evans, A. and Kent, S. 2002. Patterns for renaming and stamping out object-oriented models. International Conference on Software Engineering Research and Practice, SERP 2002. Las Vagas, Nevada, USA 2002

Conference paper

Using icon-derived technologies to drive model transformations.
Tratt, L. and Clark, T. 2003. Using icon-derived technologies to drive model transformations. Workshop in Software Model Engineering (WiSME) 2003. San Francisco Oct 2003

Conference paper

An eXecutable metamodelling facility for domain specific language design.
Clark, T., Evans, A., Sammut, P. and Willans, J. 2004. An eXecutable metamodelling facility for domain specific language design. The 4th OOPSLA Workshop on domain-specific modeling. Vancouver 24 - 28 Oct 2004

Conference paper

Aspect-oriented metamodelling.
Clark, T., Evans, A. and Kent, S. 2003. Aspect-oriented metamodelling. Oxford University Press (OUP).

Conference paper

MDA-driven development of standard-compliant OSS components: the OSS/J inventory case-study.
Georgalas, N., Azmoodeh, M., Clark, T., Evans, A., Sammut, P. and Willans, J. 2004. MDA-driven development of standard-compliant OSS components: the OSS/J inventory case-study. Second European Workshop on Model Driven Architecture (MDA) with an emphasis on methodologies and transformations. Canterbury, England 07 - 08 Sep 2004

Conference paper

A domain specific language for interactive applications.
Clark, T. 2007. A domain specific language for interactive applications. TOOLS EUROPE 2007: Object, Models, Components and Patterns. Zurich, Switzerland 24 - 27 Jun 2007

Conference paper

A semantic framework for object-oriented development.
Clark, T. 1999. A semantic framework for object-oriented development. University of Bradford.

Technical report

Proving properties about programs which share.
Clark, T. 1997. Proving properties about programs which share. University of Bradford.

Technical report

A semantics for object-oriented design notations.
Clark, T. 1999. A semantics for object-oriented design notations. University of Bradford.

Technical report

EBG: a lazy functional programming language implemented on the Java virtual machine.
Clark, T. 1999. EBG: a lazy functional programming language implemented on the Java virtual machine. University of Bradford.

Technical report

Specification and implementation of a multi-agent calculus based on higher-order functions.
Clark, T. 1999. Specification and implementation of a multi-agent calculus based on higher-order functions. University of Bradford.

Technical report

Implementation of lazy agents in the functional language EBG.
Clark, T. 1999. Implementation of lazy agents in the functional language EBG. University of Bradford.

Technical report

A basic model of KBS software.
Clark, T. 1993. A basic model of KBS software. GEC-Marconi Research.

Technical report

Metaclasses and reflection in smalltalk.
Clark, T. 1997. Metaclasses and reflection in smalltalk. University of Bradford.

Technical report

Transforming sequences using threaded morphisms.
Clark, T. 1997. Transforming sequences using threaded morphisms. University of Bradford.

Technical report

A pattern based model driven approach to model transformations.
Appukuttan, B., Clark, T., Reddy, S., Tratt, L. and Venkatesh, R. 2003. A pattern based model driven approach to model transformations. in: Evans, A., Sammut, P. and Willans, J. (ed.) Metamodelling for MDA 2003: First International Workshop York, UK, November 2003: proceedings. York University of York. pp. 110-128

Book chapter

A model driven approach to building implementable model transformations.
Appukuttan, B., Clark, T., Reddy, S., Tratt, L. and Venkatesh, R. 2003. A model driven approach to building implementable model transformations. Workshop in Software Model Engineering (WiSME) 2003. San Francisco Oct 2003

Conference paper

Model transformations in converge.
Tratt, L. and Clark, T. 2003. Model transformations in converge. 2nd Workshop in Software Model Engineering (WiSME 2003). San Francisco Oct 2003

Conference paper

Enhancing the template mechanism.
Tratt, L. and Clark, T. 2002. Enhancing the template mechanism. 1st Workshop in Software Model Engineering (WiSME 2002). Dresden 2002

Conference paper

Revised submission for MOF 2.0 query / views / transformations RFP.
Appukuttan, B., Clark, T., Tratt, L., Reddy, S., Venkatesh, R., Sammut, P., Evans, A., Sammut, P. and Willans, J. 2003. Revised submission for MOF 2.0 query / views / transformations RFP. Object Management Group.

Technical report

Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01).
Appukuttan, B., Clark, T., Evans, A., Maskeri, G., Sammut, P., Tratt, L. and Willans, J. 2002. Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01). Object Management Group.

Working paper

A lazy non-deterministic functional language.
Clark, T. 1995. A lazy non-deterministic functional language. University of Bradford.

Technical report

ROO - a model for object-oriented reuse.
Clark, T. 1997. ROO - a model for object-oriented reuse. University of Bradford.

Technical report

Pattern recognition of noisy sequences of behavioural events using functional combinators.
Clark, T. 1994. Pattern recognition of noisy sequences of behavioural events using functional combinators. The Computer Journal. 37 (5), pp. 385-398. https://doi.org/10.1093/comjnl/37.5.385

Article

Object-oriented refinement and proof using behaviour functions.
Clark, T. 2000. Object-oriented refinement and proof using behaviour functions. Rigorous Object-Oriented Methods. York, UK 17 Jan 2000

Conference paper

Typechecking UML static models.
Clark, T. 1999. Typechecking UML static models. in: «UML»’99 — The Unified Modeling Language Springer Berlin. Heidelberg.

Book chapter

The metamodelling language calculus: foundation semantics for UML.
Clark, T., Evans, A. and Kent, S. 2001. The metamodelling language calculus: foundation semantics for UML. in: Fundamental approaches to software engineering. Springer Berlin. Heidelberg. pp. 17-31

Book chapter

A metamodel for package extension with renaming.
Clark, T., Evans, A. and Kent, S. 2002. A metamodel for package extension with renaming. in: «UML» 2002 — the Unified Modeling Language. Springer Berlin. Heidelberg. pp. 305-320

Book chapter

Transformation language design: a metamodelling foundation.
Clark, T., Evans, A., Sammut, P. and Willans, J. 2004. Transformation language design: a metamodelling foundation. in: Graph transformations. Springer Berlin. Heidelberg. pp. 223-226

Book chapter

Object-oriented theories for model driven architecture.
Clark, T., Evans, A. and France, R. 2002. Object-oriented theories for model driven architecture. in: Advances in object-oriented information systems. Springer Berlin. Heidelberg. pp. 283-292

Book chapter

First class grammars for language oriented programming.
Clark, T. 2009. First class grammars for language oriented programming. The 13th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2009. Orlando, Florida, USA

Conference paper

Stories about calculations: remembering Peter Landin.
Clark, T. 2010. Stories about calculations: remembering Peter Landin. Higher-Order and Symbolic Computation. 22 (4), pp. 331-332. https://doi.org/10.1007/s10990-010-9058-4

Article

Model-driven development: guest editors' introduction. IEEE Software, 20 (5) . pp. 14-18. ISSN 0740-7459
Mellor, S., Clark, T. and Futagami, T. 2003. Model-driven development: guest editors' introduction. IEEE Software, 20 (5) . pp. 14-18. ISSN 0740-7459. IEEE Computer Society.

Edited Journal

A meta-model facility for a family of UML constraint languages.
Clark, T., Evans, A. and Kent, S. 2002. A meta-model facility for a family of UML constraint languages. Lecture Notes in Computer Science. 2263, pp. 440-443. https://doi.org/10.1007/3-540-45669-4_2

Article

Object modeling with the OCL: the rationale behind the object constraint language.
Clark, T. and Warner, J. 2002. Object modeling with the OCL: the rationale behind the object constraint language. Berlin Springer.

Book

Superlanguages: developing languages and applications with XMF.
Clark, T., Sammut, P. and Willans, J. 2008. Superlanguages: developing languages and applications with XMF. Sheffield Ceteva.

Book

Applied metamodelling: a foundation for language driven development.
Clark, T., Sammut, P. and Willans, J. 2008. Applied metamodelling: a foundation for language driven development. Sheffield Ceteva.

Book

A pattern based approach to defining the dynamic infrastructure of UML 2.0.
Appukuttan, B., Clark, T., Evans, A., Maskeri, G., Sammut, P., Tratt, L. and Willans, J. 2002. A pattern based approach to defining the dynamic infrastructure of UML 2.0. Fourth workshop on Rigorous Object Oriented Methods,. University College, London Mar 2002

Conference paper

A model driven approach to model transformations.
Appukuttan, B., Clark, T., Reddy, S., Tratt, L. and Venkatesh, R. 2003. A model driven approach to model transformations. Workshop on Model Driven Architecture: Foundations and Applications. University of Twente Enschede, The Netherlands 26 - 27 Jun 2003

Conference paper

«  Previous
Next  »
  • 0
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month