Items where Research Area is "Engineering and Information Sciences [obs.] > Software Process, Practice & Design [old]"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Authors | Item Type | No Grouping
Number of items at this level: 229.

Whittle, Jon and Clark, Tony and Kuhne, Thomas, eds. (2011) Model Driven Engineering Languages and Systems. 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Lecture Notes in Computer Science, 6981 . Springer. ISBN 9783642244841

Abate, Pietro and Di Cosmo, Roberto and Boender, Jaap and Zacchiroli, Stefano (2009) Strong dependencies between software components. In: 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). IEEE, 89 -99. ISBN 9781424448425

Abeysinghe, Geetha and Bavan, A. S. and Rajan, A. V. S. (2004) Requirement specification for distributed applications using diagrammatic notations. In: Dasgupta, A. R. and Iyengar, S. S. and Bhatt, Haresh S., (eds.) Twelfth international conference on advances in computing & communications, ADCOM-2004: 15-18 December, 2004. Allied Publishers, New Delhi, pp. 527-535. ISBN 8177647172

Aiash, Mahdi and Mapp, Glenford E. and Phan, Raphael and Lasebae, Aboubaker and Loo, Jonathan (2012) A formally verified device authentication protocol using Casper/FDR. In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012), 25-27 June 2012, Liverpool, UK. (In Press)

Alzarouni, Khalid and Clark, David and Tratt, Laurence (2010) Semantic malware detection. Technical Report. King's College London, Department of Computer Science..

Androutsopoulos, Kelly and Clark, David and Harman, Mark and Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743

Androutsopoulos, Kelly and Gold, Nicolas and Harman, Mark and Li, Zheng and Tratt, Laurence (2009) A theoretical and empirical study of EFSM dependence. Software Maintenance, 2009. ICSM 2009. IEEE International Conference . pp. 287-296. ISSN 1063-6773

Appukuttan, Biju K. and Clark, Tony and Evans, Andy and Maskeri, Girish and Sammut, Paul and Tratt, Laurence and Willans, James (2002) A pattern based approach to defining the dynamic infrastructure of UML 2.0. In: Fourth workshop on Rigorous Object Oriented Methods,, March 2002, University College, London.

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to building implementable model transformations. In: Workshop in Software Model Engineering (WiSME) 2003, October 2003, San Francisco.

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to model transformations. In: Workshop on Model Driven Architecture: Foundations and Applications, 26-27 June 2003, University of Twente Enschede, The Netherlands.

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A pattern based model driven approach to model transformations. In: Evans, Andy and Sammut, Paul and Willans, James S., (eds.) Metamodelling for MDA 2003: First International Workshop York, UK, November 2003: proceedings. University of York, York, pp. 110-128.

Appukuttan, Biju K. and Clark, Tony and Tratt, Laurence and Reddy, Sreedhar and Venkatesh, R. and Sammut, Paul and Evans, Andy and Sammut, Paul and Willans, James (2003) Revised submission for MOF 2.0 query / views / transformations RFP. Technical Report. Object Management Group.

Attfield, Simon and Blandford, Ann (2010) Conceptual misfits in email-based current awareness interaction. Journal of Documentation, 67 (1). ISSN 0022-0418

Attfield, Simon and Blandford, Ann (2010) Discovery-led refinement in e-discovery investigations: sensemaking, cognitive ergonomics and system design. Artificial Intelligence and Law, 18 (4). pp. 387-412. ISSN 0924-8463

Attfield, Simon and Blandford, Ann (2009) Improving the cost structure of sensemaking: analysing user concepts to inform information systems design. Lecture Notes in Computer Science, 5726 . ISSN 0302-9743

Attfield, Simon and Blandford, Ann (2011) Making sense of digital footprints in team-based legal investigations. Human computer interaction, 26 (1-2). pp. 38-71. ISSN 0737-0024

Attfield, Simon and Blandford, Ann and Makri, Stephann (2010) Social and interactional practices for disseminating current awareness information in an organisational setting. Information Processing and Management, 46 (6). pp. 632-645. ISSN 0306-4573

Attfield, Simon and Hara, Sukhvinder and Wong, B. L. William (2010) Sense-making in visual analytics: processes and challenges. In: EuroVAST 2010: The 1st European Symposium on Visual Analytics Science and Technology., 8th June 2010, Bordeux, France. (Unpublished)

Attfield, Simon and Makri, Stephann and Kalbach, James and Blandford, Ann and De Gabrielle, Stephen and Edwards, Mark (2008) Prioritisation, resources and search terms: a study of decision-making at the virtual reference desk. Lecture Notes in Computer Science (5173). ISSN 0302-9743

Barn, Balbir and Dexter, Hilary (2007) An experiment with conversation theory as a candidate for a meta learning theory. In: Uskov, Vladimir, (ed.) CATE '07 Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education. ACTA Press, pp. 115-120. ISBN 9780889867000

Barn, Balbir and Oussena, Samia (2007) Applying component concepts to service oriented design: a case study. In: Sinderen, Marten van, (ed.) ACT4SOC 2007: Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Barcelona, Spain, July 22-25, 2007. Institute for Systems and Technologies of Information, Control and Communication, pp. 31-41. ISBN 9789898111081

Barn, Balbir and Oussena, Samia (2010) BPMN, toolsets, and methodology: a case study of business process management in higher education. In: Papadopoulos, George Angelos and Wojtkowski, Wita and Wojtkowski, Gregory and Wrycza, Stanislaw and Zupancic, Jose, (eds.) Information systems development: towards a service provision society. Springer , Boston, MA, pp. 685-693. ISBN 9780387848099

Barn, Balbir (2009) On the evaluation of reference models for software engineering practice. In: Proceedings of the 2nd India software engineering conference (ISEC 2009). ACM, pp. 111-116. ISBN 9781605584263

Barn, Balbir and Clark, Tony (2012) Goal based alignment of enterprise architectures. In: 7th International Conference on Software Paradigm Trends (ICSOFT 2012), 24 - 27 July, 2012, Rome, Italy.

Barn, Balbir and Clark, Tony (2011) Revisiting Naur's programming as theory building for Enterprise Architecture modelling. In: CAiSE: 23rd International Conference on Advanced Information Systems Engineering, 20-24 June, 2011, University of East London, UK.

Barn, Balbir and Clark, Tony and Hearne, Gary (2012) Business and ICT alignment in higher education: a case study in measuring maturity. In: 21st International Conference on Information Systems Development (ISD2012), 29 - 30 August, 2012, Prato, Italy.

Barn, Balbir and Clark, Tony and Oussena, Samia (2012) A model based approach to systems requirements for event driven enterprise architecture. In: 5th India Software Engineering Conference (ISEC 2012), 22 - 25 February, 2012, IIT Kanpur, India.

