- Detailed search
-
- Browse by:
- Department |
Year |
Latest
For everyone
- About UCL Discovery
- Open Access
- Using UCL Discovery:
- Statistics:
- FAQ
For UCL authors
Browse by UCL Departments and Centres (pre-November 2010)
- UCL Eprints (17972)
- UCL Departments and Research Centres (17972)
- UCL Engineering Sciences (1626)
- Department of Computer Science (634)
- Software Systems Engineering (319)
- Department of Computer Science (634)
- UCL Engineering Sciences (1626)
- UCL Departments and Research Centres (17972)
Number of items at this level: 319.
A
| Abiteboul, S and Adiba, M and Arlow, J and Armenise, P and Bandinelli, S and Baresi, L and Breche, P and Buddrus, F and Collet, C and Collet, P and Corte, P and Coupaye, TH and Delobel, C and Emmerich, W and Ferran, G and Ferrandina, F and Fuggetta, A and Ghezzi, C and Lautemann, SE and Lavazza, L and Madec, J and Phoenix, M and Sachweh, S and Schaefer, W and Souza dos Santos, C and Tigg, G and Zicari, R (1994) The GOODSTEP project: General Object-Oriented Database for Software Engineering Processes. In: In Proceedings of the 1st Asian Pacific Software Engineering Conference, Tokyo, Japan. (10 - 19). IEEE Computer Society Press |  |
| Ackemann, T and Gold, R and Mascolo, C and Emmerich, W (2002) Incentives in peer-to-peer and grid networking. (Research Note 02/24 ). UCL-CS | |
| Alves, C. and Finkelstein, A. (2003) Investigating conflicts in COTS decision-making. International Journal of Software Engineering , 13 (5) pp. 1-21. |
| Alves, C. and Finkelstein, A. (2002) Challenges in COTS decision-making: a goal-driven requirements engineering perspective. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering SEKE 2002. ACM Press: New York, NY, USA. | |
| Alves, C. and Finkelstein, A. (2002) Negotiating requirements for COTS-based systems. Presented at: Eighth International Workshop on Requirements Engineering: Foundation for Software Quality. REFSQ, Essen, Germany. | |
| Alves, C. and Franch, X. and Carvallo, J. and Finkelstein, A. (2005) Using goals and quality models to support the matching analysis during COTS selection. In: Franch, X. and Port, D., (eds.) COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings. (pp. pp. 146-156). Springer Verlag GmbH |
| Alves, C. and Franch, X. and Carvallo, J. and Finkelstein, A. (2005) Using goals and quality models to support the matching analysis during COTS selection, Bilbao, Spain. In: Franch, X. and Port, D., (eds.) Proceedings of 4th International Conference on COTS-Based Software Systems, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. (pp. pp. 146-156). Springer Verlag |
| Arlow, J and Bandinello, S and Emmerich, W and Lavazza, L (1997) A Fine-Grained Process Modelling Experiment at British Airways. Software Process , 3 105 - 131. | |
| Arlow, J and Quinn, J and Emmerich, W (2004) Literate modelling: capturing business knowledge with the UML. In: Bezivin, J and Muller, P, (eds.) Proceedings of The Unified Modeling Language «UML»?98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998. (189 - 199). Springer Verlag | |
| Armitage, S. and Stevens, R. and Finkelstein, A. (1998) Implementing a compliance manager. Requirements Engineering , 3 (2) pp. 98-106. | |
| Arshad, U and Mascolo, C and Mellor, M (2002) Exploiting Mobility Computing in Health-Care. In: (Proceedings) Proceedings of 3rd International Workshop on Smart Appliances (co-located with ICDCS '02), ICDCS. |
| Attali, I. and Caromel, D. and Courbis, C. and Henrio, L. and Nilsson, H. (2001) An integrated development environment for Java Card. Computer Networks , 36 (4) pp. 291-305. 10.1016/S1389-1286(01)00162-1. | |
| Attali, I. and Caromel, D. and Courbis, C. and Henrio, L. and Nilsson, H. (2000) Smart tools for Java Card. Presented at: Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, Bristol, UK. | |
| Attali, I. and Courbis, C. and Degenne, P. and Fau, A. and Fillon, J. and Parigot, D. and Pasquier, C. and Sacerdoti Coen, C. (2001) SmartTools: a generator of interactive environments tools. In: Wilhelm, R., (ed.) Compiler Construction : 10th International Conference, CC 2001: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001. (pp. pp. 355-360). Springer Verlag | |
| Avellis, G. and Finkelstein, A. (2002) How to annotate educational multimedia with non-functional requirements. Educational Technology and Society , 5 (2) pp. 119-124. |
B
| Bahsoon, R and Emmerich, W (2004) Evaluating architectural stability with real options theory. In: Proceedings of the 20th International Conference on Software Maintenance, Chicago, Illinois, U.S.A. (443 - 447). IEEE Computer Society Press | |
| Bahsoon, R and Emmerich, W (2003) ArchOptions: A Real Options-Based Model for Predicting the Stability of Software Architectures. In: (Proceedings) The ICSE 2003 Workshop on Economics-Driven Software Engineering Research. : Portland, Oregon. | |
| Bahsoon, R and Emmerich, W (2003) Evaluating software architectures for stability: a real options approach. In: (Proceedings) 25th International Conference on Software Engineering, Doctoral Symposium. : Portland, Oregon, USA. | |
| Bahsoon, R and Emmerich, W (2003) Evaluating Software Architectures: Development Stability and Evolution. In: Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia. (pp. 47 - 56). IEEE Computer Society Press: Los Alamitos, US. | |
| Bahsoon, R. and Emmerich, W. (2004) Applying ArchOptions to value the payoff of refactoring. In: Proceedings of the 6th International Workshop on Economics Driven Software Engineering Research, Edinburgh, Scotland. (pp. pp. 66-70). IEE (Institution of Electrical Engineers) | |
| Bahsoon, R. and Emmerich, W. and Macke, J. (2005) Using real options to select stable Middleware-induced software architectures. IEE Proceedings Software , 152 (4) pp. 167-186. 10.1049/ip-sen:20045059. | |
| Bahsoon, R. and Mansour, N. (2002) Reduction-based methods and metrics for selective regression testing. Information and Software Technology , 44 (7) pp. 431-443. 10.1016/S0950-5849(02)00027-7. |
| Bahsoon, R. and Mansour, N. (2001) Methods and metrics for selective regression testing. In: Proceeds of the ACS/IEEE International Conference on Computer Systems and Applications, Beirut, Lebanon. (pp. pp. 463-465). IEEE Computer Society Press | |
| Barghouti, NS and Emmerich, W and Schaefer, W and Skarra, AH (1996) Information management in process-centered software engineering enviroments. In: Fuggetta, A and Wolf, A, (eds.) Software Process. (53 - 87). John Wiley and Sons: Chichester. |
| Begent, R. and Brady, J.M. and Finkelstein, A. and Gavaghan, D. and Kerr, P. and Parkinson, H. and Reddington, F. and Wilkinson, J.M. (2005) Challenges of ultra large scale integration of biomedical computing systems. In: 18th IEEE International Symposium on Computer-Based Medical Systems. Dublin, Ireland. IEEE Computer Society Press | |
| Bible, J and Rothermel, G and Rosenblum, DS (2001) A Comparative Study of Coarse- and Fine-Grained Safe Regression Test-Selection Techniques. ACM Transactions on Software Engineering and Methodology , 10 (2) 149 - 183. 10.1145/367008.367015. |
| Brebner, P and Emmerich, W (2005) Deployment of Infrastructure and Services in the Open Grid Services Architecture. In: Dearle, A and Eisenbach, S, (eds.) Proc. of the 3rd Int. Working Conference on Component Deployment, CD 2005, Grenoble, France. (181 - 195). Springer | |
| Brebner, P. and Emmerich, W. (2006) Two ways to Grid: the contribution of Open Grid Services Architecture (OGSA) mechanisms to service-centric and resource-centric lifecycles. Journal of Grid Computing , 4 (1) pp. 115-131. 10.1007/s10723-005-9008-2. | |
| Breitman, K. and Leite, J. and Finkelstein, A. (1999) The world's a stage: a survey of requirements engineering using a real-life case study. Journal of the Brazilian Computer Society , 6 (1) pp. 13-37. |
| Bush, D. and Finkelstein, A. (2003) Requirements stability assessment using scenarios. In: Requirements Engineering (RE 2003). (pp. pp. 23-32). IEEE Computer Society Press |
| Butchart, B and Chapman, C and Emmerich, W (2003) OGSA first impressions: a case study re-engineering a scientific applicationwith the open grid services architecture. In: (Proceedings) UK E-Science All Hands Meeting, Nottingham. : Nottingham, UK. | |
C
| Capra, L and Emmerich, W and Mascolo, C (2001) Middleware for mobile computing: awareness vs. transparency (position summary). In: (pp. 142 - 142). IEEE Computer Society Press | |
| Capra, L (2002) Mobile computing middleware for context-aware applications. In: ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. (pp. 723 - 724). ASSOC COMPUTING MACHINERY | |
| Calegari, R and Musolesi, M and Raimondi, F and Mascolo, C (2007) CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. In: Crnkovic, I and Bertolino, A, (eds.) ESEC/SIGSOFT FSE. (pp. 415 - 424). ACM |
| Calleja, M and Blanshard, L and Bruin, R and Chapman, C and Thandavan, A and Tyer, R and Wilson, P and Alexandrof, V and Brodholt, J and Dove, MT and Emmerich, W and Kleese van Dam, K (2004) Grid tool integration within the eMinerals Project. In: Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (812 - 817). UK Engineering and Physical Science Research Council | |
| Calleja, M. and Bruin, R. and Tucker, M.G. and Dover, .M.T. and Tyer, R. and Blanshard, L. and Kleese van Dam, K. and Allen, R.J. and Chapman, C. and Emmerich, W. and Wilson, P. and Brodholt, J. and Thandavan, A. and Alexandrov, V.N. (2005) Collaborative grid infrastructure for molecular simulations: the eMinerals minigrid as a prototype integrated compute and data grid. Molecular Simulation , 31 (5) pp. 303-313. 10.1080/08927020500067195. | |
| Capra, L (2007) MaLM: Machine Learning Middleware to Tackle Ontology Heterogeneity. In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops: Proceedings. (pp. 449 - 454). IEEE Computer Society: Los Alamitos, US. | |
| Capra, L (2005) Reasoning about Trust Groups to Coordinate Mobile Ad-Hoc Systems. In: Workshop of the 1st International Conference on Security and Privacy for Emerging Areas in Communication Networks, 2005. (pp. 142 - 152). IEEE Computer Society Press: Los Alamitos, US. | |
| Capra, L (2004) Towards a human trust model for mobile ad-hoc networks. In: (Proceedings) Proc. of 2nd UK-UbiNet Workshop. : Cambridge University, Cambridge, UK. | |
| Capra, L and Emmerich, W and Mascolo, C (2002) A micro-economic approach to conflict resolution in mobile computing. In: SIGSOFT FSE. (pp. 31 - 40). | |
| Capra, L and Emmerich, W and Mascolo, C (2001) Exploiting reflection and metadata to build mobile computing middleware. In: (Proceedings) Proc. Workshop on Mobile Computing Middleware 2001, Co-located with Middlelware 2001, Heidelberg, Germany. | |
| Capra, L and Emmerich, W and Mascolo, C (2001) Reflective Middleware Solutions for Context-Aware Applications. In: Yonezawa, A and Matsuoka, S, (eds.) Reflection. (pp. 126 - 133). Springer | |
| Capra, L and Mascolo, C and Zachariadis, S and Emmerich, W (2001) Towards a mobile computing middleware: a synergy of reflection and mobile code techniques. In: EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS. (pp. 148 - 154). IEEE COMPUTER SOC | |
| Capra, L. (2004) Engineering human trust in mobile system collaborations. In: Proceedings of the 12th International Symposium on the Foundations of Software Engineering (SIGSOFT 2004/FSE-12), Newport Beach, CA, USA. (pp. pp. 107-116). ACM Press: New York, NY, USA. | |
| Capra, L. (2003) Reflective mobile middleware for context-aware applications. Doctoral thesis, University of London. | |
| Capra, L. and Blair, G. and Mascolo, C. and Emmerich, W. and Grace, P. (2002) Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review , 6 (4) pp. 34-44. 10.1145/643550.643553. |
| Capra, L. and Emmerich, W. and Mascolo, C. (2003) CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. IEEE Transactions on Software Engineering , 29 (10) pp. 929-945. 10.1109/TSE.2003.1237173. | |
| Capra, L. and Zachariadis, S. and Mascolo, C. (2005) Q-CAD: QoS and Context Aware Discovery framework for adaptive mobile systems. In: Proceedings of IEEE International Conference on Pervasive Services (ICPS05). San Torini, Greece, July 11-14, 2005. (pp. pp. 453-456). IEEE Computer Society Press: Los Alamitos, USA. | |
| Carzaniga, A and Rosenblum, DS and Wolf, AL (2001) Design and Evaluation of a Wide-Area Event Notification Service. ACM Transactions on Computer Systems , 19 (3) 332 - 383. 10.1145/380749.380767. |
| Castro, J. and Finkelstein, A. (1992) Requirements elicitation and formalization. In: XII Congress of the Brazilian Computer Society (XIX SEMISH). (pp. 15-30). Brazilian Computer Society |
| Chapman, C and Wilson, P and Tannenbaum, T and Farrellee, M and Livny, M and Brodholt, J and Emmerich, W (2004) Condor services for the Global Grid:interoperability between Condor and OGSA. In: Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (870 - 877). UK Engineering and Physical Science Research Council | |
| Chapman, C. and Goonatilake, C. and Emmerich, W. and Farrellee, M. and Tannenbaum, T. and Livny, M. and Calleja, M. and Dove, M. (2005) Condor Birdbath - web service interface to Condor. In: Cox, S.J. and Walker, D.W., (eds.) Proceedings of the UK e-Science All Hands Meeting 2005. EPSRC: Swindon, UK. | |
| Chapman, C. and Musolesi, M. and Emmerich, W. and Mascolo, C. (2007) Predictive resource scheduling in computational grids. In: IEEE International Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. (pp. pp. 1-10). IEEE Computer Society Press | |
| Ciancarini, P and Cimato, S and Mascolo, C (1997) Engineering formal requirements: an analysis and testing method for Z documents. Annals of Software Engineering , 3 (1/3) 189 - 220. | |
| Ciancarini, P and Mascolo, C (1998) Software architecture and mobility. In: Proceedings of 3rd International Software Architecture Workshop (ISAW-3). (21 - 24). ACM Press: New York, NY, USA. | |
| Ciancarini, P. and Cimato, S. and Mascolo, C. (1996) Engineering formal requirements: analysis and testing. In: Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE). (pp. pp. 385-392). Knowledge Systems Institute | |
| Ciancarini, P. and Franze, F. and Mascolo, C. (1998) A coordination model to specify systems including mobile agents. In: Proceedings 9th IEEE International Workshop on Software Specification and Design (IWSSD). (pp. pp. 96-105). IEEE Computer Society Press | |
| Ciancarini, P. and Mascolo, C. (1998) Using formal methods to teach software engineering: a tool-based approach. Annals of Software Engineering , 6 (1-4) pp. 433-453. 10.1023/A:1018921801906. | |
| Ciancarini, P. and Mascolo, C. (1997) Analyzing and refining an architectural style. In: Bowen, J. and Hinchey, M. and Till, D., (eds.) Proceedings of 10th International Conference on the Z Formal Method (ZUM). (pp. pp. 349-368). Springer Verlag | |
| Ciancarini, P. and Mascolo, C. (1996) Analyzing the dynamics of a Z specification. In: Calmet, J. and Limongelli, C., (eds.) Proceedings of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO). (pp. pp. 138-149). Springer Verlag | |
| Ciancarini, P. and Mascolo, C. and Vitali, F. (1998) Visualizing Z notation in HTML documents. In: Bowen, J. and Fett, A. and Hinchey, M., (eds.) Proceedings of the 11th International Conference on the Z Formal Method (ZUM). (pp. pp. 81-95). Springer Verlag | |
| Ciancarini, P. and Vitali, F. and Mascolo, C. (1999) Managing complex documents over the WWW: a case study for XML. IEEE Transactions on Knowledge and Data Engineering , 11 (4) pp. 629-638. 10.1109/69.790821. |
| Clarke, LA and Rosenblum, DS (2006) A Historical Perspective on Runtime Assertion Checking in Software Development. SIGSOFT Software Engineering Notes , 31 (3) 25 - 37. 10.1145/1127878.1127900. | |
| Colbert, M. and Voglimacci, C. and Finkelstein, A. (1995) Live, audio-visual communication systems for distance learning: experience, heuristics and ISDN. Behaviour and Information Technology , 14 (5) pp. 267-288. | |
| Costa, P and Coulson, G and Gold, R and Lad, M and Mascolo, C and Mottola, L and Picco, GP and Sivaharan, T and Weerasinghe, N and Zachariadis, S (2007) The RUNES middleware for networked embedded systems and its application in a disaster management scenario. In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications, Proceedings. (pp. 69 - 78). IEEE COMPUTER SOC | |
| Costa, P. and Coulson, G. and Mascolo, C. and Picco, G.P. and Zachariadis, S. (2005) The RUNES middleware: a reconfigurable component-based approach to networked embedded systems. In: IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications. (pp. pp. 806-810). IEEE Computer Society Press | |
| Courbis, C. and Finkelstein, A. (2005) Towards aspect weaving applications. In: Roman, G.-C. and Griswold, W.G. and Nuseibeh, B., (eds.) Proceedings of the 27th International Conference on Software Engineering (ICSE 05). (pp. pp. 69-77). The Association for Computing Machinery: New York, US. |
| Courbis, C. and Finkelstein, A. (2005) Weaving aspects into web service orchestrations. In: 3rd IEEE International Conference on Web Services (ICWS 2005) Orlando, Florida. IEEE Computer Society Press | |
| Courbis, C. and Finkelstein, A. (2004) Towards an aspect weaving BPEL engine. Presented at: Third AOSD Workshop on Aspects, omponents, and Patterns for Infrastucture Software (ACP4IS), Lancaster, UK. | |
| Cunningham, R. and Finkelstein, A. (1986) Formal requirements specification: the FOREST project. In: 3rd International Workshop Software Specification and Design. (pp. pp. 186-192). IEEE Computer Society Press |
D
| de Cerqueira Leite Duboc, A.L. (2010) A framework for the characterization and analysis of software systems scalability. Doctoral thesis, UCL (University College London). | |
| Dell'Amico, M and Capra, L (2008) SOFIA: Social Filtering for Robust Recommendations. In: Karabulut, Y and Mitchell, J and Herrmann, P and Jensen, CD, (eds.) Trust Management II: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway. (pp. 135 - 150). Springer: New York, US. |
| Denaro, G and Polini, A and Emmerich, W (2005) Performance Testing of Distributed Component Architectures. In: Beydeda, S and Gruhn, V, (eds.) Building Quality into COTS Components - Testing and Debugging. (294 - 314). Springer | |
| Denaro, G and Polini, A and Emmerich, W (2004) Early performance testing of distributed software applications. In: Proceedings of the 4th International Workshop on Software and Performance, Redwood Shores, California, USA, January 14-16, 2004. (94 - 103). ACM Press: New York, NY, USA. | |
| Derniame, J.-C. and Finkelstein, A. and Kramer, J. and Nuseibeh, B. (1994) Directions in software process modelling and technology. In: Finkelstein, A. and Kramer, J. and Nuseibeh, B., (eds.) Software Process Modelling and Technology. Research Studies Press and John Wiley & Sons |
| Dewal, S and Emmerich, W and Lichtinghagen, K (1992) A decision support method for the selection of OMSs. In: Proceedings of the 2nd International Conference on Systems Integration, ICSI '92, Morristown, N.J. (32 - 40). IEEE Computer Society Press | |
| Di Marco, A. and Mascolo, C. (2007) Performance analysis and prediction of physically mobile systems. In: Proceedings of the 6th International Workshop on Software and Performance. (pp. pp. 129-132). ACM Press: New York, USA. |
| Dingwall-Smith, A. and Finkelstein, A. (2002) From requirements to monitors by way of aspects. Presented at: Workshop on Early Aspects at the 1st International Conference on Aspect-Oriented Software Development (AOSD), University of Twente, Enschede, The Netherlands. | |
| Duboc, L and Rosenblum, D and Wicks, T (2007) A framework for characterization and analysis of software system scalability. In: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering. (pp. 375 - 384). ACM Press: New York, US. |
| Duboc, L and Rosenblum, DS and Wicks, T (2006) A Framework for Modelling and Analysis of Software Systems Scalability. Association for Computing Machinery, Shanghai, China New York. | |
| Duboc, L and Wicks, T and Emmerich, W (2005) Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems. In: Mascolo, C and Gschwind, T, (eds.) Proceedings of the 4th International Workshop on Software Engineering and Middleware, Linz, Austria. (214 - 229). Springer Verlag | |
| Dui, D and Emmerich, W (2003) Compatibility of XML language versions. In: Westfechtel, B and Hoek, A, (eds.) Software Configuration Management. Selected Papers of ICSE Workshops SCM 2001 and SCM 2003. (148 - 162). Springer Verlag | |
| Dui, D and Emmerich, W and Nentwich, C and Thal, B (2003) Consistency checking of financial derivative transactions. In: Aksit, M and Menzini, M and Unland, R, (eds.) Objects, Components, Architectures, Services and Applications for a Networked World. (166 - 183). Springer | |
| Dyo, V. (2009) Adaptive duty cycling in mobile sensor networks. Doctoral thesis, UCL (University College London). |
E
| Egyed, A (2006) Instant consistency checking for the UML. In: Proceedings of the 28th international conference on Software engineering (ICSE '06). (pp. 381 - 390). ACM Press: New York, US. |
| Egyed, A (2003) A Scenario-Driven Approach to Trace Dependency Analysis. IEEE Transactions on Software Engineering (TSE) , 29 (2) 116 - 132. 10.1109/TSE.2003.1178051. | |
| Egyed, A (2002) Automated Abstraction of Class Diagrams. ACM Transactions on Software Engineering and Methodology , 11 (4) 449 - 491. 10.1145/606612.606616. |
| Egyed, A and Wile, DS (2006) Support for managing design-time decisions. IEEE Transactions on Software Engineering (TSE) , 32 (5) 299 - 314. 10.1109/TSE.2006.48. | |
| Ellmer, E and Emmerich, W (1998) Business objects: the next step in component technology? In: (Proceedings) Proc. of the CAiSE Workshop on Component Based Infomation systems, Pisa, Italy. (pp. 21 - 26). | |
| Ellmer, E. and Emmerich, W. and Finkelstein, A. (1998) Process technology implications of procurement process: some initial observations. In: Nuseibeh, B., (ed.) Software Process Technology, Proceedings of the 6th European Workshop, Weybridge, UK. (pp. pp. 105-110). Springer Verlag | |
| Emmerich, W (2003) Konstruktion von verteilten Objekten. dpunkt Verlag GmbH: Heidelberg, Germany. |
| Emmerich, W (2001) OMG/CORBA: An object-oriented middleware. In: Encyclopedia of Software Engineering. John Wiley & Sons | |
| Emmerich, W (1998) Recent developments in OMG/CORBA. In: Proceedings of the 20st International Conference on Software Engineering Volume II, Kyoto, Japan. (276 - 277). IEEE Computer Society Press | |
| Emmerich, W (1997) CORBA and ODBMSs in viewpoint development environment architectures. In: (Proceedings) 4th International Conference on Object-Oriented Information Systems. : Brisbane, Australia. | |
| Emmerich, W (1997) An introduction to OMG/CORBA (tutorial). In: Proceedings of the 19th International Conference on Software Engineering 1997, Boston, Massachusetts, United States, May 17 - 23, 1997. (pp. 641 - 642). ACM Press: New York, US. | |
| Emmerich, W (1996) An architecture for viewpoint environments based on OMG/CORBA. In: Proceedings of the Workshop on Viewpoints, San Francisco, California, USA. (207 - 211). ACM Press: New York, NY, USA. | |
| Emmerich, W and Aoyama, M and Sventek, J (2007) The Impact of Research on Middleware Technology. ACM SIGSOFT Software Engineering Notes , 32 (1) 21 - 46. 10.1145/1226816.1226829. |
| Emmerich, W and Arlow, J and Madec, J and Phoenix, M (1997) Tool construction for the British Airways SEE with the O2 ODBMS. Theory and Practice of Object Systems , 3 (3) 213 - 231. | |
| Emmerich, W and Bandinelli, S and Lavazza, L and Arlow, J (1996) Fine grained process modelling: an experiment at British Airways. In: Proceedings of the 4th International Conference on the Software Process, Brighton, United Kingdom. (2 - 12). IEEE Computer Society Press | |
| Emmerich, W and Ellmer, E and Fieglein, H (2001) TIGRA - an architectural style for enterprise application integration. In: (Proceedings) Proc. of the 23rd International Conference on Software Engineering, Toronto, Canada. (pp. 567 - 576). ACM Press | |
| Emmerich, W and Ferrandina, F and Arlow, J (1996) The OMG CORBAServices: an overview (in German). Objekt Spektrum 46 - 56. |
| Emmerich, W and Ferrandina, F and Vogel, A (1996) Integration of Java and CORBA: portable client/server-applications in the Internet (in German). Objekt Spektrum 62 - 65. |
| Emmerich, W and Gruhn, V (1999) Engineering distributed objects (EDO 99) workshop summary. In: Proceedings of the 21st International Conference on Software Engineering 1999, Los Angeles, California, United States, May 16-22, 1999. (pp. 705 - 706). ACM Press: New York, US. |
| Emmerich, W and Gruhn, V (1999) Engineering distributed objects (EDO 99) workshop summary. In: Proceedings of the 21st international conference on software engineering, Los Angeles, California, United States. (705 - 706). IEEE Computer Society Press: Los Alamitos, CA, USA. | |
| Emmerich, W and Gruhn, V (1991) FUNSOFT Nets: a petri-net based software process modeling language. In: Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy. (175 - 184). IEEE Computer Society Press | |
| Emmerich, W and Junkermann, G and Peuschel, B and Schaefer, W and Wolf, S (1991) MERLIN: Knowledge-based Process Modeling. In: Proceedings of the 1st European Workshop on Software Process Modeling, Milan, Italy. (181 - 187). A.I.C.A. Press: Italy. |
| Emmerich, W and Kaveh, N (2001) Component technologies: Java Beans, COM, CORBA, RMI, EJB,and the CORBA component model. In: (Proceedings) Proc.of the Joint 7th European Software Engineering Conference and 9th ACM SIGSOF International Symposium on Foundations of Software Engineering, Vienna, Austria. (pp. 311 - 312). ACM Press | |
| Emmerich, W and Kaveh, N (2000) Model checking distributed objects. In: Obbink, H and Balzer, B, (eds.) (Proceedings) Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland. ACM Press | |
| Emmerich, W and Kroha, P and Schaefer, W (1993) Object-oriented database management systems for construction of CASE environments. In: Mavrik, V and Lavzanksy, J and Wagner, R, (eds.) Database and Expert Systems Applications: Proceedings of the 4th International Conference DEXA '93, Prague, Czech Republic. (631 - 642). Springer Verlag | |
| Emmerich, W and Mascolo, C and Finkelstein, A (2000) Implementing incremental code migration with XML. In: ICSE. (pp. 397 - 406). | |
| Emmerich, W and Roodyn, N (1999) Distributed objects. In: Proceedings of the 21st International Conference on Software Engineering, Los Angeles. (pp. 665 - 666). IEEE Computer Society Press: Los Alamitos, US. | |
| Emmerich, W and Sawyer, P (1998) Guest editor's introduction to the special issue on the conference on european industrial requirements engineering. Requirements Engineering Journal , 3 (2) 71 - 72. | |
| Emmerich, W and Schaefer, W (1993) Dedicated object management benchmarks for software engineering applications. In: Proceedings of the Software Engineering Environments '93, Reading, UK. (130 - 142). IEEE Computer Society Press | |
| Emmerich, W and Schaefer, W and Welsh, J (1993) Databases for software engineering environments: the goal has not yet been attained. In: Sommerville, I and Paul, M, (eds.) Software Engineering ESEC '93: Proceedings of the 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany. (145 - 162). Springer Verlag | |
| Emmerich, W and Schaefer, W and Welsh, J (1992) Suitable databases for process-centred environments do not yet exist. In: Derniame, J, (ed.) Proceedings of the 2nd European Workshop on Software Process Technology, EWSPT '92, Trondheim, Norway. (94 - 98). Springer Verlag | |
| Emmerich, W and Schwarz, W and Finkelstein, A (1999) Markup Meets Middleware. In: FTDCS. (pp. 261 - 266). IEEE Computer Society | |
| Emmerich, W and Spanoudakis, G (1996) Next-generation viewpoint-based environments. (Proceedings of the 7th Workshop on The Next Generation of CASE Technology, Crete, Greece ). Norweigan University of Science and Technology (NTNU): Norway. | |
| Emmerich, W. (2001) Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA component model. In: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on foundations of software engineering, Vienna, Austria. (pp. pp. 311-312). ACM Press: New York, New York, USA. | |
| Emmerich, W. (2000) Software engineering and middleware: a roadmap (Invited talk). In: Finkelstein, A., (ed.) The Future of Software Engineering. (pp. 117-129). ACM Press | |
| Emmerich, W. (1998) Software process: standards, assessments and improvements. In: Derniame, J.C. and Kaba, B.A. and Wastell, D., (eds.) Software Process: Principles, Methodology, Technology. (pp. 15-25). Springer Verlag | |
| Emmerich, W. (1996) Tool specification with GTSL. In: Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany. (pp. pp. 26-35). IEEE Computer Society Press | |
| Emmerich, W. (1996) Tool specification with GTSL. Doctoral thesis, Universität Paderborn. | |
| Emmerich, W. and Butchart, B. and Chen, L. and Wassermann, B. and Price, S. L. (2005) Grid service orchestration using the Business Process Execution Language (BPEL). Journal of Grid Computing , 3 (3-4) pp. 283-304. 10.1007/s10723-005-9015-3. |
| Emmerich, W. and Butchart, B. and Chen, L. and Wassermann, B. and Price, S.L. (2005) Grid service orchestration using the Business Process Execution Language (BPEL). (Research Notes RN/05/07 ). UCL: London, UK. | |
| Emmerich, W. and Finkelstein, A. (1996) Do process-centred environments deserve process-centred tools? In: Montagnero, C., (ed.) Software Process Technology, Proceedings of the 5th European Workshop. (pp. pp. 75-81). Springer Verlag | |
| Emmerich, W. and Finkelstein, A. and Montangero, C. (1997) 'The World and the Machine': a critical perspective on process technology. Presented at: International Workshop on Research Directions in Process Technology, Nancy, France. | |
| Emmerich, W. and Finkelstein, A. and Montangero, C. and Antonelli, S. and Armitage, S. and Stevens, R. (1999) Managing standards compliance. IEEE Transactions on Software Engineering , 25 (6) pp. 836-851. 10.1109/32.824413. | |
| Emmerich, W. and Finkelstein, A. and Montangero, C. and Stevens, R. (1997) Standards compliant software development. Presented at: ICSE Workshop on Living with Inconsistency, Boston, USA. | |
| Emmerich, WJ (2002) Distributed Component Technologies and their Software Engineering Implications. In: Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida. (pp. 537 - 546). ACM Press: New York, US. | |
F
| Farbey, B. and Finkelstein, A. (2001) Software acquisition: a business strategy analysis. In: Proceedings of Requirements Engineering (RE 2001). (pp. pp. 76-83). IEEE Computer Society Press | |
| Farbey, B. and Finkelstein, A. (2001) Evaluation in software engineering: ROI, but more than ROI. Presented at: 3rd International Workshop on Economics-Driven Software Engineering Research (EDSER-3 2001), Westin Harbour Castle Hotel, Toronto, Ontario, Canada. | |
| Farbey, B. and Finkelstein, A. (1999) Exploiting software supply chain business architecture: a research agenda. Presented at: 1st Workshop on Economics-Driven Software Engineering Research (EDSER-1), 21st International Conference on Software Engineering, LA Airport Marriott Hotel, Los Angeles, CA, USA. | |
| Feather, M. and Fickas, S. and Finkelstein, A. and Lamsweerde, A.v. (1997) Requirements and specification exemplars. Automated Software Engineering , 4 (4) pp. 419-438. 10.1023/A:1008680612960. |
| Finkelstein, A and Emmerich, W (2000) The future of requirements management tools. In: Quirchmayr, G and Wagner, R and Wimmer, M, (eds.) Information Systems in Public Administration and Law. Oesterreichische Computer Gesellschaft (Austrian Computer Society) | |
| Finkelstein, A and Gryce, C and Lewis-Bowen, J (2004) Relating Requirements and Architectures: A Study of Data-Grids. In: (pp. 207 - 222). |
| Finkelstein, A and Hetherington, J and Saffrey, P and Warner, A (2003) Model Orchestration: Addressing the Model Management Challenges of Systems Biology. University College London Dept. of Computer Science | |
| Finkelstein, A. (2000) Looking back at Y2K (Alternative titles: 'Y2K: a retrospective view' and 'Head-to-head: looking back at Y2K'). Computing and Control Engineering Journal , 11 (4) pp. 156-159. | |
| Finkelstein, A. (2000) Software engineering (Encylopedia entry). In: Encyclopedia of Information Sciences. Marcel Dekker | |
| Finkelstein, A. (1998) Interoperable Systems: an introduction. In: Kramer, B. and Papazoglou, M. and Schmidt, M., (eds.) Information Systems Interoperability. Research Studies Press | |
| Finkelstein, A. (1996) Improving public understanding of software engineering. IEEE Software , 13 (6) pp. 20-21. | |
| Finkelstein, A. (1996) Requirements engineering research: coordination and infrastructure. Requirements Engineering , 1 (1) pp. 63-69. |
| Finkelstein, A. (1994) Requirements engineering: a review and research agenda. In: Proceedings of 1st Asian-Pacific Software Engineering Conference. (pp. pp. 10-19). IEEE Computer Society Press | |
| Finkelstein, A. (1994) A course on requirements engineering. Presented at: Dagstuhl Seminar on Systems Requirements Analysis - Management and Exploitation. Schloss Dagstuhl Germany, October 4th-7th., Schloss Dagstuhl Germany. |
| Finkelstein, A. (1994) Is application development focused on real problems. In: Pehrson, B. and Simon, I. and Brunnstein, K. and Raubold, E. and Duncan,, K. and Krueger, K., (eds.) Proceedings of the 13th World Computer Congress - IFIP Congress '94, Hamburg, Germany, 28 August-2 September 1994. (pp. pp. 448-450). Elsevier |
| Finkelstein, A. (1993) European computing curricula: a guide and comparative analysis. The Computer Journal , 36 (4) pp. 299-319. 10.1093/comjnl/36.4.299. |
| Finkelstein, A. (1992) A software process immaturity model. SIGSOFT Software Engineering Notes , 17 (5) pp. 22-23. 10.1145/141874.141878. | |
| Finkelstein, A. (1992) An advanced course on software development environments. Presented at: 2nd National Conference on Software Engineering in Higher Education, Swansea Institute of Higher Education (SIHE). | |
| Finkelstein, A. (1992) A scheme for review, annotation and correction of specifications. In: Sharples, M., (ed.) Computers and writing: issues and implementations. (pp. 183-198). Springer Verlag | |
| Finkelstein, A. (1992) A scheme for review, annotation and correction of specifications. Instructional Science , 21 pp. 183-198. | |
| Finkelstein, A. (1992) Software process modelling: a manifesto. IOPener , 1 (4) pp. 3-7. |
| Finkelstein, A. (1991) A (neat) alphabet of requirements engineering issues. In: van Lamsweerde, A. and Fugetta, A., (eds.) ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings. (pp. pp. 489-492). Springer Verlag: Heidelberg/ Berlin, Germany. |
| Finkelstein, A. (1991) Reviewing and correcting specifications. In: Computers and Writing IV. (pp. 219-237). Computers and Writing Association |
| Finkelstein, A. (1991) Tracing back from requirements. In: Colloquium on Tools and Techniques for Maintaining Traceability During Design. Institute of Electrical Engineers | |
| Finkelstein, A. (1990) An example of software development modelling. In: 'Experience with Software Process Models', 5th Software Process Workshop, 10-13 Oct. 1989. (pp. pp. 151-153). IEEE Computer Society Press | |
| Finkelstein, A. (1990) Heterogeneous, composite or multi-paradigm system development. In: Marciniak, J., (ed.) Encyclopedia of Software Engineering. John Wiley |
| Finkelstein, A. (1989) "Not waving but drowning”: representation schemes for modelling software development. In: 11th International Conference on Software Engineering (ICSE '89), Pittsburgh, Pennsylvania, USA. (pp. pp. 402-404). ACM Press: New York, NY, USA. |
| Finkelstein, A. (1989) A structural framework for the formal representation of cooperation. In: 5th Software Process Workshop 10-13 Oct. 1989. (pp. pp. 61-64). IEEE Computer Society Press | |
| Finkelstein, A. (1988) Requirements engineering: methods, tools and frameworks. In: 10th Workshop on Distributed Systems Architecture. (pp. pp. 100-114). Biblioteka Informatyki Szkol Wyzszych |
| Finkelstein, A. (1987) Reuse of formatted specifications. Software Engineering Journal , 3 (5) pp. 186-197. |
| Finkelstein, A. (1986) Making specifications dynamic objects. In: 3rd Software Process Workshop. IEEE Computer Society Press |
| Finkelstein, A. and Easterbrook, S. and Kramer, J. and Nuseibeh, B. (1993) Requirements engineering through viewpoints. In: DRA Colloquium on Analysis of Requirements for Software Intensive Systems. (pp. pp. 18-26). Defence Research Agency | |
| Finkelstein, A. and Hetherington, J. and Linzhong, L. and Margoninski, O. and Saffrey, P. and Seymour, R. and Warner, A. (2004) Computational challenges of systems biology. Computer , 37 (5) pp. 26-33. 10.1109/MC.2004.1297236. | |
| Finkelstein, A. and Kramer, J. (2000) Software engineering: a roadmap. In: Finkelstein, A., (ed.) The Future of Software Engineering 2000: 22nd International Conference on Software Engineering. (pp. pp. 3-24). ACM Press: New York, US. | |
| Finkelstein, A. and Kramer, J. (1992) A critical evaluation of software process modelling techniques. In: IEE Colloquium on Process Planning and Modelling. IEE: London, UK. |
| Finkelstein, A. and Kramer, J. (1991) TARA: tool assisted requirements analysis. In: Loucopoulos, P. and Zicari, R., (eds.) Conceptual Modelling, Databases and CASE: an integrated view of information systems development. (pp. 413-432). John Wiley |
| Finkelstein, A. and Kramer, J. and Abramsky, S. and Broda, K. and Drossopoulou, S. and Eisenbach, S. (1993) An integrated engineering study scheme in computing. The Computer Journal , 36 (4) pp. 320-334. 10.1093/comjnl/36.4.320. |
| Finkelstein, A. and Kramer, J. and Hales, M. (1992) Process modelling: a critical analysis. In: Walton, P. and Maiden, N., (eds.) Integrated Software Reuse: management and techniques. (pp. 137-148). Chapman and Hall and UNICOM | |
| Finkelstein, A. and Potts, C. (1987) Building formal specifications using structured common sense. In: 4th International Workshop Software Specification and Design. (pp. pp. 108-114). IEEE Computer Society Press |
| Finkelstein, A. and Potts, C. (1987) Formalising requirements systematically. In: Informationsbedarfs-ermittlung und - analyse fŸr den Entwurf von Informationssytemen. (pp. 44-58). Springer Verlag |
| Finkelstein, A. and Potts, C. (1986) Formal requirements specification of real-time embedded systems. In: INTERKAMA. (pp. 346-353). Springer Verlag |
| Finkelstein, A. and Potts, C. (1986) Structured common sense: the elicitation and formalisation of system requirements. In: SE 1986. (pp. 236-250). Peter Peregrinus |
| Finkelstein, A. and Ryan, M. and Spanoudakis, G. (1996) Software package requirements and procurement. In: Proceedings of 8th International Workshop on Software Specification Design (IWSSD-8). (pp. pp. 141-146). IEEE Computer Society Press | |
| Finkelstein, A. and Savigni, A. (2001) A framework for requirements engineering for context-aware services. In: First International Workshop From Software Requirements to Architectures (STRAW 01) 23rd International Conference on Software Engineering. IEEE Computer Society Press | |
| Finkelstein, L. and Huang, J. and Finkelstein, A. and Nuseibeh, B. (1992) Using software specification methods for measurement instruments: Part I - structured methods. Measurement , 10 (2) pp. 79-86. 10.1016/0263-2241(92)90016-W. | |
| Finkelstein, L. and Huang, J. and Finkelstein, A. and Nuseibeh, B. (1992) Using software specification methods for measurement instruments: Part II - formal methods. Measurement , 10 (2) pp. 87-92. 10.1016/0263-2241(92)90017-X. | |
| Foster, H and Emmerich, W and Kramer, J and Magee, J and Rosenblum, D and Uchitel, S (2007) Model checking service compositions under resource constraints. In: (Proceedings) Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. (pp. 225 - 234). ACM Press |
G
| Garau, M. and Slater, M. and Pertaub, D.-P. and Razzaque, S. (2005) The responses of people to virtual humans in an immersive virtual environment. Presence: Teleoperators and Virtual Environments , 14 (1) pp. 104-116. 10.1162/1054746053890242. | |
| Gold, R and Mascolo, C (2001) Use of context-awareness in mobile peer-to-peer networks. In: EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS. (pp. 142 - 147). IEEE COMPUTER SOC | |
| Goldsack, S. and Finkelstein, A. (1991) Requirements engineering for real-time systems. Software Engineering Journal , 6 (3) pp. 101-115. |
| Gotel, A. and Finkelstein, A. (1996) Extended requirements traceability: a framework for changing requirements. Presented at: CAISE Workshop on Requirements Engineering in a Changing World, Heraklion, Crete, Greece. |
| Gotel, O. and Finkelstein, A. (1997) Extended requirements traceability: results of an industrial case study. In: Proceedings of 3rd International Symposium on Requirements Engineering (RE '97). (pp. pp. 169-178). IEEE Computer Society Press | |
| Gotel, O. and Finkelstein, A. (1996) Revisiting requirements production. Software Engineering Journal , 11 (3) pp. 66-182. |
| Gotel, O. and Finkelstein, A. (1996) The contribution stuctures of networked organisations. In: ACM Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises (WET-ICE). ACM Press |
| Gotel, O. and Finkelstein, A. (1995) Contribution structures. In: Proceedings of 2nd International Symposium on Requirements Engineering (RE '95). (pp. pp. 100-107). IEEE Computer Society Press | |
| Gotel, O. and Finkelstein, A. (1994) An analysis of the requirements traceability problem. In: Proceedings of 1st International Conference on Requirements Engineering. (pp. pp. 94-101). IEEE Computer Society Press | |
| Gotel, O. and Finkelstein, A. (1994) Modelling the contribution structure underlying requirements. In: 1st International Workshop on Requirements Engineering: Foundations for Software Quality. (pp. pp. 71-81). Auflage Aachen: Verlag der Augustinus Buchhandlung | |
| Gryce, C and Piccinelli, G and Zirpins, C (2003) An architectural model for electronic services. In: Proceedings of IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2003), June 9-11, 2003, University of Linz, Linz, Austria. (113 - 114). IEEE Computer Society | |
H
| Harbird, R and Hailes, S and Mascolo, C (2004) Adaptive resource discovery for ubiquitous computing. In: Nixon, P and Kon, F, (eds.) Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, Toronto, Ontario, Canada, October 18-22, 2004. (155 - 160). ACM |
| Harrold, MJ and Rosenblum, D and Rothermel, G and Weyuker, E (2001) Empirical Studies of a Prediction Model for Regression Test Selection. IEEE Transactions on Software Engineering (TSE) , 27 (3) 248 - 263. 10.1109/32.910860. | |
| Heaven, W. and Finkelstein, A. (2004) A UML profile to support requirements engineering with KAOS. IEE Proceedings: Software. , 151 (1) pp. 10-27. 10.1049/ip-sen:20040297. | |
| Hetherington, J and Bogle, IDL and Saffrey, P and Margoninski, O and Li, L and Rey, MV and Yamaji, S and Baigent, S and Ashmore, J and Page, K and Seymour, RM and Finkelstein, A and Warner, A (2005) Addressing the challenges of multiscale model management in systems biology. In: Pergamon-Elsevier Science Ltd: Glasgow, Scotland. |
| Hughes, A and Emmerich, W (2003) Using programmable network managementtechniques to establish experimental networkingtestbeds. BT Technology Journal , 21 (2) 195 - 203. 10.1023/A:1024437723284. | |
| Hughes, A. (2002) Middleware for managing a large, heterogeneous programmable network. BT Technology Journal , 20 (4) pp. 117-126. 10.1023/A:1021353616091. | |
| Hughes, A. (2002) Requirements of a middleware for managing a large, heterogeneous programmable network. B T Technology Journal , 20 (2) pp. 123-134. 10.1023/A:1015600724832. | |
J
| Jezequel, J and Emmerich, W (2004) MDA in practice (panel). In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, UK. IEEE Computer Society Press | |
K
| Kacprzak, M. and Lomuscio, A. and Niewiadomski, A. and Penczek, W. and Raimondi, F. and Szreter, M. (2006) Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol. Fundamenta Informaticae , 72 (1-3) pp. 215-234. | |
| Kaveh, N and Emmerich, W (2003) Validating Distributed Object and Component Designs. In: Bernardo, M and Inverardi, P, (eds.) Formal Methods for Software Architecture. (63 - 91). Springer Verlag | |
| Kaveh, N and Emmerich, W (2001) Deadlock detection in distributed object systems. In: Joint Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria. (pp. 44 - 51). ACM Press: New York, US. | |
| Kaveh, N. (2001) Using model checking to detect deadlocks in distributed object systems. In: Emmerich, W. and Tai, S., (eds.) Proceedings of the 2nd International Workshop on Distributed Objects, Davis, California, USA, November 2000. (pp. pp. 116-128). Springer Verlag | |
| Kellner, M. and Feiler, P. and Finkelstein, A. and Katayama, T. and Osterweil, L. and Penedo, M. and Rombach, D. (1991) ISPW-6 Software process example. In: 1st International Conference on the Software Process, October 21-26 1991. (pp. pp. 176-187). IEEE Computer Society Press | |
| Kramer, J. and Finkelstein, A. (1991) A configurable framework for method and tool integration. In: Endres, A. and Weber, H., (eds.) European Symposium on Software Development Environments and CASE Technology. (pp. pp. 233-257). Springer Verlag | |
| Kramer, J. and Finkelstein, A. and Nuseibeh, B. (1993) Method integration and support for distributed software development: an overview. In: Studies of Software Design. (pp. 115-126). Springer Verlag |
L
| Lamanna, DD and Skene, J and Emmerich, W (2003) SLAng: A Language for Service Level Agreements. In: (Proceedings) Proc. of the 9th IEEE Workshop on Future Trends in Distributed Computing Systems. (pp. 100 - 106). IEEE Computer Society Press | |
| Lathia, N. and Hailes, S. and Capra, L. (2008) Trust based collaborative filtering. In: Karabulut, Y. and Mitchell, J.C. and Herrmann, P. and Jensen, C.D., (eds.) Trust Management II: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway. Springer Verlag: New York, USA. | |
| Leontiadis, I. (2010) A content dissemination framework for vehicular networking. Doctoral thesis, UCL (University College London). | |
| Letier, E and Kramer, J and Magee, J and Uchitel, S (2005) Monitoring and control in scenario-based requirements analysis. In: ICSE 05: 27th International Conference on Software Engineering, Proceedings. (pp. 382 - 391). ASSOC COMPUTING MACHINERY | |
| Letier, E and van Lamsweerde, A (2002) Agent-based tactics for goal-oriented requirements elaboration. In: ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. (pp. 83 - 93). ASSOC COMPUTING MACHINERY |
| Letier, E. and van Lamsweerde, A. (2002) Deriving operational software specifications from system goals. In: Souffa, M.L. and Griswold, W., (eds.) Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering (SIGSOFT 02/FSE 10). (pp. pp. 119-128). The Association for Computing Machinery: New York, US. |
| Lim, S.L. and Quercia, D. and Finkelstein, A. (2010) StakeNet: using social networks to analyse the stakeholders of large-scale software projects. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering: ICSE’10 Volume 1. (pp. pp. 295-304). Association for Computing Machinery: New York, US. | |
| Lim, S.L. and Quercia, D. and Finkelstein, A. (2010) StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering: ICSE’10 Volume 2. (pp. pp. 239-242). Association for Computing Machinery: New York, US. | |
| Liu, H. (2010) Support for flexible and transparent distributed computing. Doctoral thesis, UCL (University College London). | |
| Lomuscio, A and Pecheur, C and Raimondi, F (2007) Automatic verification of knowledge and time with NuSMV. In: Veloso, M, (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. (pp. 1384 - 1389). IJCAI/ AAAI Press: Menlo Park, US. | |
| Lomuscio, A. (1999) Information sharing among ideal agents. Doctoral thesis, University of Birmingham. | |
| Lomuscio, A. and Raimondi, F. and Wozna, B. (2006) Verification of the TESLA protocol in MCMAS-X. In: Lindemann, G. and Schlingloff, H., (eds.) Proceedings of Concurrency, Specification and Programming (CS&P) 2006. (pp. pp. 255-267). Humboldt University Press: Wandlitz, Germany. | |
M
| Mansour, N. and Bahsoon, R. and Baradhi, G. (2001) Empirical comparison of regression test selection algorithms. Systems and Software , 57 (1) pp. 79-90. 10.1016/S0164-1212(00)00119-9. |
| Mascolo, C and Capra, L and Emmerich, W (2004) Principles of Mobile Computing Middleware. In: Mahmoud, Q, (ed.) Middleware for Communications. (261 - 280). John Wiley |
| Mascolo, C and Emmerich, W and de Meer, H (2001) XMILE:An XML-based approach for programmable networks. In: (Proceedings) Proc. AISB Symposium on Software Mobility and Adaptive Behaviour, York, UK. (pp. 57 - 64). | |
| Mascolo, C. (2001) Specification, analysis and prototyping of mobile code systems. Doctoral thesis, Universita di Bologna. | |
| Mascolo, C. (1999) Specification, analysis, and prototyping of mobile systems. In: Proceedings of 21st International Conference on Software Engineering(ICSE-99). (pp. pp. 724-725). IEEE Computer Society Press: Los Angeles, California, USA. | |
| Mascolo, C. and Capra, L. and Emmerich, W. (2002) Mobile computing middleware. In: Gregori, E. and Anastasi, G. and Basagni, S., (eds.) Advanced Lectures on Networking. (pp. 20-58). Springer Verlag |
| Mascolo, C. and Capra, L. and Zachariadis, S. and Emmerich, W. (2002) XMIDDLE: a data-sharing middleware for mobile computing. Wireless Personal Communications , 21 (1) pp. 77-103. 10.1023/A:1015584805733. |
| Mascolo, C. and Emmerich, W. and Finkelstein, A. (2001) XML technologies and software engineering. In: Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada. (pp. pp. 775-776). IEEE Computer Society: Washington, DC, USA. | |
| Mascolo, C. and Emmerich, W. and Finkelstein, A. (2000) XMILE: an incremental code mobility system based on XML technologies. Presented at: 2nd Int. Symposium on Agent Systems and Applications and Mobile Agents (ASA/MA2000) September, Zurich, Switzerland. | |
| Mascolo, C. and Musolesi, M. and Pastzor, B. (2006) Data collection in delay tolerant mobile sensor networks using SCAR. In: SenSys'06: Proceedings of the Fourth International Conference on Embedded Sensor Systems: Oct. 31 - Nov. 3 3006, Boulder, Colorado, USA. (pp. pp. 343-344). ACM Press: New York, US. | |
| Mascolo, C. and Picco, G.P. and Roman, G.-C. (2004) CODEWEAVE: exploring fine-grained mobility of code. Automated Software Engineering (Special Issue on Mobility) , 11 (3) pp. 207-243. 10.1023/B:AUSE.0000028535.07877.da. | |
| Mascolo, C. and Picco, G.P. and Roman, G.-C. (1999) A fine-grained model for code mobility. In: Nierstrasz, O. and Lemoine, M., (eds.) Proceedings of 7th European Software Engineering Conference (ESEC/FSE 99). (pp. pp. 39-56). Springer Verlag | |
| Mascolo, C. and Zanolin, L. and Emmerich, W. (2002) XMILE: an XML based Approach for Incremental Code Mobility and Update. Automated Software Engineering , 9 (2) pp. 151-165. 10.1023/A:1014582329991. |
| Maule, A. (2010) Impact analysis of database schema changes. Doctoral thesis, UCL (University College London). | |
| McNamara, L. and Mascolo, C. and Capra, L. (2007) Content source selection in Bluetooth networks. In: Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services, 2007. MobiQuitous 2007. (pp. pp. 1-8). IEEE | |
| McNamara, L.J.J. (2010) Colocation aware content sharing in urban transport. Doctoral thesis, UCL (University College London). | |
| Medvidovic, N and Rosenblum, DS and Redmiles, DF and Robbins, JE (2002) Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology , 11 (1) 2 - 57. 10.1145/504087.504088. |
| Morris, S. and Finkelstein, A. (1999) Engineering via discourse: content structure as an essential component for multimedia documents. International Journal of Software Engineering and Knowledge Engineering , 9 (6) pp. 691-724. 10.1142/S0218194099000371. |
| Morris, S. and Finkelstein, A. (1996) Integrating design and development in the production of multimedia documents. In: 1996 International Workshop on Multimedia Software Development (MMSD '96). (pp. pp. 98-107). IEEE Computer Society Press |
| Morris, S. and Finkelstein, A. (1993) Development of multiple media documents. In: ACM Conference on Organisational Computing Systems. (pp. pp. 69-77). ACM Press: New York, NY, USA. | |
| Musolesi, M and Hailes, S and Mascolo, C (2005) Adaptive routing for intermittently connected mobile ad hoe networks. In: UNSPECIFIED (183 - 189). IEEE COMPUTER SOC | |
| Musolesi, M and Hailes, S and Mascolo, C (2005) Social networks based ad hoc mobility models. In: Proceedings of the 3rd UK-UbiNet Workshop. Unknown |  |
| Musolesi, M and Hailes, S and Mascolo, C (2004) An ad hoc mobility model founded on social network theory. In: Balsamo, S and Chiasserini, C and Donatiello, L, (eds.) Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004. (20 - 24). ACM |
| Musolesi, M and Mascolo, C (2007) Designing Mobility Models based on Social Network Theory. ACM SIGMOBILE Mobile Computing and Communications Review , 11 (3) 59 - 70. |
| Musolesi, M and Mascolo, C and Hailes, S (2006) Epidemic Messaging Middleware for Ad hoc networks. PERS UBIQUIT COMPUT , 10 (1) 28 - 36. 10.1007/s00779-005-0037-4. |
| Musolesi, M. (2004) Designing a context-aware middleware for asynchronous communication in mobile ad hoc environments. In: In Middleware 2004 Companion Proceedings. (pp. pp. 304-308). ACM Press: New York, NY, USA. | |
| Musolesi, M. and Mascolo, C. (2006) Controlled epidemic-style dissemination Middleware for mobile ad hoc networks. In: Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006). (pp. pp. 1-9). IEEE Computer Society Press: Piscataway, US. |
| Musolesi, M. and Mascolo, C. and Hailes, S. (2004) Adapting asynchronous messaging middleware to ad hoc networking. In: Proceedings of the 2nd International Workshop on Middleware for Pervasive and Ad-Hoc Computing. In Middleware 2004 Companion Proceedings. (pp. pp. 121-126). ACM Press: New York, NY, USA. | |
N
| Nentwich, C and Capra, L and Emmerich, W and Finkelstein, A (2002) xlinkit: a consistency checking and smart link generation service. 151 - 185. 10.1145/514183.514186. |
| Nentwich, C. (2005) Managing the consistency of distributed documents. Doctoral thesis, University of London. | |
| Nentwich, C. and Emmerich, W. and Finkelstein, A. (2003) Consistency management with repair actions. In: Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon (ICSE'03). (pp. pp. 455-464). IEEE Computer Society: Washington, D.C., USA. | |
| Nentwich, C. and Emmerich, W. and Finkelstein, A. (2002) Edit, compile, debug: from hacking to distributed engineering. Presented at: Workshop on Aspect Oriented Design at the 1st International Conference on Aspect Oriented Software Development (AOSD), Enschede, The Netherlands. | |
| Nentwich, C. and Emmerich, W. and Finkelstein, A. (2001) Static consistency checking for distributed specifications. In: Proceedings of the 16th Automated Software Engineering Conference, Coronado Island, CA. (pp. pp. 115-124). IEEE Computer Society | |
| Nentwich, C. and Emmerich, W. and Finkelstein, A. and Ellmer, E. (2003) Flexible consistency checking. ACM Transactions on Software Engineering and Methology , 12 (1) pp. 28-63. 10.1145/839268.839271. |
| Nentwich, C. and Emmerich, W. and Finkelstein, A. and Zisman, A. (2000) BOX: Browsing Objects in XML. Software Practice and Experience , 30 (15) pp. 1661-1676. 10.1002/1097-024X(200012)30:15<1661::AID-SPE353>3.0.CO;2-O. |
| Nowell, H and Butchart, B and Coombes, DS and Price, SL and Emmerich, W and Catlow, CRA (2004) Increasing the scope for polymorph prediction usinge-Science. In: Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (968 - 971). UK Engineering and Physical Science Research Council | |
| Nuseibeh, B. and Finkelstein, A. and Kramer, J. (1993) Fine-grain process modelling. In: 7th International Workshop on Software Specification and Design (IWSSD-7). (pp. pp. 42-46). IEEE Computer Society Press | |
O
| Orso, A and Do, H and Rothermel, G and Harrold, MJ and Rosenblum, DS (2007) Using component metadata to regression test component-based software. SOFTW TEST VERIF REL , 17 (2) 61 - 94. 10.1002/stvr.344. |
P
| Parigot, D. and Courbis, C. and Degenne, P. and Fau, A. and Pasquier, C. and Fillon, J. and Help, C. and Attali, I. (2002) Aspect and XML-oriented Semantic Framework Generator:SmartTools. Electronic Notes in Theoretical Computer Science , 65 (3) pp. 1-20. 10.1016/S1571-0661(04)80429-8. | |
| Parker, GJM and Alexander, DC (2005) Probabilistic Anatomical Connectivity Derived from the Microscopic Persistent Angular Structure of Cerebral Tissue. In: International Society for Magnetic Resonance in Medicine 13th Annual Scientific Meeting and Exhibition: 2005 Proceedings. (pp. 735 - 735). International Society for Magnetic Resonance in Medicine: Berkeley, US. | |
| Pecheur, C. and Raimondi, F. (2006) Symbolic model checking of logics with actions. In: Edelkamp, S. and Lomuscio, A., (eds.) Model Checking and Artifical Intelligence: 4th Workshop, MoChArt IV, Riva del garda, Italy, August 29, 2006, Revised Selected and Invited Papers. (pp. pp. 113-128). Springer Verlag: Berlin/ Heidelberg, Germany. | |
| Piccinelli, G and Emmerich, W and Williams, SL and Stearns, M (2003) A model-driven architecture for electronicservice management systems. In: Orlowska, M and Weerawarana, S and Papazoglou, M and Yang, J, (eds.) Proc. of the 1st International Conference on Service-Oriented Computing, Trento, Italy. (241 - 255). Springer | |
| Piccinelli, G and Emmerich, W and Zirpins, C and Schuette, K (2002) Web Services Interfaces for Inter-Organizational Business Process: An Infrasctructure for Automated Reconciliation. In: (Proceedings) Proceedings of the 6th Int.Enterprise Distributed Object Computing, (EDOC2002) IEEE Computer Society. Los Almitos, California. (pp. 285 - 292). | |
| Piccinelli, G and Zirpins, C and Lamersdorf, W (2003) The FRESCO framework: an overview. In: 2003 Symposium on Applications and the Internet Workshops (SAINT 2003 Workshops). (120 - 123). IEEE Computer Society | |
| Piccinelli, G. and Salle, M. and Zirpins, C. (2001) Service-oriented modeling for e-business applications components. In: Proceedings of IEEE 10th International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2001), June 20-22 2001, Massachusetts Institute of Technology, Cambridge, MA, USA. (pp. pp. 12-17). IEEE Computer Society | |
| Piccinilli, G. and Emmerich, W. and Finkelstein, A. (2001) Mapping service components to EJB business objects. In: Proceedings of the 5th Enterprise Distributed Object Computing Conference. (pp. pp. 169-173). IEEE Computer Society Press | |
| Popa, L and Raiciu, C and Stoica, I and Rosenblum, DS (2006) Reducing Congestion Effects by Multipath Routing in Wireless Networks. IEEE, Santa Barbara, USA. | |
Q
| Quercia, D and Lad, M and Hailes, S and Capra, L and Bhatti, S (2006) STRUDEL: supporting trust in the dynamic establishment of peering coalitions. In: Haddad, H, (ed.) SAC. (pp. 1870 - 1874). ACM |
| Quercia, D. and Capra, L. (2009) FriendSensing: recommending friends using mobile phones. In: RecSys' 09: Proceedings of the third ACM conference on Recommender systems. (pp. pp. 273-276). Association for Computing Machinery: New York, US. | |
| Quercia, D. and Hailes, S. and Capra, L. (2006) B-Trust: Bayesian trust framework for pervasive computing. In: Trust Management: Proceedings of the 4th International Conference, iTrust 2006. (pp. pp. 298-312). Springer Verlag: Berlin / Heidelberg, Germany. | |
| Quercia, D. and Hailes, S. and Capra, L. (2006) TATA: towards anonymous trusted authentication. In: Trust Management. (pp. pp. 313-323). Springer: Berlin/ Heidelberg, Germany. |
| Quercia, D. and Hailes, S. and Capra, L. (2007) TRULLO - local trust bootstrapping for ubiquitous devices. In: MobiQuitous 2007. Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services, 2007. (pp. pp. 1-9). IEEE | |
R
| Raiciu, C and Handley, M and Rosenblum, D (2006) Revisiting Content-Based Publish/Subscribe. In: (Proceedings) 26th IEEE International Conference on Distributed Computing Systems Workshops. (pp. 19 - 19). IEEE Computer Society: Washington, DC, USA. | |
| Raiciu, C and Handley, M and Rosenblum, DS (2006) Exploit Hijacking: Side Effects of Smart Defenses. In: Proceedings of the 2006 SIGCOMM Workshop on Large-Scale Attack Defense: Applications, Technologies, Architectures, and Protocols for Computer Communication. (pp. 123 - 130). ACM Press: New York, US. |
| Raiciu, C and Rosenblum, DS (2006) Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures. Securecomm and Workshops, 2006 1 - 11. 10.1109/SECCOMW.2006.359552. | |
| Raimondi, F and Lomuscio, A (2005) Automatic verification of deontic interpreted systems by model checking via OBDD's. Journal of Applied Logic |
| Raimondi, F and Skene, J and Emmerich, W (2008) Efficient Online Monitoring of Web-Service SLAs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, November 09-14, 2008 Atlanta, Georgia. (pp. 170 - 180). ACM Press: New York, US. | |
| Raimondi, F. (2006) Model checking multi-agent systems. Doctoral thesis, University of London. | |
| Rio, M and Pezzi, N and Zanolin, L and de Meer, H and Emmerich, W and Mascolo, C (2001) Promile: A management architecture for programmable modular routers. In: (Proceedings) Proc. OPENSIG 2001 Workshop on Next Generation Network Programming, London. | |
| Rodrigues, G and Roberts, G and Emmerich, W (2004) Reliability support for the Model Driven Architecture. In: de Lemos, R and Gacek, C and Romanovsky, A, (eds.) Architecting Dependable Systems II. (79 - 98). Springer Verlag |
| Rodrigues, G and Rosenblum, D and Uchitel, S (2005) Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In: Cerioli, M, (ed.) Proc. ETAPS 2005 International Conference on Fundamental Approaches to Software Engineering - FASE 2005. (111 - 126). Springer | |
| Rodrigues, G and Rosenblum, D and Uchitel, S (2005) Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In: Proceedings ICSE 2005 Workshop on Architecting Dependable Systems. (73 - 77). ACM Press: USA. | |
| Rodrigues, G.N. and Rosenblum, D.S. and Uchitel, S. (2005) Reliability prediction in model driven development. In: Briand, L. and Williams, C., (eds.) Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings. (pp. pp. 339-354). Springer-Verlag: Berlin / Heidelberg, Germany. | |
| Rodrigues, GN and Rosenblum, D and Emmerich, W (2004) A model driven approach for software systems reliability. In: Proceedings, 26th International Conference on Software Engineering, ICSE 2004, May 23–28, 2004, Edinburgh International Conference Centre Edinburgh, Scotland, United Kingdom. (pp. 30 - 32). IEEE Computer Society Press: Los Alamitos, US. | |
| Rodrigues, GN and Rosenblum, DS and Wolf, J (2007) Reliability Analysis of Concurrent Systems using LTSA. IEEE Computer Society, Minneapolis, USA. | |
| Roodyn, N and Emmerich, W (1999) An architectural style for multiple real-time data feeds. In: Proceedings of the 21st International Conference on Software Engineering, Los Angeles. (564 - 572). IEEE Computer Society Press: Los Alamitos, CA, USA. | |
| Rosenblum, D. (1988) Design and verification of distributed tasking supervisors for concurrent programming languages. Doctoral thesis, Stanford University. | |
| Precache Inc. (2006) Method for sending and receiving a Boolean function over a network. US 7,117,270 B2. | |
| Precache Inc. (2005) Method for storing boolean functions to enable evaluation, modification, reuse, and delivery over a network. US 6,910,033 B2. | |
S
| Sanchez-Vives, MV and Slater, M (2005) From presence to consciousness through virtual reality. NAT REV NEUROSCI , 6 (4) 332 - 339. 10.1038/nrn1651. | |
| Sharp, H. and Finkelstein, A. and Galal, G. (1999) Stakeholder identification in the requirements engineering process. In: Proceedings of 10th International Workshop on Database & Expert Systems Applications (DEXA). (pp. pp. 387-391). IEEE Computer Society Press | |
| Skene, J and Emmerich, W (2005) Engineering Runtime Requirements-Monitoring Systems using MDATechnologies. In: IFIP Symposium on Trustworthy Global Computing. (319 - 333). Springer | |
| Skene, J and Emmerich, W (2004) Generating a contract checker for an SLA language. In: Proceedings of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California. IEEE Computer Society Press | |
| Skene, J and Emmerich, W (2003) Model driven performance analysis of enterprise information systems. Electronic Notes in Theoretical Computer Science , 82 (6) 1 - 11. 10.1016/S1571-0661(04)81033-8. |
| Skene, J and Emmerich, W (2003) A model-driven approach to non-functional analysis of software architectures. In: Proceedings, 18th IEEE International Conference on Automated Software Engineering, Montreal, Quebec, Canada October 6 to 10, 2003. (pp. 236 - 239). IEEE Computer Society Press: Los Alamitos, California. | |
| Skene, J and Lamanna, DD and Emmerich, WJ (2004) Precise service level agreements. In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, UK. (pp. 179 - 188). IEEE Computer Society Press: Los Alamitos, US. | |
| Skene, J and Skene, A and Crampton, J and Emmerich, W (2007) The Monitorability of Service-Level Agreements for Application-Service Provision. In: Proceedings of the WOSP '07: Sixth International Workshop on Software and Performance: February 5-8, 2007, Buenos Aires, Argentina. (pp. 3 - 14). ACM Press: New York, US. |
| Skene, J. (2007) Language support for service-level agreements for application-service provision. Doctoral thesis, University of London. | |
| Skene, J. and Piccinelli, G. and Stearns, M. (2003) Modelling electronic service systems using UML. Presented at: Workshop on Service Based Software Engineering, FM2003-SBSE, Pisa, Italy. | |
T
| Takahashi, K. and Emmerich, W. and Finkelstein, A. and Guerra, S. (2000) System development using application services over the Net (tutorial summary). In: Proceedings of the 22rd International Conference on Software Engineering, Limerick, Ireland. (pp. p. 830). IEEE Computer Society Press | |
W
| Wang, Z. and Elbaum, S. and Rosenblum, D.S. (2007) Automated generation of context-aware tests. In: 29th International Conference on Software Engineering (ICSE'07). (pp. pp. 406-415). IEEE Computer Society Press | |
| Wang, Z. and Elbaum, S. and Rosenblum , D.S. (2007) Automated Generation of Context-Aware Tests. In: Proceedings of the 29th International Conference on Software Engineering. (pp. 406-415 ). IEEE Computer Society : Minneapolis, USA . | |
| Wassermann, B and Emmerich, W (2007) Reliable Scientific Service Compositions. In: Workshop Proceedings of the 4th Int. Conf. on Service Oriented Computing (ICSOC 2006), Chicago, IL. (14 - 25). Springer | |
| Wassermann, B and Emmerich, W and Butchart, B and Cameron, N and Chen, L and Patel, J (2007) Sedna: A BPEL-based environment for visual scientific workflow modelling. In: Taylor, IJ and Deelman, E and Gannon, DB and Shields, M, (eds.) Workflows for e-Science. (428 - 449). Springer |
| Wilson, P and Emmerich, W and Brodholt, J (2004) Leveraging HTC for UK eScience with very large Condor pools: demand for transforming untapped power into results. In: Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (308 - 315). UK Engineering and Physical Science Research Council | |
| Winder, R. and Roberts, G. (1997) Developing Java software. J. Wiley & Sons: Chichester, UK. |
| Wozna, B and Lomuscio, A (2005) A logic for knowledge, correctness, and real time. In: Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'04). Springer Verlag |
| Wozna, B and Lomuscio, A and Penczek, W (2005) Bounded model checking for deontic interpreted systems. Electronic Notes in Theoretical Computer Science (Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004)) , 126 93 - 114. 10.1016/j.entcs.2004.11.015. |
| Wozna, B and Penczek, W and Lomuscio, A (2004) Bounded Model Checking for knowledge over real time. In: (Proceedings) Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'04). (pp. 398 - 414). |
Z
| Zachariadis, S and Capra, L and Mascolo, C and Emmerich, W (2002) XMIDDLE: Information sharing middleware for a mobile environment. In: ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. (pp. 712 - 712). ASSOC COMPUTING MACHINERY | |
| Zachariadis, S and Mascolo, C (2003) Adaptable mobile applications through SATIN: exploiting logical mobilityin mobile computing middleware. In: (Proceedings) 1st UK-UbiNet Workshop. : Imperial College, London, UK. | |
| Zachariadis, S and Mascolo, C and Emmerich, W (2003) Adaptable mobile applications: Exploiting logical mobility in mobile computing. In: Horlait, E and Magedanz, T and Glitho, RH, (eds.) UNSPECIFIED (170 - 179). SPRINGER-VERLAG BERLIN | |
| Zachariadis, S. (2005) Adapting mobile systems using logical mobility primitives. Doctoral thesis, University of London. | |
| Zachariadis, S. and Mascolo, C. and Emmerich, W. (2006) The SATIN component system - a metamodel for engineering adaptable mobile systems. IEEE Transactions on Software Engineering , 32 (11) pp. 910-927. 10.1109/TSE.2006.115. | |
| Zachariadis, S. and Mascolo, C. and Emmerich, W. (2004) SATIN: a component model for mobile self-organisation. In: Meersman, R. and Tari, Z., (eds.) On the Move to Meaningful Internet Systems 2004: Proceedings of CoopIS, DOA and ODBASE, Agia Napa, Cyprus. (pp. pp. 1303-1321). Springer Verlag | |
| Zachariadis, S. and Mascolo, C. and Emmerich, W. (2002) Exploiting logical mobility in mobile computing middleware. In: Proceedings of the Distributed Computing Systems Workshops, 22nd International Conference on Distributed Computing Systems (ICDCS '02). (pp. pp. 385-386). IEEE Computer Society Press | |
| Zanolin, L and Mascolo, C and Emmerich, W (2002) Model checkingprogrammable router configurations. (Research Note 02/23 ). UCL CS | |
| Zirpins, C. and Piccinelli, G. (2002) Interaction-driven definition of e-business processes. In: Proceedings of 26th International Computer Software and Applications Conference (COMPSAC 2002). (pp. pp. 738-740). IEEE Computer Society | |
| Zisman, A and Emmerich, W and Finkelstein, A (2000) Using XML to build consistency rules for distributed specifications. In: TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN. (pp. 141 - 148). IEEE COMPUTER SOC | |