Research Group on Development of Intelligent Environments
| Title | Research Group on Development of Intelligent Environments |
|---|---|
| Campus | London |
Latest research outputs
Sort by Date Title
Multiparadigm programming: guest editors' introduction. IEEE Software, 27 (5) . pp. 2-7. ISSN 0740-7459
Wampler, D. and Clark, T. 2010. Multiparadigm programming: guest editors' introduction. IEEE Software, 27 (5) . pp. 2-7. ISSN 0740-7459. IEEE.Edited Journal
Multiparadigm programming in industry: a discussion with Neal Ford and Brian Goetz.
Wampler, D., Clark, T., Ford, N. and Goetz, B. 2010. Multiparadigm programming in industry: a discussion with Neal Ford and Brian Goetz. IEEE Software. 27 (5), pp. 61-64. https://doi.org/10.1109/MS.2010.121Article
Sense-making in visual analytics: processes and challenges
Attfield, S., Hara, S. and Wong, B. 2010. Sense-making in visual analytics: processes and challenges. EuroVAST 2010: The 1st European Symposium on Visual Analytics Science and Technology.. Bordeaux, France 08 Jun 2010Conference paper
3D assistive technologies and advantageous themes for collaboration and blended learning of users with disabilities
Dafoulas, G. and Saleeb, N. 2011. 3D assistive technologies and advantageous themes for collaboration and blended learning of users with disabilities. in: Theng, L. (ed.) Assistive and Augmentive Communication for the Disabled: Intelligent Technologies for Communication, Learning and Teaching IGI Global. pp. 25-69Book chapter
Living without a safety net in an Intelligent Environment
Augusto, J., McCullagh, P. and Augusto-Walkden, J. 2011. Living without a safety net in an Intelligent Environment. ICST Transactions on Ambient Systems. 11 (10-12). https://doi.org/10.4108/trans.amsys.2011.e6Article
Revisiting Naur's programming as theory building for Enterprise Architecture modelling
Barn, B. and Clark, T. 2011. Revisiting Naur's programming as theory building for Enterprise Architecture modelling. Mouratidis, H. and Rolland, C. (ed.) CAiSE: 23rd International Conference on Advanced Information Systems Engineering. University of East London, UK 20 - 24 Jun 2011 Springer. pp. 229-236 https://doi.org/10.1007/978-3-642-21640-4_18Conference paper
Re-thinking software engineering approaches: a critical reflection on theory building
Barn, B. and Clark, T. 2011. Re-thinking software engineering approaches: a critical reflection on theory building. Cuaresma, M., Shishkov, B. and Cordeiro, J. (ed.) ICSOFT 2011: 6th International Conference on Software and Database Technologies. Seville, Spain 18 - 21 Jul 2011 SCITEPRESS - Science and Technology Publications. pp. 59-64 https://doi.org/10.5220/0003610700590064Conference paper
LEAP: a precise lightweight framework for enterprise architecture
Clark, T., Barn, B. and Oussena, S. 2011. LEAP: a precise lightweight framework for enterprise architecture. 4th India Software Engineering Conference. Thiruvananthapuram, India 23 - 26 Feb 2011 Association for Computing Machinery (ACM). https://doi.org/10.1145/1953355.1953366Conference paper
Language driven development and MDA.
Clark, T., Evans, A., Sammut, P. and Willans, J. 2004. Language driven development and MDA. MDA Journal.Article
Modeling language transformations.
Clark, T., Evans, A., Maskeri, G., Sammut, P. and Willans, J. 2003. Modeling language transformations. L'Objet. 9 (4), pp. 31-51. https://doi.org/10.3166/objet.9.4.31-51Article
Formal basis for the refinement of rule based transition systems.
Clark, T. 1996. Formal basis for the refinement of rule based transition systems. Journal of Functional Programming. 6 (2), pp. 329-354. https://doi.org/10.1017/S0956796800001702Article
A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach.
Clark, T., Evans, A., Kent, S., Brodsky, S. and Cook, S. 2000. A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach. pUML Group and IBM.Technical report
A translational semantics for UML.
Clark, T. and D'Souza, D. 2001. A translational semantics for UML. Kings College.Technical report
A programmers guide to MMT.
Clark, T., Evans, A. and Kent, S. 2002. A programmers guide to MMT. Kings College.Technical report
Defining OCL expressions using templates.
Willans, J., Sammut, P., Maskeri, G., Evans, A. and Clark, T. 2002. Defining OCL expressions using templates. Kings College.Technical report
Unambiguous UML (2U) submission to UML 2 infrastructure RFP.
Clark, T., Evans, A. and Kent, S. 2002. Unambiguous UML (2U) submission to UML 2 infrastructure RFP. Object Management Group, Inc. (OMG).Technical report
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 1995Conference 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 1999Conference 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 2000Conference paper
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 2001Conference 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 2001Conference 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 2002Conference 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 2002Conference 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 2003Conference 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 2004Conference 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 2004Conference 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 2007Conference 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
0
total views0
total downloads0
views this month0
downloads this month