Bast, Wim and Murphree, Michael and Michael, Lawley and Duddy, Keith and Belaunde, Mariano and Griffin, Catherine and Sendall, Shane and Didier, Voitisiek and Steel, Jim and Sendall, Shane and Tratt, Laurence and Helsen, Simon and Venkatesh, R. and Blanc, Xavier (2005) MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. Project Report. Object Management Group.

Basu, Ron (2011) Managing project supply chains. Advances in Project Management . Gower, London. ISBN 9781409425151

Bavan, A. S. (2008) A parallel algorithm that enumerates all the cliques in an undirected graph. In: Sobh., Tarek , (ed.) Advances in computer and information sciences and engineering. Springer, Dordrecht. ISBN 9781402087400

Bavan, A. S. and Abeysinghe, Geetha (2005) On the specification and implementation of distributed systems using NMDS and LIPS. Information and software technology, 47 (11). pp. 721-734. ISSN 0950-5849

Bavan, A. S. and Abeysinghe, Geetha and Maye, R. (2003) Specification and modelling of distributed systems. In: D'Auriol, Brian J., (ed.) Proceedings of the international conference on communications in computing: CIC '2003. CSREA Press. ISBN 9781932415063

Bavan, A. S. and Ford, Martyn and Kalatzi, Melina (2000) Genomic and proteomic sequence recognition using a connectionist inference model. Journal of chemical technology and biotechnology, 75 (10). pp. 901-912. ISSN 0264-3413

Bavan, A. S. and Illingworth, E. (2000) On the design and implementation of reliable point-to-point asynchronous message passing system. In: The 10th International Conference on Computing and Information ICCI '2000., November 18-21, 2000, Kuwait. (Unpublished)

Bavan, A. S. and Illingworth, E. (2001) A language for implementing parallel and distributed systems using asynchronous point-to-pont communication. In: Mastorakis, Nikos E. and Nikolopoulos, Stavros D. , (ed.) Information processing and technology. Nova Science, New York. ISBN 1590331168

Bavan, A. S. and Illingworth, E. and Rajan, A. V. S. and Abeysinghe, Geetha (2007) Specification of asynchronous communicating systems (SACS). IADIS. ISBN 9789728924300

Berger, Martin and Tratt, Laurence (2010) Program logics for homogeneous meta-programming. In: 16th International Conference on Logic for programming Artificial Intelligence and Reasoning (LPAR-16), April 25-May 1, 2010, Dakar, Senegal.

Birchall, Alexander John and Rada, Roy (1995) The design of systems for learning and working in librarianship. [Digital artefact]

Bodirsky, Manuel and Dalmau, Victor and Martin, Barnaby and Pinsker, Michael (2010) Distance constraint satisfaction problems. In: 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), 23-27 August 2010, Brno, Czech Republic.

Bodirsky, Manuel and Hils, Martin and Martin, Barnaby (2010) On the scope of the universal-algebraic approach to constraint satisfaction. In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), 11-14 July 2010, Edinburgh.

Bodirsky, Manuel and Kara, Jan and Martin, Barnaby (2012) The complexity of surjective homomorphism problems - a survey. Discrete Applied Mathematics, 160 (12). pp. 1680-1690. ISSN 0166-218X

Boender, Jaap (2011) Efficient computation of dominance in component systems (short paper). In: Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science (7041). Springer, Berlin and Heidelberg, Germany, pp. 399-406. ISBN 9783642246890

Boender, Jaap (2007) Sound tools for package dependency management in free and open source software distributions. In: Feller, Joseph and Fitzgerald, Brian and Scacchi, Walt and Sillitti, Alberto, (eds.) Open source development, adoption and innovation: IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland. IFIP Advances in Information and Communication Technology (234). Springer, Berlin and Heidelberg, Germany, p. 391. ISBN 9780387724850

Bornat, Richard and Calcagno, Cristiano and Parkinson, Matthew and O'Hearn, Peter (2005) Permission accounting in separation logic. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '05), Long Beach, California, USA. Proceedings . pp. 259-270. ISSN 0362-1340

Bornat, Richard and Calcagno, Cristiano and Yang, Hongseok (2006) Variables as resources in separation logic. 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, UK. Proceedings in Electronic Notes in Theoretical Computer Science. Elsevier B.V., 155 . pp. 247-276. ISSN 1571-0661

Brodie, Lindsey and Woodman, Mark (2010) Using metrics within system requirements to express quality and estimate stakeholder value. Software Quality Journal . ISSN 0963-9314 (In Press)

Butler, Stephen A. and Staite, Edyta M. and Iles, Ray K. (2003) Reduction of bladder cancer cell growth in response to hCGb CTP37 vaccinated mouse serum. Oncology research, 14 (2). pp. 93-100. ISSN 0965-0407

Butterworth, Richard J. and Davis-Perkins, Veronica (2005) Assessing the roles that a small specialist library pPlays to guide the development of a hybrid digital library. In: 5th International Conference on Conceptions of Library and Information Science: CoLIS '05, Glasgow, UK. Proceedings. Springer Berlin, Heidelberg., pp. 200-211. ISBN 978-3-540-26178-0

Butterworth, Richard J. and Fields, Bob and Curzon, Paul and Davis-Perkins, Veronica (2005) A study into the effect of digitisation projects on the management and stability of historic photograph collections. In: 9th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2005), Vienna, Austria. Proceedings. Springer Berlin, Heidelberg., pp. 278-289. ISBN 3-540-28767-1

Buxton, Andrew and Hopkinson, Alan (2001) The CDS/ISIS for Windows handbook. UNESCO.

Bézivin, Jean and Rumpe, Bernhard and Schürr, Andy and Tratt, Laurence (2005) Model transformations in practice workshop. In: Bruel, Jean-Michel, (ed.) Satellite Events at the MoDELS 2005 Conference. Lecture notes in computer science (3844). Springer, pp. 120-127. ISBN 9783540317807

Cavanagh, Michael (2012) Second order project management. Advances in Project Management . Gower, London. ISBN 9781409410942

Chen, Hubie and Madelaine, Florent and Martin, Barnaby (2008) Quantified constraints and containment problems. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, PA.

Cheng, Xiaochun and Ma, Xiao-Qi (2005) Formal verification of the merchant registration phase of the SET protocol. International Journal of Automation and Computing, 2 (2). pp. 155-162. ISSN 1476-8186

Cheng, Zhaohui and Chen, Liqun and Smart, Nigel P. (2007) Identity-based key agreement protocols from pairings. International Journal of Information Security, 6 (4). pp. 213-241. ISSN 1615-5262

Clark, Tony and Barn, Balbir (2012) bCMS in LEAP. In: Comparing Modeling Approaches, 30 September 2012, Innsbruck, Austria. (Unpublished)

Clark, Tony and Barn, Balbir and Oussena, Samia (2011) LEAP: a precise lightweight framework for enterprise architecture. In: ISEC '11 proceedings of the 4th India Software Engineering Conference. Association for Computing Machinery. ISBN 9781450305594

