SensoLab group

TitleSensoLab group

Latest research outputs

Sort by Date Title
Meta-packages: painless domain specific languages.
Clark, T. 2008. Meta-packages: painless domain specific languages. Ceteva.

Technical report

Processing XML for domain specific languages.
Clark, T. 2008. Processing XML for domain specific languages. Sheffield Ceteva.

Technical report

The generation of animated sequences from state transition systems.
Clark, T. and Palmer, I. 1995. The generation of animated sequences from state transition systems. Fifth Eurographics workshop on 'Programming Paradigms in Graphics'. Maastricht, The Netherlands 02 - 03 Sep 1995

Conference paper

Foundations of the Unified Modeling Language.
Clark, T. and Evans, A. 1997. Foundations of the Unified Modeling Language. Duke, D. and Evans, A. (ed.) Springer.

Conference paper

Formal refinement and proof of a small java program.
Clark, T. 1999. Formal refinement and proof of a small java program. 13th European Conference on Object-Oriented Programming (ECOOP). University of Lisbon, Portugal 14 - 18 Jun 1999

Conference paper

Using profiles to re-architect the UML.
Clark, T., Evans, A. and Kent, S. 2000. Using profiles to re-architect the UML. 14th European Conference on Object-Oriented Programming (ECOOP). Sophia Antipolis and Cannes, France 12 - 16 Jun 2000

Conference paper

Analysis of cyclic delay diversity on DVB-H systems over spatially correlated channel
Zhang, Y., Cosmas, J., Loo, J., Bard, M. and Di Bari, R. 2007. Analysis of cyclic delay diversity on DVB-H systems over spatially correlated channel. IEEE Transactions on Broadcasting. 53 (1), pp. 247-254. https://doi.org/10.1109/TBC.2007.891702

Article

The MMF approach to engineering object-oriented design languages.
Clark, T., Evans, A., Kent, S. and Sammut, P. 2001. The MMF approach to engineering object-oriented design languages. First Workshop on Language Descriptions, Tools and Applications (LDTA 2001). Genoa Apr 2001

Conference paper

Engineering modelling languages: a precise meta-modelling approach.
Clark, T., Evans, A. and Kent, S. 2002. Engineering modelling languages: a precise meta-modelling approach. in: Kutsche, R. and Weber, H. (ed.) Fundamental approaches to software engineering. Springer.

Book chapter

An action semantics for MML.
Alvarez, J., Clark, T., Evans, A. and Sammut, P. 2001. An action semantics for MML. Fourth International Conference on the Unified Modeling Language (UML 2001) on "Modeling Languages, Concepts and Tools". Toronto, Ontario, Canada 01 - 05 Oct 2001

Conference paper

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

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