SensoLab group
| Title | SensoLab group |
|---|
Latest research outputs
Sort by Date Title
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-226Book 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-292Book 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, USAConference 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-4Article
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_2Article
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 2002Conference 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 2003Conference 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-05Technical 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-08Technical 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.34Conference 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 2009Conference paper
Language factories
Clark, T. and Tratt, L. 2009. Language factories. Asscociation for Computing Machinery. pp. 949-956 https://doi.org/10.1145/1639950.1640062Conference 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 2009Conference paper
A MOP based DSL for testing Java programs using OCL.
Clark, T. 2009. A MOP based DSL for testing Java programs using OCL. Springer.Conference paper
Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages.
Bettin, J., Cook, W., Clark, T. and Kelly, S. 2009. Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. OOPSLA 09. Florida pp. 709-710Conference paper
The secret santa problem.
Liberti, L. and Raimondi, F. 2008. The secret santa problem. Lecture Notes in Computer Science. 5034, pp. 271-279. https://doi.org/10.1007/978-3-540-68880-8_26Article
Efficient online monitoring of web-service SLAs
Raimondi, F., Skene, J. and Emmerich, W. 2008. Efficient online monitoring of web-service SLAs. in: Harrold, J. and Murphy, G. (ed.) Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering Association for computing machinery. pp. 170-180Book chapter
Algorithms for efficient symbolic detection of faults in context-aware applications.
Sama, M., Raimondi, F., Rosenblum, D. and Emmerich, W. 2008. Algorithms for efficient symbolic detection of faults in context-aware applications. in: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers. pp. 1-8Book chapter
Service-level agreements for electronic services
Skene, J., Raimondi, F. and Emmerich, W. 2010. Service-level agreements for electronic services. IEEE Transactions on Software Engineering. 36 (2), pp. 288-304. https://doi.org/10.1109/TSE.2009.55Article
PDVer, a tool to verify PDDL planning domains.
Raimondi, F., Pecheur, C. and Brat, G. 2009. PDVer, a tool to verify PDDL planning domains. ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems. Thessaloniki, Greece 20 Sep 2009Conference paper
The Anonymous subgraph problem.
Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2009. The Anonymous subgraph problem. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 269-274Conference paper
Combinatorial optimization based recommender systems.
Roda, F., Liberti, L. and Raimondi, F. 2009. Combinatorial optimization based recommender systems. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 175-179Conference paper
A model to design and verify context-aware adaptive service composition.
Cubo, J., Sama, M., Raimondi, F. and Rosenblum, D. 2009. A model to design and verify context-aware adaptive service composition. 6th IEEE International Conference on Services Computing (SCC 2009). Bangalore 21 - 25 Sep 2009Conference paper
A formal analysis of requirements-based testing
Pecheur, C., Raimondi, F. and Brat, G. 2009. A formal analysis of requirements-based testing. in: Rothermel, G. and Dillon, L. (ed.) Proceedings of the Eighteenth International Symposium on Software Testing and Analysis Association for computing machinery. pp. 47-56Book chapter
Applying component concepts to service oriented design: a case study.
Barn, B. and Oussena, S. 2007. Applying component concepts to service oriented design: a case study. Sinderen, M. (ed.) Institute for Systems and Technologies of Information, Control and Communication. pp. 31-41Conference paper
Change blindness and situation awareness in a police C2 environment.
Mancero, G., Wong, B. and Loomes, M. 2009. Change blindness and situation awareness in a police C2 environment. in: Norros, L. (ed.) ECCE 2009 - European Conference on Cognitive Ergonomics: designing beyond the product: understanding activity and user experience in ubiquitous environments. Vuorimiehentie VTT Technical Research Centre of Finland.Book chapter
A local search heuristic for bounded-degree minimum spanning trees
Zahrani, M., Loomes, M., Malcolm, J. and Albrecht, A. 2008. A local search heuristic for bounded-degree minimum spanning trees. Engineering Optimization. 40 (12), pp. 1115-1135. https://doi.org/10.1080/03052150802317440Article
Reactive service location in IEEE WAVE
Cruz, A., Boutaleb, T., Nguyen, H. and Tianfield, H. 2010. Reactive service location in IEEE WAVE. IEEE. pp. 534-540 https://doi.org/10.1109/WIMOB.2010.5645016Conference paper
The design of re-writeable ultra-high density scanning-probe phase-change memories
Wright, C., Wang, L., Shah, P., Aziz, M., Varesi, E., Bez, R., Moroni, M. and Cazzaniga, F. 2010. The design of re-writeable ultra-high density scanning-probe phase-change memories. IEEE Transactions on Nanotechnology. https://doi.org/10.1109/TNANO.2010.2089638Article
A domain specific language for contextual design
Barn, B. and Clark, T. 2010. A domain specific language for contextual design. Bernhaupt, R., Forbrig, P., Gulliksen, J. and Lárusdóttir, M. (ed.) 3rd International Conference on Human-Centred Software Engineering (HCSE 2010). Reykjavik, Iceland 14 - 15 Oct 2010 Berlin, Heidelberg. Springer. https://doi.org/10.1007/978-3-642-16488-0_5Conference paper
Security models for heterogeneous networking
Mapp, G., Aiash, M., Lasebae, A. and Phan, R. 2010. Security models for heterogeneous networking. Katsikas, S. (ed.) 4th International Conference on Security and Cryptography. Athens, Greece 26 - 28 Jul 2010 IEEE. pp. 1-4Conference paper
Automatic generation of data merging program codes
Hyensook, K., Oussena, S., Zhang, Y. and Clark, T. 2010. Automatic generation of data merging program codes. 5th International Conference on Software and data Technologies (ICSOFT 2010). Athens, Greece 22 - 24 Jul 2010 SciTePress. https://doi.org/10.5220/0003008301790186Conference paper
Using data mining to improve student retention in HE: a case study
Zhang, Y., Oussena, S., Clark, T. and Hyensook, K. 2010. Using data mining to improve student retention in HE: a case study. 12th International Conference on Enterprise Information Systems. PortugalConference paper
BPMN, toolsets, and methodology: a case study of business process management in higher education
Barn, B. and Oussena, S. 2009. BPMN, toolsets, and methodology: a case study of business process management in higher education. in: Papadopoulos, G., Wojtkowski, W., Wojtkowski, G., Wrycza, S. and Zupancic, J. (ed.) Information systems development: Towards a service provision society Boston, MA Springer. pp. 685-693Book chapter
3D-in-2D Displays for ATC.
Wong, B., Rozzi, S., Boccalatte, A., Gaukrodger, S., Amaldi, P., Fields, B., Loomes, M. and Martin, P. 2007. 3D-in-2D Displays for ATC. in: Brochard, M. and Jurgens, M. (ed.) 6th EUROCONTROL innovative research workshop & exhibition. Eurocontrol. pp. 47-62Book chapter
What ELSE? Regulation and compliance in medical imaging and medical informatics
Duquenoy, P., George, C. and Solomonides, A. 2008. What ELSE? Regulation and compliance in medical imaging and medical informatics. in: Gao, X., Müller, H., Loomes, M., Comley, R. and Luo, S. (ed.) Medical Imaging and Informatics: 2nd International Conference, MIMI 2007. Berlin Springer.Book chapter
0
total views0
total downloads0
views this month0
downloads this month