Clark, Tony and Barn, Balbir and Oussena, Samia (2012) Simulating enterprise architecture models. Infosys Journal of Research, 10 (3). pp. 3-20.

Clark, Tony and Barn, Balbir and Oussena, Samia (2012) A method for enterprise architecture alignment. In: 24th International Conference on Advanced Information Systems Engineering (CAiSE'12), 25 - 29 June 2012, Gdańsk, Poland.

Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7). pp. 75-88. ISSN 1571-0661

Clark, Tony and Willans, James (2013) Software language engineering with XMF and XModeler. In: Mernik, Marjan, (ed.) Formal and practical aspects of domain-specific languages: recent developments. IGI Global, pp. 311-340. ISBN 9781466620926

Cleden, David (2009) Managing project uncertainty. Advances in Project Management . Gower, London. ISBN 9780566088407

Comley, Richard A. and Cheng, Zhaohui and Chen, Liqun and Ling, Li (2007) General and efficient Certificateless Public Key Encryption constructions. Pairing Based Cryptography, Lecture Notes in Computer Science, 2007 (4575). pp. 83-107. ISSN 978-3-540-73488-8

Comley, Richard A. and Vasiu, Luminita and Cheng, Zhaohui (2004) Remove key escrow from the identity-based encryption system. IFIP Eighteenth World Computer Congress, Information Technology, TC1 3rd International Conference on Theoretical Computer Science in the Era of Network and Mobile Computing, IFIP TCS2004, Toulouse, France. Proceedings., 3 (3). pp. 37-50. ISSN 1-4020-8140-5

Comley, Richard A. and Cheng, Zhaohui (2005) Attacks on an ISO/IEC 11770-2 key establishment protocol. International Journal of Network Security, 3 (3). pp. 290-295. ISSN 1816-353X

Dalcher, Darren (2008) Beyond agile project management: the way forward. Cutter IT Journal, 21 (5). pp. 28-34. ISSN 1522-7383

Dalcher, Darren (2003) Beyond normal failures: dynamic management of software projects. Technology Analysis and Strategic Management, 15 (4). pp. 421-439. ISSN 0953-7325

Dalcher, Darren (2006) Consilience for universal design: the emergence of a third culture. Universal Access in the Information Society, 5 (3). pp. 253-268. ISSN 1615-5289

Dalcher, Darren (2010) Discovering our own theories of project management. Project Manager Today, XXII (3). pp. 4-6. ISSN 1366-6851

Dalcher, Darren (2009) El exito en los proyectos de software: yendo mas alla del fracaso. Novatica (200). pp. 45-51. ISSN 0211-2124

Dalcher, Darren (2010) The LAS story: learning from failure. In: Turner, Rodney, (ed.) Perspectives on Projects. Routledge, London, pp. 296-322. ISBN 9780415993739

Dalcher, Darren (2009) Making sense of IS failures. In: Khosrow-Pour, Mehdi, (ed.) Encyclopaedia of information science and technology. Information Science, Hershey, pp. 2476-2483. ISBN 9781605660264

Dalcher, Darren (2009) Software project success: moving beyond failure. Upgrade: the European online magazine for the IT professional., 10 (5). pp. 42-50. ISSN 1684-5285

Dalcher, Darren (2010) The paradox of uncertainty: when less means more. Upgrade: the European online magazine for the IT professional., 11 (5). pp. 72-78. ISSN 1684-5285

Dalcher, Darren and Benediktsson, Oddur (2005) Estimating size in incremental software development projects. IEE Proceedings - Software, Institution of Engineering and Technology, 152 (6). pp. 253-259. ISSN 1462-5970

Dalcher, Darren and Fernandez-Sanz, Luis (2009) Improving quality in business processes, products and organisational systems. Upgrade: the European online magazine for the IT professional., X (5). pp. 2-5. ISSN 1684-5285

Dalcher, Darren and Thorbergsson, Helgi and Benediktsson, Oddur (2004) Comparison of software development life cycles: a multiproject experiment. IEE Proceedings - Software, Institution of Engineering and Technology, 154 (3). pp. 87-101. ISSN 1462-5970

Dalcher, Darren (2011) La paradoja de la incertidumbre: ¿cuándo menos significa más? Novatica, XXXVII (209). pp. 49-55. ISSN 0211-2124

Dalcher, Darren (2009) Le paradoxe de l’incertitude, quand moins signifie plus. Génie Logiciel (91). pp. 56-63. ISSN 0295-6322

Dalcher, Darren (2012) Rethinking software development: the case for a dynamic life cycle model. LAP LAMBERT Academic Publishing. ISBN 9783843390095

Dalcher, Darren (2011) Towards a new perspective: balancing risk, safety and danger. Upgrade: the European online magazine for the IT professional, XII (5). pp. 41-45. ISSN 1684-5285

Dalcher, Darren and Brodie, Lindsey (2007) Successful IT projects. Fasttrack . Thomson Publishing, London. ISBN 9781844806997

Dalcher, Darren and Dawson, C. F. and Palmer, Gillian (2003) Project management for computing students. Middlesex University, London. ISBN 1898253854

Dantchev, Stefan and Martin, Barnaby (2012) Cutting planes and the parameter cutwidth. Theory of Computing Systems, 51 (1). pp. 50-64. ISSN 1432-4350

Dantchev, Stefan and Martin, Barnaby (2012) The limits of tractability in resolution-based propositional proof systems. Annals of Pure and Applied Logic, 163 (6). pp. 656-668. ISSN 0168-0072

Dantchev, Stefan and Martin, Barnaby (2010) The limits of tractability in resolution-based propositional proof systems. In: 6th International Conference on Computability in Europe: Programs, Proofs, Processes (CIE 2010), 30 June - 4 July 2010, Portugal.

Dantchev, Stefan and Martin, Barnaby and Rhodes, Mark (2009) Tight rank lower bounds for the Sherali–Adams proof system. Theoretical Computer Science, 410 (21-23). pp. 2054-2063. ISSN 0304-3975

Dantchev , Stefan and Martin, Barnaby and Szeider, Stefan (2011) Parameterized proof complexity. Computational Complexity, 20 (1). pp. 51-85. ISSN 1016-3328

Dietrich, Perttu and Dalcher, Darren and Eskerod, Pernille and Sandhawalia, Birinder (2010) The role of project collaboration quality and knowledge integration capability in multi-partner projects. In: PMI: Research and Education Conference 2010: Defining the Future of Project Management: Proceedings CD. Project Management Institute, Pennsylvania. ISBN 9781935589136

Dijk, Aart J. van. (2009) Success and failure factors in ICT projects: a Dutch perspective. Other thesis, Middlesex University.

