Research Group on Development of Intelligent Environments

TitleResearch Group on Development of Intelligent Environments
CampusLondon

Latest research outputs

Sort by Date Title
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

Modelling generalization and other class-to-parent relationships.
Tratt, L., Clark, T. and Evans, A. 2002. Modelling generalization and other class-to-parent relationships. Kings College. https://doi.org/TR-02-05

Technical report

Issues surrounding model consistency and QVT.
Tratt, L. and Clark, T. 2003. Issues surrounding model consistency and QVT. King's College London, Department of Computer Science.. https://doi.org/TR-03-08

Technical report

Beyond annotations: a proposal for extensible java (XJ).
Clark, T., Sammut, P. and Willans, J. 2008. Beyond annotations: a proposal for extensible java (XJ). IEEE. pp. 228-238 https://doi.org/10.1109/SCAM.2008.34

Conference paper

Model based functional testing using pattern directed filmstrips.
Clark, T. 2009. Model based functional testing using pattern directed filmstrips. Fourth International Workshop on the Automation of Software Test. Vancouver May 2009

Conference paper

Language factories
Clark, T. and Tratt, L. 2009. Language factories. Asscociation for Computing Machinery. pp. 949-956 https://doi.org/10.1145/1639950.1640062

Conference paper

A case study on model driven data integration for data centric software development.
Hyensook, K., Zhang, Y., Oussena, S. and Clark, T. 2009. A case study on model driven data integration for data centric software development. ACM first international workshop on Data-intensive software management and mining. Hong Kong 06 Nov 2009

Conference paper

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