Dimitrova , Maia and Belavkin, Roman V. and Milankovic-Atkinson, Maya and Sadler, Chris and Murphy, Alan (2003) Learning behaviour patterns of classroom and distance students using flexible learning resources. In: Lee, Kar-tin and Mitchell, Koren, (ed.) International conference on computers in education 2003: a conference of the Asia-Pacific chapter of the association for the advancement of computing in education (AACE). ICCE, Hong Kong. ISBN 9789629491444

Dimitrova , Maia and Sadler, Chris and Hatzipanagos, Stylianos and Murphy, Alan (2003) Addressing learner diversity by promoting flexibility in e-learning environments. In: Tjoa, A. Min and Wagner, Roland R., (ed.) 14th international workshop on database and expert systems applications. IEEE Computer Society., Los Alamitos, Calif., pp. 287-291. ISBN 0769519938

Drevin, Lynette and Dalcher, Darren (2011) Antenarrative and narrative: the experience of actors involved in the development and use of information systems. In: Boje, David M., (ed.) Storytelling and the future of organizations: the antenarrative handbook. Routledge Studies in Management, Organizations and Society . Psychology Press, New York. ISBN 9780415873918

Drevin, Lynette and Dalcher, Darren (2010) Investigating the perceptions of failure and success in information systems. In: 19th International Conference on Information Systems Development, August 25 - 27, 2010, Prague, Czech Republic.

Eisenbach, Susan and Jurisic, Vladimir and Sadler, Chris (2002) Feeling the way through DLL hell. In: USE 2002: First international workshop on unanticipated software evolution, June 2002, Malaga.

Eisenbach, Susan and Kayhan, Dilek and Sadler, Chris (2004) Keeping control of reusable components. In: Emmerlich, Wolfgang and Wolf, Alexander L., (ed.) Component deployment: second international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004: proceedings. Lecture Notes in Computer Science (3083). Springer, Berlin, pp. 144-158. ISBN 3540220593

Eisenbach, Susan and Sadler, Chris and Shaikh, Shakil (2002) Evolution of distributed Java progams. In: Bishop, Judith, (ed.) Component deployment: IFIP/ACM working conference, CD 2002, Berlin, Germany, June 2002: proceedings. Lecture Notes in Computer Science. (2370). Springer, New York. ISBN 3540438475

Estabraghy, Ahmad Hajizadeh (2008) An investigation of the utility and value of process patterns in the management of software development projects. PhD thesis, Middlesex University .

Fields, Bob and Blandford, Ann and Furniss, Dominic and Keith, Suzette (2007) Disrupting digital library development with scenario informed design. Interacting With Computers, 19 (1). pp. 70-82. ISSN 0953-5438

Fields, Bob and Blandford, Ann and Keith, Suzette (2006) Claims analysis "In The Wild": a case study on digital library development. International Journal of Human-Computer Interaction, 21 (2). pp. 197-218. ISSN 1044-7318

Fleutot, Fabien and Tratt, Laurence (2007) Contrasting compile-time meta-programming in metalua and converge. In: 3rd Workshop on Dynamic Languages and Applications (DYLA 2007), July 31 2007, Berlin.

Frumkin, Lara A. and Milankovic-Atkinson, Maya and Sadler, Chris (2007) Postgraduate preferences: a study of factors contributing to programme satisfaction amongst masters students. New horizons in education, 55 (2). pp. 37-54. ISSN 1818-3352

Georgiadou, Elli (2003) GEQUAMO: a generic, multilayered, customisable, software quality model. Software Quality Journal, 11 (4). pp. 313-323. ISSN 0963-9314

Georgiadou, Elli and Berki, Eleni and Holcombe, Mike (2004) Requirements engineering and process modelling in software quality management: towards a generic process metamodel. Software Quality Journal, 12 (3). pp. 265-283. ISSN 15731367

Georgiadou, Elli and Berki, Eleni and Ross, Margaret and Cordero, Maria del Brezo (2005) Towards formalised guidelines for migrating structured designs to UML: a case study. Software Quality Journal, 13 (1). pp. 31-69. ISSN 0963-9314

Georgiadou, Elli and Siakas, Kerstin V. (2002) Empirical measurement of the effects of cultural diversity on software quality management. Software Quality Journal, 10 (2). pp. 169-180. ISSN 0963-9314

Gere, Charles (1996) The computer as an irrational cabinet. PhD thesis, Middlesex University.

Giannakis, Konstantinos (2001) Sound mosaics: a graphical user interface for sound synthesis based on audio-visual associations. PhD thesis, Middlesex University.

Gill, Satinder and Borchers, Jan (2003) Knowledge in co-action: social intelligence in collaborative design activity. AI and Society, 17 (3-4). pp. 322-339. ISSN 0951-5666

Gill, Satinder and Shapiro, Dan and Busher, Moniker and Mogensen, Preben (2001) Landscapes of practice: bricolage as a method for situated design. Computer Supported Cooperative Work, 10 (1). pp. 1-28. ISSN 0925-9724

Golovach, Petr A. and Lidický, Bernard and Martin, Barnaby and Paulusma, Daniël (2012) Finding vertex-surjective graph homomorphisms. In: 7th International Computer Science Symposium (CSR 2012), 3-7 Jul 2012, Nizhny Novgorod, Russia.

Ham, Dong-Han and Yoon, Wan Chul (2001) Design of information content and layout for process control based on goal-means domain analysis. Cognition, Technology and Work, 3 (4). pp. 205-223. ISSN 1435-5566

Ham, Dong-Han and Cho, Jin Hee and Kim, Jin Sam and Ha, Su Jung (2004) MaRMI-III: a methodology for component-based development. Electronics and Telecommunications Research Institute (ETRI) Journal, 26 (2). pp. 167-180. ISSN 1225-6463

Hancock, David (2010) Tame, messy and wicked risk leadership. Advances in Project Management . Gower, London. ISBN 9781409408734

Harman, Mark and Tratt, Laurence (2007) Pareto optimal search based refactoring at the design level. In: 9th annual conference on Genetic and evolutionary computation conference (GEECO 2007), 7 - 11 July, 2007, University College, London.

Harris, Elaine (2009) Strategic project risk appraisal and management. Advances in Project Management . Gower, London. ISBN 9780566088483

Hatzipanagos, Stylianos and Dimitrova , Maia and Sadler, Chris and Chera, Pav and Milankovic-Atkinson, Maya and Murphy, Alan and Bakry, Walaa-Eldeen Mohamed (2003) Communication protocols for online learning: groupwork and dialogues in discussion forums. In: 21st Century Learning: CAL 03 Conference, 08-10 Apr 2003, Belfast, Ireland. . (Unpublished)

Hatzipanagos, Stylianos and Georgiadou, Elli and Sadler, Chris (2002) Technologies and pedagogies of trans-continental online tearning: towards removing the barriers to accessibility. In: Open and distance learning in Europe & beyond: rethinking international co-operation: 2002 EDEN annual conference. European Distance Education Network., Budapest.

Hatzipanagos, Stylianos and Sadler, Chris (2001) Global campus: a pragmatic strategy. Association for Learning Technology newsletter.(ALTN) (33). ISSN 1479-2222

Hatzipanagos, Stylianos and Sadler, Chris and Dimitrova , Maia and Milankovic-Atkinson, Maya and Chera, Pav and Murphy, Alan and Bakry, Walaa-Eldeen Mohamed (2003) Blended learning for computer science education: a conceptual framework and a case study. In: Lassner, David and McNaught, Carmel, (ed.) ED-MEDIA 2003: World conference on educational multimedia, hypermedia & telecommunications: proceedings. AACE, Norfolk VA. ISBN 0380094487

Hatzipanagos, Stylianos and Sadler, Chris and Milankovic-Atkinson, Maya and Murphy, Alan and Bakry, Walaa-Eldeen Mohamed (2002) Distance learning comes home: resource-based learning for campus-based students. In: Barker, Philip and Rebelsky, Samuel A., (ed.) ED-MEDIA 2002: World conference on educational multimedia, hypermedia & telecommunications: proceedings. Association for the Advancement of Computing in Education, Norfolk VA. ISBN 9781880094457

Hatzipanagos, Stylianos and Sadler, Chris and Milankovic-Atkinson, Maya and Murphy, Alan and Bakry, Walaa-Eldeen Mohamed (2001) Face to face teaching and resource-based learning: conflict or collaboration. In: ALT-C 2001: changing learning environments, 2001, Edinburgh University.

Hatzipanagos, Stylianos and Sadler, Chris and Woodman, Mark and Milankovic-Atkinson, Maya (2001) Adopting an instructional pedagogy for constructive on-line learning. In: Montgomerie, T. Craig and Viteli, Jarmo, (ed.) ED-MEDIA 2001: world conference on educational multimedia, hypermedia and telecommunications. Association for the Advancement of Computing in Education., Norfolk VA. ISBN 1880094428

Hijon-Neira, Raquel and Velazquez-Iturbide, J. Angel and Barn, Balbir and Oussena, Samia (2008) A comparative study on the analysis of students interactions in e-learning. In: Advanced Learning Technologies, 2008. ICALT 2008. Eighth IEEE International Conference. Institute of Electrical and Electronics Engineers, pp. 20-22. ISBN 9780769531670

Hillson, David (2009) Managing risk in projects. Fundamentals of Project Management . Gower, London. ISBN 9780566088674

Hopkinson, Alan (2004) Integrated Automated Library System: Request for Proposals: Sample Model Document. The Author, London. (Unpublished)

Huyck, Christian R. and Bavan, A. S. (2002) Neural cell assemblies for practical applications. In: Callaos, Nagib , (ed.) SCI 2002: ISAS: the 6th world multiconference on systemics, cybernetics and informatics: proceedings. International Institute of Informatics and Systemics., Orlando, Florida., pp. 174-177. ISBN 9800781501

Ingason, Helgi and Dalcher, Darren and Jonasson, Haukur (2010) In times of crisis invest in maturity: results of an assessment in Iceland. In: 24th IPMA World Congress, November 1-3, Istanbul, Turkey.

Kammueller, Florian (2008) Interactive theorem proving in software engineering. VDM Verlag Dr. Mueller, Saarbrücken, Germany. ISBN 9783836457699

Kammueller, Florian (2013) A semi-lattice model for multi-lateral security. In: Data privacy management and autonomous spontaneous security. Lecture Notes in Computer Science. Security and Cryptology (7731). Springer, Berlin, Germany, pp. 118-132. ISBN 9783642358890 (In Press)

Kammueller, Florian and Preibusch, Soren (2008) Modelchecking non-functional requirements for interface specifications. In: European Joint Conference on Theory and Practice of Software, 2008, (Foundations of Interface technologies), 29th March - 6th April, 2008, Budapest. (Unpublished)

Kammueller, Florian and Rein, Alexander and Reiser, Mark-Oliver (2010) Feature link propagation across variability representations with Isabelle/HOL. In: Rubin, Julia and Botterweck , Goetz and Mezini, Mira and Maman, Itay and Lero, Andreas , (eds.) Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering. ACM, New York, pp. 48-53. ISBN 9781605589688

Kammueller, Florian and Sudhof, Henry (2008) Compositionality of aspect weaving. In: Mahr, Bernd and Sheng, Huanye, (ed.) Autonomous systems: self-organisation, management, and control. Springer-Verlag, pp. 87-96. ISBN 9781402088889

Kelleher, Michael and Woodman, Mark (2009) Monitoring progress in managing knowledge: an emerging agenda. In: 10th European Conference on Knowledge Management (ECKM 2009), 3-4 September 2009, Vicenza, Italy.

Khan, Nawaz and Stiglic, Gregor and Verlic, Mateja and Kokol, Peter (2007) Gene expression analysis of leukemia samples using visual interpretation of small ensembles: a case study. In: 2nd International Conference in Pattern Recognition in Bioinformatics, Singapore. Lecture Notes in Computer Science. Springer Berlin, Heidelberg, pp. 189-197. ISBN 978-3-540-75285-1

Khan, Nawaz and Stockman, A. G. and Rahman, Shahedur (2002) A cooperative environment for genetic variance analysis using component database for database integration. In: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), Slovenia. IEEE Computer Society Press., pp. 365-368. ISBN 3-00-008114-3

Kocurova, Anna and Oussena, Samia and Clark, Tony (2012) Applied metamodelling to collaborative document authoring. In: Federated Conference on Computer Science and Information Systems (FedCSIS 2012), 9 - 12 September 2012, Wrocław, Poland.

Kocurova, Anna and Oussena, Samia and Komisarczuk, Peter and Clark, Tony (2012) Context-aware content-centric collaborative workflow management for mobile devices. In: The Second International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2012), June 24-29, 2012, Venice, Italy.

Kramer, Dean and Clark, Tony and Ousena, Samia (2010) MobDSL: a domain specific language for multiple mobile platform deployment. In: Networked Embedded Systems for Enterprise Applications (NESEA), 2010 IEEE International Conference. IEEE. ISBN 9781424491780

Lahiri, Tosca and Woodman, Mark (2009) A business service selection model for automated web service discovery requirements. In: Filipe, Joaquim and Cordeiro, Jose, (ed.) Enterprise information systems: 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings. Lecture Notes in Business Information Processing (24). Springer, Berlin , pp. 790-803. ISBN 9783642013461

LeThanh, Huong (2004) Automatic discourse structure generation using rhetorical structure theory. PhD thesis, Middlesex University.

Lehman, Meir M. (2005) The role and impact of assumptions in software development, maintenance and evolution. In: IEEE International Workshop on Software Evolvability, ICSM '05, Budapest. IEEE International Workshop on Software Evolvability., pp. 3-14. ISBN 0-7695-2460-5

Lehman, Meir M. and Fernandezl-Ramil, Juan (2001) Rules and tools for software evolution planning and management. Annals of Software Engineering, 11 (1). pp. 15-44. ISSN 1022-7091

Lehman, Meir M. and Kahen, Goel and Ramil, Juan F. (2005) Simulation process modelling for managing software evolution. In: Software Process Modelling. Springer US, pp. 87-109. ISBN 978-0-387-24261-3

Lehman, Meir M. and Wernick, Paul and Harrison, Rachel and Cook, Stephen (2006) Evolution in software systems: foundations of the SPE classification scheme. Journal of Software Maintenance and Evolution Research and Practice., 18 (1). pp. 1-35. ISSN 1532-0618

Li, Yushun and Guo, Hui and Gao, Ge and Huang, Ronghuai and Cheng, Xiaochun (2009) Ubiquitous e-learning System for dynamic mini-courseware assembling and delivering to mobile terminals. In: Kim, Jinhwa and Delen, Dursun and Jinsoo, Park and Ko, Franz and Rui, Chen and Hyung, Jong and Lee, Wang Jian and Kou, Gang, (eds.) NCM 2009: Fifth International Joint Conference on INC, IMS, and IDC; [proceedings]. IEEE, pp. 1081-1086. ISBN 9781424452095

Liu, Lu and Antonopoulos, Nick and Mackin, Stephen (2007) Fault-tolerant peer-to-peer search on small-world networks. Future Generation Computer Systems, 23 (8). pp. 921-931. ISSN 0167-739X

Liu, Lu and Antonopoulos, Nick and Mackin, Stephen (2008) Managing peer-to-peer networks with human tactics in social interactions. Journal of Supercomputing, 44 (3). pp. 217-236. ISSN 0920-8542

Liu, Lu and Antonopoulos, Nick and Mackin, Stephen and Xu, Jie and Russell, Duncan (2009) Efficient resource discovery in self-organized unstructured peer-to-peer networks. Concurrency and Computation: Practice and Experience, 23 (2). pp. 159-183. ISSN 1532-0626

Liu, Lu and Russell, Duncan and Xu, Jie and Webster, David and Luo, Zongyang and Venters, Colin and Davies, John (2009) Modelling and simulation of network enabled capability on service-oriented architecture. Simulation modelling practice and theory, 17 (8). pp. 1430-1442. ISSN 1569-190X

Liu, Lu and Xu, Jie and Russell, Duncan and Townend, Paul and Webster, David (2009) Efficient and scalable search on scale-free P2P networks. Peer-to-Peer Networking and Applications, 2 (2). pp. 98-108. ISSN 1936-6442

Liu, Lu and Xu, Jie and Russell, Duncan and Webster, David and Luo, Zongyang and Venters, Colin and Davies, John (2011) Dynamic service integration for reliable and sustainable capability provision. International Journal of Systems Science . ISSN 0020-7721

Loomes, Martin J. and Albrecht, A. A. and Malcolm, J. A. and Zahrani, M. S. (2006) Landscape analysis for multicast routing. Computer Communications, 30 (1). pp. 101-116. ISSN 0140-3664

Madelaine, Florent and Martin, Barnaby (2012) The complexity of positive first-order logic without equality. ACM Transactions on Computational Logic (TOCL), 13 (1). ISSN 1529-3785

Madelaine, Florent and Martin, Barnaby (2011) A tetrachotomy for positive first-order logic without equality. In: 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), 21-24 June 2011, Ontario, Canada.

Madelaine, Florent and Martin, Barnaby and Stacho, Juraj (2012) Constraint satisfaction with counting quantifiers. In: The 7th International Computer Science Symposium (CSR 2012), 3-7 Jul 2012, Nizhny Novgorod, Russia.

Martin, Barnaby (2008) First-order model checking problems parameterized by the model. In: The 4th Conference on Computability in Europe: Logic and Theory of Algorithms (CiE 2008), 15-20 June, 2008, University of Athens, Greece.

Martin, Barnaby (2011) Low-level dichotomy for quantified constraint satisfaction problems. Information Processing Letters, 111 (20). pp. 999-1003. ISSN 0020-0190

Martin, Barnaby (2011) QCSP on partially reflexive forests. In: The 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), 12-16 September 2011, Perugia, Italy.

Martin, Barnaby (2010) The lattice structure of sets of surjective hyper-operations. In: Principles and practice of constraint programming – CP 2010. Lecture Notes in Computer Science (6308). Springer-Verlag, pp. 368-382. ISBN 9783642153952

Martin, Barnaby and Martin, Jos (2010) The complexity of positive first-order logic without equality II: the four-element case. In: 24th International Workshop (CSL 2010), 19th Annual Conference of the EACSL, 23-27 August 2010, Brno, Czech Republic.

Martin, Barnaby and Paulusma, Daniël (2011) The computational complexity of disconnected cut and 2K2-partition. In: The 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), 12-16 Sep 2011, Perugia, Italy.

Milankovic-Atkinson, Maya and Sadler, Chris (2006) Using e-Learning to extend access to new populations of students and reduce cost of programme delivery. In: E-learn 2006: World conference on e-learning in corporate, government, healthcare and higher education , 2006, Honalulu HI.

Milankovic-Atkinson, Maya and Sadler, Chris (2009) The global campus project: using e-learning to extend access to new polpulations of students. Infoteka: časopis za informatiku i bibliotekarstvo., 10 (1-2). ISSN 1450-9687

Miller, David and Woodman, Mark (2010) Software engineering systems as services using a business-focused service framework. In: 5th International Conference on Evaluation of Novel Approaches to Software Engineering, 22-24 July 2010, Athens, Greece.

Miro, Jaime Valls and White, Anthony S. (2002) Modelling an industrial manipulator: a case study. Simulation modelling practice and theory, 9 (6). pp. 293-319. ISSN 1569-190X

Mitchell, Ian and Bavan, A. S. (2000) A connectionist inference model for pattern-directed knowledge representation. Expert systems, 17 (2). pp. 106-113. ISSN 0266-4720

Moteleb, Aboubakr A. and Woodman, Mark (2009) Uncovering a KMSD approach from practice. Electronic Journal of Knowledge Management (EJKM), 7 (1). pp. 123-134. ISSN 1479-4411

Moteleb, Aboubakr A. and Woodman, Mark and Critten, Peter (2009) Towards a practical guide for developing knowledge management systems in small organizations. In: 10th European Conference on Knowledge Management (ECKM 2009), 3-4 September 2009, Vicenza, Italy.

Murphy, Alan and Bakry, Walaa-Eldeen Mohamed and Milankovic-Atkinson, Maya and Sadler, Chris and Woodman, Mark (2001) Choosing pedagogy and technology for an international web-based masters degree. In: Calvert, T., (ed.) Computers and advanced technology in education: proceedings of the fourth IASTED international conference. ACTA Press, Anaheim, CA.. ISBN 9780889862890

Müller, Ralf (2009) Project governance. Fundamentals of Project Management . Gower, London. ISBN 9780566088667

Müller, Ralf and Turner, J. Rodney (2010) Project-oriented leadership. Advances in Project Management . Gower, London. ISBN 9780566089237

Oussena, Samia and Barn, Balbir (2009) Layered process models: analysis and implementation (using MDA principles). In: Cordeiro, Jose and Filipe, Joaquim, (ed.) ICEIS 2009: 11th International Conference on Enterprise Information Systems: proceedings. Institute for Systems and Technologies of Information, Control and Communication, pp. 168-175. ISBN 9789898111869

Oussena, Samia and Barn, Balbir and Sparks, Dan (2007) BPEL patterns for implementing variations in SOA applications. In: Cardoso, Jorge and Cordeiro, Jose and Filipe, Joaquim, (eds.) ICEIS 2007: Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007. Institute for Systems and Technologies of Information, Control and Communication , pp. 295-300. ISBN 9789728865900

Oussena, Samia and Barn, Balbir and Sparks, Dan (2009) A framework for testing SOA applications. In: ICSOFT 2009: Proceedings of the 4th International Conference on Software and Data Technologies, Volume 2, Sofia, Bulgaria, July 26-29, 2009. The Institute for Systems and Technologies of Information, Control and Communication., pp. 53-60. ISBN 9789896740108

Perttu, Dietrich and Dalcher, Darren and Eskerod, Pernille and Sandhawalia, Birinder (2010) The Dynamics of collaboration in multipartner projects. Project Management Journal, 41 (4). pp. 59-78. ISSN 8756-9728

Pun, Kit Fai (2003) A study of an integrated approach for strategy formulation and performance measurement in manufacturing enterprises. PhD thesis, Middlesex University.

Qian, Yu (2008) Development of a perception oriented texture-based image retrieval system for wallpapers. PhD thesis, Middlesex University.

Rahman, Shahedur and Khan, Nawaz and Clarkson, T. G. (2001) An approach to develop human gene disorder database for intelligent variance analysis of genes and its products. In: 12th International workshop on Database and Expert Systems, Munich, Germany. Proceedings. IEEE Computer Society Press, Washington DC, USA, pp. 301-305. ISBN 0-7695-1230-5

Rahman, Shahedur and Khan, Nawaz (2003) A new approach to detect similar proteins from 2D Gel Electrophoresis Images. In: 3rd International Symposium on Bioinformatics and Bioengineering, Washington DC. Proceedings. IEEE Computer Society Press., Washington DC, USA, pp. 182-189. ISBN 0-7695-1907-5

Rahman, Shahedur and Stockman, A. G. and Khan, Nawaz (2003) Integration of biological data resources using image object keying. In: 16th IEEE Symposium on Computer-based Medical Systems (CBMS'03), New York. Proceedings. . IEEE Computer Society Press. , Washington DC, USA, pp. 16-21. ISBN 0-7695-1901-6

Rajan, A. V. S. and Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for a distributed programming language using SACS and weakest pre-conditions. In: ADCOM 2006 autonomic computing: proceedings. IEEE, pp. 434-439. ISBN 142440715X.

Rajan, A. V. S. and Bavan, A. S. and Abeysinghe, Geetha (2007) Semantics for an asynchronous message passing system. In: Elleithy, Khaled, (ed.) Advances and innovations in systems, computing sciences and software engineering. Springer, pp. 83-88. ISBN 9781402062681

Rajan, A. V. S. and Bavan, A. S. and Abeysinghe, Geetha (2008) Semantics for the specification of asynchronous communicating systems (SACS). In: Sobh, Tarek M., (ed.) Advances in computer and information sciences and engineering. Springer, New York, pp. 33-38. ISBN 9781402087400

Read, Malcom and Sadler, Chris (2008) Information society in the United Kingdom. Project Report. Information Society Research Institute.

Sadler, Chris (2008) Network knowledge: gleaning new knowledge from the internet. Project Report. Information Society Research Institute.

Sadler, Chris and Bakry, Walaa-Eldeen Mohamed and Chera, Pav and Hatzipanagos, Stylianos and Milankovic-Atkinson, Maya and Murphy, Alan (2002) Global campus: learning to walk with webbed feet. In: Tjoa, A. Min and Wagner, Roland R., (ed.) 13th international workshop on database and expert systems applications. IEEE Computer Society.. ISBN 0769516688

Sadler, Chris and Eisenbach, Susan (2001) Changing Java programs. In: IEEE International Conference on Software Maintenance (ICSM), Florence, Italy. Proceedings. IEEE Computer Society., pp. 479-487. ISBN 1063-6773

Sadler, Chris and Eisenbach, Susan and Jurisic, Vladimir (2004) Managing the evolution of .NET programs. In: IFIP WG6.1 Formal Methods for Open Object-based Distributed Systems. Proceedings, Lecture Notes in Computer Science. Springer Berlin, Heidelberg, pp. 185-198. ISBN 3-540-20491-1

Sadler, Chris and Kalvet, Tarmo (2008) Information society studies in practice: a networked learning case study: student needs and feedback in the NETIS project. In: 6th International conference on networked learning. Networked learning.

Sadler, Chris and Milankovic-Atkinson, Maya and Dimitrova , Maia and Chera, Pav and Hatzipanagos, Stylianos and Bakry, Walaa-Eldeen Mohamed and Murphy, Alan (2003) Evolving e-Learning environments. In: Rossett., Allison, (ed.) E-Learn 2003: world conference on E-learning in corporate, government, healthcare & higher education. AACE, Norfolk VA. ISBN 1880094509

Sadler, Chris and Wong, Dominic and Eisenbach, Susan (2007) Component adaptation in contemporary execution environments. In: IFIP WG6.1 Distributed Applications and Interoperable Systems (DAIS) 2007, Component Adaptation in Contemporary Execution Environments. Proceedings, Lecture Notes in Computer Science. Springer Berlin, Heidelberg, pp. 90-103. ISBN 3-540-72881-3

Sadler, Chris and Eisenbach, Susan (2007) Reuse and abuse. Journal of Object Technology, 6 (1). pp. 137-167. ISSN 1660-1769

Sandhawalia, Birinder and Dalcher, Darren (2010) Knowledge flows in software projects: an empirical investigation. Knowledge and Process Management, 17 (4). pp. 205-220. ISSN 1092-4604

Sandhawalia, Birinder and Dalcher, Darren (2011) The dynamics of growth within global organisations: issues, consequences and implications. Journal of Information and Knowledge Management, 10 (2). pp. 123-134. ISSN 0219-6492

Sandhawalia, Birinder Singh and Dalcher, Darren (2011) Developing knowledge management capabilities: a structured approach. Journal of knowledge management, 15 (2). pp. 313-328. ISSN 1367-3270

Shen, Siu-Tsen and Prior, Stephen D. and Chen, Kuen-Meau (2010) I-pot: a new approach utilising visual and contextual cues to support users in graphical web browser revisitation. In: Blashki, Katherine, (ed.) MCCSIS 2010: IADIS multi conference on computer science and information systems: proceedings of the IADIS international conferences. IADIS , pp. 417-424. ISBN 9789728939182

Shepherd, Ifan D. H. (2002) It's only a game: using interactive graphics middleware to visualise historical data. Society of Cartographers Bulletin, 36 (2). pp. 51-55. ISSN 1469-5170

Shepherd, Ifan D. H. (2008) Travails in the third dimension: a critical evaluation of three-dimensional geographical visualization. In: Dodge, Martin and McDerby, Mary and Turner, Martin, (eds.) Geographic visualization: concepts, tools and applications. John Wiley & Sons, Chichester, pp. 199-222. ISBN 9780470515112

Shepherd, Ifan D. H. and Bleasdale-Shepherd, Iestyn D. (2009) Videogames: the new GIS? In: Lin, Hui and Batty, Michael, (ed.) Virtual geographic environments. Science Press, Beijing. ISBN 9787030234674

Stelmaszewska, Hanna and Wong, B. L. William and Attfield, Simon and Chen, Raymond (2010) Electronic resource discovery systems: from user behaviour to design. In: Hvannberg, Ebba and Larusdottir , Marta and Blandford, Ann and Gulliksen, Jan, (eds.) NordiCHI '10 6th Nordic Conference on Human-Computer Interaction. ACM, pp. 483-492. ISBN 9781605589343

Tan, Kok Fong (2005) Extending information retrieval system model to improve interactive web searching. PhD thesis, Middlesex University.

Theng, Yin Leng (1997) Addressing the "lost in hyperspace" problem in hypertext. PhD thesis, Middlesex University.

Thiry, Michel (2010) Program management. Fundamentals of Project Management . Gower, London. ISBN 9780566088827

Tratt, Laurence and Clark, Tony (2002) Enhancing the template mechanism. In: 1st Workshop in Software Model Engineering (WiSME 2002), 2002, Dresden.

Tratt, Laurence and Gogolla, Martin (2010) Theory and practice of model transformations: third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. Lecture Notes in Computer Science, 6142 . ISSN 0302-9743

Tratt, Laurence (2008) A Change propagating model transformation language. Journal of Object Technology, 7 (3). pp. 107-126. ISSN 1660-1769

Tratt, Laurence (2005) Compile-time meta-programming in a dynamically typed OO language. In: Dynamic language symposium, 2005. Association for Computing Machinery (ACM Portal), New York, pp. 49-64.

Tratt, Laurence (2004) Compile-time meta-programming in converge. Technical Report. King's College London, Department of Computer Science.

Tratt, Laurence (2005) The Converge programming language. Technical Report. King's College London, Department of Computer Science, .

Tratt, Laurence (2008) Domain specific language implementation via compile-time meta-programming. ACM transactions on programming languages and systems, 30 (6). pp. 1-40. ISSN 0164-0925

Tratt, Laurence (2009) Dynamically typed languages. In: Zelkowitz, Marvin V., (ed.) Advances in computers. Elsevier, pp. 149-184. ISBN 9780123748126

Tratt, Laurence (2008) Evolving a DSL implementation. Lecture Notes in Computer Science, 5235 . pp. 425-441. ISSN 0302-9743

Tratt, Laurence (2005) Model transformations and tool integration. Software and Systems Modelling, 4 (2). pp. 112-122. ISSN 1619-1366

Tratt, Laurence and Clark, Tony (2003) Issues surrounding model consistency and QVT. Technical Report. King's College London, Department of Computer Science..

Tratt, Laurence and Clark, Tony (2003) Model transformations in converge. In: 2nd Workshop in Software Model Engineering (WiSME 2003), October 2003, San Francisco.

Vasudevan, Naveneetha and Tratt, Laurence (2010) Comparative study of DSL tools. In: Workshop on Generative Technologies 2010, 27th March 2010, Paphos, Cyprus.

Wampler, Dean and Clark, Tony (2010) Multiparadigm programming: guest editors' introduction. IEEE Software, 27 (5). pp. 2-7. ISSN 0740-7459

Wampler, Dean and Clark, Tony and Ford, Neal and Goetz, Brian (2010) Multiparadigm programming in industry: a discussion with Neal Ford and Brian Goetz. IEEE Software, 27 (5). pp. 61-64. ISSN 0740-7459

Wang, Lichun (1999) Query processing in temporal object-oriented databases. PhD thesis, Middlesex University.

White, Anthony S. (2006) External disturbance control for software project management. International Journal of Project Management, 24 (2). pp. 127-135. ISSN 0263 7863

Woodman, Mark and Dalcher, Darren and Reed, Karl and Benediktsson, Oddur (2003) COCOMO-based effort estimation for iterative and incremental software development. Software Quality Journal, 11 (4). pp. 265-281. ISSN 1573-1367

Woodman, Mark and Hovenden, Fiona and Sharp, Helen (2004) Tensions around the adoption and evolution of software quality management systems: a discourse analytic approach. International Journal of Human-Computer Studies, 61 (2). pp. 219-236. ISSN 1071-5819

Woodman, Mark and Hovenden, Fiona and Sharp, Helen (2005) Using metaphor to analyse qualitative data: vulcans and humans in software development. Empirical Software Engineering, 10 (3). pp. 343-365. ISSN 1573-7616

Woodman, Mark and Milankovic-Atkinson, Maya and Sadler, Chris and Murphy, Alan (2001) From conventional to distance education: adopting a pedagogy and managing the transformation. In: Stephenson, John, (ed.) Teaching & learning online: pedagogies for new technologies. Kogan Page, London, pp. 120-128. ISBN 9780749435110

Woodman, Mark and Moteleb, Aboubakr A. (2009) Grounding and making sense of agile software development. In: Filipe, Joaquim and Cordeiro, Jose, (ed.) Enterprise information systems: 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings. Lecture Notes in Business Information Processing (24). Springer, Berlin , pp. 234-240. ISBN 9783642013461

Xiong, Haiyan (2002) Providing a formal linkage between MDG and HOL based on a verified MDG system. PhD thesis, Middlesex University.

Xu, Jie and Zhang, Dacheng and Liu, Lu and Li, Xianxian (2010) Dynamic cross-realm authentication for secure SOA-based business processes. IEEE transactions on services computing, PP (99). ISSN 1939-1374

Zhu, Yi (2006) Innovation system for ICT: the case of China. In: Baskaran, Angathevar and Muchie, Mammo, (ed.) Bridging the Digital Divide: Innovation System for ICT in Brazil, China, India, Thailand and Southern Africa. Adoris & Abbey Publishers Ltd, London, pp. 84-117. ISBN 1-905068-15-8

This list was generated on Wed Feb 6 03:12:46 2013 GMT.