Deposit your research

• Open Access
• About UCL Discovery
• UCL Discovery Plus
• REF and open access
• UCL Press
• UCL e-theses guidelines
• Statistics
• FAQs
• Notices and policies
• Contact us

Items where Subject is "Software Systems Engineering"

Export as ASCII CitationBibTeXEndNoteHTML CitationMultiline CSVObject IDsRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager

Atom RSS 1.0 RSS 2.0

Group by: Author | Type | Date

Jump to: A | B | C | D | E | F | G | H | J | K | L | M | N | P | Q | R | S | T | W | Z

Number of items at this level: 223.

A

Abiteboul, S; Adiba, M; Arlow, J; Armenise, P; Bandinelli, S; Baresi, L; Breche, P; ... Zicari, R; + view all Abiteboul, S; Adiba, M; Arlow, J; Armenise, P; Bandinelli, S; Baresi, L; Breche, P; Buddrus, F; Collet, C; Collet, P; Corte, P; Coupaye, TH; Delobel, C; Emmerich, W; Ferran, G; Ferrandina, F; Fuggetta, A; Ghezzi, C; Lautemann, SE; Lavazza, L; Madec, J; Phoenix, M; Sachweh, S; Schaefer, W; Souza dos Santos, C; Tigg, G; Zicari, R; - view fewer (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. (pp. 10-19). IEEE Computer Society Press

Ackemann, T; Gold, R; Mascolo, C; Emmerich, W; (2002) Incentives in peer-to-peer and grid networking. (Research Note 02/24 ). UCL-CS

Alves, C.; 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.; Finkelstein, A.; (2002) Negotiating requirements for COTS-based systems. Presented at: Eighth International Workshop on Requirements Engineering: Foundation for Software Quality. REFSQ, Essen, Germany.

Arlow, J; Bandinello, S; Emmerich, W; Lavazza, L; (1997) A Fine-Grained Process Modelling Experiment at British Airways. Software Process , 3 pp. 105-131.

Arlow, J; Quinn, J; 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. (pp. 189-199). Springer Verlag

Armitage, S.; Stevens, R.; Finkelstein, A.; (1998) Implementing a compliance manager. Requirements Engineering , 3 (2) pp. 98-106.

Attali, I.; Caromel, D.; Courbis, C.; Henrio, L.; 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.; Caromel, D.; Courbis, C.; Henrio, L.; 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.; Courbis, C.; Degenne, P.; Fau, A.; Fillon, J.; Parigot, D.; Pasquier, C.; Attali, I.; Courbis, C.; Degenne, P.; Fau, A.; Fillon, J.; Parigot, D.; Pasquier, C.; Sacerdoti Coen, C.; - view fewer (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

B

Bahsoon, R; Emmerich, W; (2004) Evaluating architectural stability with real option theory. In: UNSPECIFIED (pp. 443-447). IEEE COMPUTER SOC

Bahsoon, R; 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; 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; Emmerich, W; (2003) Evaluating Software Architectures: Development Stability and Evolution. In: (pp. pp. 47-56). IEEE Computer Society Press: Los Alamitos, US.

Bahsoon, R.; 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.; Emmerich, W.; 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.; 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

Begent, R.; Brady, J.M.; Finkelstein, A.; Gavaghan, D.; Kerr, P.; Parkinson, H.; Reddington, F.; Begent, R.; Brady, J.M.; Finkelstein, A.; Gavaghan, D.; Kerr, P.; Parkinson, H.; Reddington, F.; Wilkinson, J.M.; - view fewer (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

Brebner, P; Emmerich, W; (2005) Deployment of infrastructure and services in the open grid services architecture (OGSA). In: Dearle, A and Eisenbach, S, (eds.) UNSPECIFIED (pp. 181-195). SPRINGER-VERLAG BERLIN

Brebner, P.; 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.

Butchart, B; Chapman, C; 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

Calleja, M; Blanshard, L; Bruin, R; Chapman, C; Thandavan, A; Tyer, R; Wilson, P; ... Kleese van Dam, K; + view all Calleja, M; Blanshard, L; Bruin, R; Chapman, C; Thandavan, A; Tyer, R; Wilson, P; Alexandrof, V; Brodholt, J; Dove, MT; Emmerich, W; Kleese van Dam, K; - view fewer (2004) Grid tool integration within the eMinerals Project. In: Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 812-817). UK Engineering and Physical Science Research Council

Calleja, M.; Bruin, R.; Tucker, M.G.; Dover, .M.T.; Tyer, R.; Blanshard, L.; Kleese van Dam, K.; ... Alexandrov, V.N.; + view all Calleja, M.; Bruin, R.; Tucker, M.G.; Dover, .M.T.; Tyer, R.; Blanshard, L.; Kleese van Dam, K.; Allen, R.J.; Chapman, C.; Emmerich, W.; Wilson, P.; Brodholt, J.; Thandavan, A.; Alexandrov, V.N.; - view fewer (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: (Proceedings) 5th IEEE International Conference on Pervasive Computing and Communications. (pp. pp. 449-454). IEEE COMPUTER SOC

Capra, L; Blair, GS; Mascolo, C; Emmerich, W; Grace, P; (2002) Exploiting reflection in mobile computing middleware. In: (pp. pp. 34-44).

Capra, L; Emmerich, W; Mascolo, C; (2001) Reflective middleware solutions for context-aware applications. In: (pp. pp. 126-133).

Capra, L; (2005) Reasoning about Trust Groups to Coordinate Mobile Ad-Hoc Systems. In: (pp. 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; (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

Capra, L; Emmerich, W; Mascolo, C; (2002) A micro-economic approach to conflict resolution in mobile computing. In: (pp. pp. 31-40).

Capra, L; Emmerich, W; Mascolo, C; (2001) Middleware for mobile computing: awareness vs. transparency (position summary). In: (pp. p. 142). IEEE Computer Society Press

Capra, L; Mascolo, C; Zachariadis, S; 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.; Emmerich, W.; 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.; Zachariadis, S.; 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.

Capra, Licia; (2003) Reflective mobile middleware for context-aware applications. Doctoral thesis (Ph.D), University of London.

Chapman, C; Wilson, P; Tannenbaum, T; Farrellee, M; Livny, M; Brodholt, J; 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. (pp. 870-877). UK Engineering and Physical Science Research Council

Chapman, C.; Goonatilake, C.; Emmerich, W.; Farrellee, M.; Tannenbaum, T.; Livny, M.; Calleja, M.; Chapman, C.; Goonatilake, C.; Emmerich, W.; Farrellee, M.; Tannenbaum, T.; Livny, M.; Calleja, M.; Dove, M.; - view fewer (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.; Musolesi, M.; Emmerich, W.; 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; Cimato, S; Mascolo, C; (1997) Engineering formal requirements: an analysis and testing method for Z documents. Annals of Software Engineering , 3 (1/3) pp. 189-220.

Ciancarini, P; Mascolo, C; (1998) Software architecture and mobility. In: Proceedings of 3rd International Software Architecture Workshop (ISAW-3). (pp. 21-24). ACM Press: New York, NY, USA.

Ciancarini, P.; Cimato, S.; 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.; Franze, F.; 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.; 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.; 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.; 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.; Mascolo, C.; 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

Clarke, LA; Rosenblum, DS; (2006) A Historical Perspective on Runtime Assertion Checking in Software Development. SIGSOFT Software Engineering Notes , 31 (3) pp. 25-37. 10.1145/1127878.1127900.

Colbert, M.; Voglimacci, C.; 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; Coulson, G; Gold, R; Lad, M; Mascolo, C; Mottola, L; Picco, GP; ... Zachariadis, S; + view all Costa, P; Coulson, G; Gold, R; Lad, M; Mascolo, C; Mottola, L; Picco, GP; Sivaharan, T; Weerasinghe, N; Zachariadis, S; - view fewer (2007) The RUNES middleware for networked embedded systems and its application in a disaster management scenario. In: (Proceedings) 5th IEEE International Conference on Pervasive Computing and Communications. (pp. 69-+). IEEE COMPUTER SOC

Costa, P.; Coulson, G.; Mascolo, C.; Picco, G.P.; 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.; 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.; 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.

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).

Denaro, G; Polini, A; Emmerich, W; (2004) Early performance testing of distributed software applications. In: UNSPECIFIED (pp. 94-103).

Denaro, G; Polini, A; Emmerich, W; (2005) Performance Testing of Distributed Component Architectures. In: Beydeda, S and Gruhn, V, (eds.) Building Quality into COTS Components - Testing and Debugging. (pp. 294-314). Springer

Dewal, S; Emmerich, W; Lichtinghagen; (1992) Decision support method for the selection of OMSs. In: UNSPECIFIED (pp. 32-40).

Dingwall-Smith, A.; 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; Wicks, T; Emmerich, W; (2005) Experience with lightweight distributed component technologies in Business Intelligence systems. In: Gschwind, T and Mascolo, C, (eds.) UNSPECIFIED (pp. 214-229). SPRINGER-VERLAG BERLIN

Duboc, L; Rosenblum, DS; Wicks, T; (2006) A Framework for Modelling and Analysis of Software Systems Scalability. In: Osterweil, L and Rombach, D and Soffa, M, (eds.) (pp. pp. 949-952). Association for Computing Machinery: Shanghai, China New York.

Dui, D; Emmerich, W; (2003) Compatibility of XML language versions. In: Westfechtel, B and VanderHoek, A, (eds.) UNSPECIFIED (pp. 148-162). SPRINGER-VERLAG BERLIN

Dui, D; Emmerich, W; Nentwich, C; Thal, B; (2003) Consistency checking of financial derivatives transactions. In: Aksit, M and Mezini, M and Unland, R, (eds.) UNSPECIFIED (pp. 166-183). SPRINGER-VERLAG BERLIN

Dyo, V.; (2009) Adaptive duty cycling in mobile sensor networks. Doctoral thesis , UCL (University College London).

E

Egyed, A; (2003) A Scenario-Driven Approach to Trace Dependency Analysis. IEEE Transactions on Software Engineering (TSE) , 29 (2) pp. 116-132. 10.1109/TSE.2003.1178051.

Egyed, A; Wile, DS; (2006) Support for managing design-time decisions. IEEE Transactions on Software Engineering (TSE) , 32 (5) pp. 299-314. 10.1109/TSE.2006.48.

Ellmer, E; 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. pp. 21-26).

Ellmer, E.; Emmerich, W.; 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; (2002) Distributed component technologies and their software engineering implications. In: (Proceedings) 24th International Conference on Software Engineering. (pp. pp. 537-546). ASSOC COMPUTING MACHINERY

Emmerich, W; Ellmer, E; Fieglein, H; (2001) TIGRA - An architectural style for enterprise application integration. In: (Proceedings) 23rd International Conference on Software Engineering (ICSE 2001). (pp. pp. 567-576). IEEE COMPUTER SOC

Emmerich, W; Kaveh, N; (2001) Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA component model. In: (pp. pp. 311-312).

Emmerich, W; Kroha, P; Schäfer, W; (1993) Object-oriented database management systems for construction of CASE environments. In: UNSPECIFIED (pp. 631-642).

Emmerich, W; Schäfer, W; Welsh, J; (1993) Databases for software engineering environments: The goal has not yet been attained. In: UNSPECIFIED (pp. 145-162).

Emmerich, W; Schäfer, W; Welsh, J; (1992) Suitable databases for process-centred environments do not yet exist. In: UNSPECIFIED (pp. 94-98).

Emmerich, W; Schwarz, W; Finkelstein, A; (1999) Markup meets middleware. In: (pp. pp. 261-266).

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. (pp. 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: (pp. pp. 641-642). ACM Press: New York, US.

Emmerich, W; (1996) Architecture for viewpoint environments based on OMG/CORBA. In: UNSPECIFIED (pp. 207-211).

Emmerich, W; Arlow, J; Madec, J; Phoenix, M; (1997) Tool construction for the British Airways SEE with the O<inf>2</inf> ODBMS. Theory and Practice of Object Systems , 3 (3) pp. 213-231. 10.1002/(SICI)1096-9942(1997)3:3<213::AID-TAPO3>3.0.CO;2-U.

Emmerich, W; Bandinelli, S; Lavazza, L; Arlow, J; (1996) Fine grained process modelling: An experiment at British Airways. In: UNSPECIFIED (pp. 2-12).

Emmerich, W; 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. (pp. 705-706). IEEE Computer Society Press: Los Alamitos, CA, USA.

Emmerich, W; 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. (pp. 175-184). IEEE Computer Society Press

Emmerich, W; 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; Mascolo, C; Finkelstein, A; (2000) Implementing incremental code migration with XML. In: (pp. pp. 397-406).

Emmerich, W; Roodyn, N; (1999) Distributed objects. In: (pp. pp. 665-666).

Emmerich, W; Sawyer, P; (1998) Guest editor's introduction to the special issue on the conference on european industrial requirements engineering. Requirements Engineering Journal , 3 (2) pp. 71-72.

Emmerich, W; Schäfer, W; (1993) Dedicated object management system benchmarks for software engineering applications. In: UNSPECIFIED (pp. 130-142).

Emmerich, W; 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.; Butchart, B.; Chen, L.; Wassermann, B.; Price, S.L.; (2005) Grid service orchestration using the Business Process Execution Language (BPEL). (Research Notes RN/05/ ). UCL: London, UK.

Emmerich, W.; 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.; Finkelstein, A.; 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.; Finkelstein, A.; Montangero, C.; Antonelli, S.; Armitage, S.; Stevens, R.; (1999) Managing standards compliance. IEEE Transactions on Software Engineering , 25 (6) pp. 836-851. 10.1109/32.824413.

Emmerich, W.; Finkelstein, A.; Montangero, C.; Stevens, R.; (1997) Standards compliant software development. Presented at: ICSE Workshop on Living with Inconsistency, Boston, USA.

F

Farbey, B.; 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.; 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.; 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.

Finkelstein, A; 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; Hetherington, J; Saffrey, P; 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.; (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.; (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.; (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.; (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.; Easterbrook, S.; Kramer, J.; 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.; Hetherington, J.; Linzhong, L.; Margoninski, O.; Saffrey, P.; Seymour, R.; Warner, A.; (2004) Computational challenges of systems biology. Computer , 37 (5) pp. 26-33. 10.1109/MC.2004.1297236.

Finkelstein, A.; 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.; Kramer, J.; 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.; Ryan, M.; 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.; 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.; Huang, J.; Finkelstein, A.; 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.; Huang, J.; Finkelstein, A.; 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.

G

Garau, M.; Slater, M.; Pertaub, D.-P.; 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; 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

Gotel, O.; 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.; 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.; 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.; 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; Piccinelli, G; 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. (pp. 113-114). IEEE Computer Society

H

Harrold, MJ; Rosenblum, D; Rothermel, G; Weyuker, E; (2001) Empirical Studies of a Prediction Model for Regression Test Selection. IEEE Transactions on Software Engineering (TSE) , 27 (3) pp. 248-263. 10.1109/32.910860.

Heaven, W.; 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.

Hughes, A; Emmerich, W; (2003) Using programmable network management techniques to establish experimental networking testbeds. BT TECHNOLOGY JOURNAL , 21 (2) pp. 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; 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.; Lomuscio, A.; Niewiadomski, A.; Penczek, W.; Raimondi, F.; 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; Emmerich, W; (2003) Validating distributed object and component designs. In: Bernardo, M and Inverardi, P, (eds.) UNSPECIFIED (pp. 63-91). SPRINGER-VERLAG BERLIN

Kaveh, N; Emmerich, W; (2001) Deadlock detection in distributed object systems. In: (pp. pp. 44-51).

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.; Feiler, P.; Finkelstein, A.; Katayama, T.; Osterweil, L.; Penedo, M.; 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.; 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

L

Lamanna, DD; Skene, J; Emmerich, W; (2003) SLAng: A language for defining service level agreements. In: Titsworth, F, (ed.) (Proceedings) 9th IEEE International Workshop on Future Trends of Distributed Computing Systems. (pp. pp. 100-106). IEEE COMPUTER SOC

Lathia, N.; Hailes, S.; 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; Kramer, J; Magee, J; 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

Lim, S.L.; Quercia, D.; 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.; Quercia, D.; 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; Pecheur, C; Raimondi, F; (2007) Automatic verification of knowledge and time with NuSMV. In: Veloso, M, (ed.) (pp. pp. 1384-1389). IJCAI/ AAAI Press: Menlo Park, US.

Lomuscio, A.; (1999) Information sharing among ideal agents. Doctoral thesis , University of Birmingham.

Lomuscio, A.; Raimondi, F.; 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

Mascolo, C; Emmerich, W; 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. pp. 57-64).

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.; Emmerich, W.; 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.; Emmerich, W.; 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.; Musolesi, M.; 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.; Picco, G.P.; 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.; Picco, G.P.; 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

Maule, A.; (2010) Impact analysis of database schema changes. Doctoral thesis , UCL (University College London).

McNamara, L.; Mascolo, C.; 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).

Morris, S.; 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; Hailes, S; Mascolo, C; (2005) Adaptive routing for intermittently connected mobile ad hoe networks. In: (Proceedings) 6th IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM 2005). (pp. pp. 183-189). IEEE COMPUTER SOC

Musolesi, M; Hailes, S; Mascolo, C; (2005) Social networks based ad hoc mobility models. In: Proceedings of the 3rd UK-UbiNet Workshop. Unknown

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.; Mascolo, C.; 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.; (2005) Managing the consistency of distributed documents. Doctoral thesis , University of London.

Nentwich, C.; Emmerich, W.; 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.; Emmerich, W.; 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.; Emmerich, W.; 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

Nowell, H; Butchart, B; Coombes, DS; Price, SL; Emmerich, W; Catlow, CRA; (2004) Increasing the scope for polymorph prediction usinge-Science. In: Proceedings of the 2004 UK E-Science All Hands Meeting, Nottingham, UK. (pp. 968-971). UK Engineering and Physical Science Research Council

Nuseibeh, B.; Finkelstein, A.; 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

P

Parigot, D.; Courbis, C.; Degenne, P.; Fau, A.; Pasquier, C.; Fillon, J.; Help, C.; Parigot, D.; Courbis, C.; Degenne, P.; Fau, A.; Pasquier, C.; Fillon, J.; Help, C.; Attali, I.; - view fewer (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; Alexander, DC; (2005) Probabilistic Anatomical Connectivity Derived from the Microscopic Persistent Angular Structure of Cerebral Tissue. In: (pp. p. 735). International Society for Magnetic Resonance in Medicine: Berkeley, US.

Pecheur, C.; 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; Emmerich, W; Williams, SL; Stearns, M; (2003) A model-driven architecture for electronic service management systems. In: Orlowska, ME and Weerawarana, S and Papazoglou, MP and Yang, J, (eds.) UNSPECIFIED (pp. 241-255). SPRINGER-VERLAG BERLIN

Piccinelli, G; Emmerich, W; Zirpins, C; Schutt, K; (2002) WEB service interfaces for inter-organisational business processes an infrastructure for automated reconciliation. In: (pp. pp. 285-292).

Piccinelli, G; Zirpins, C; Lamersdorf, W; (2003) The FRESCO framework: an overview. In: 2003 Symposium on Applications and the Internet Workshops (SAINT 2003 Workshops). (pp. 120-123). IEEE Computer Society

Piccinelli, G.; Salle, M.; 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.; Emmerich, W.; 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; Raiciu, C; Stoica, I; Rosenblum, DS; (2006) Reducing Congestion Effects by Multipath Routing in Wireless Networks. In: (Proceedings) ICNP '06: 14th IEEE International Conference on Network Protocols, 2006. (pp. pp. 96-105). IEEE: Santa Barbara, USA.

Q

Quercia, D.; 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.; Hailes, S.; 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

Quercia, D.; Hailes, S.; 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.

R

Raiciu, C; Rosenblum, DS; (2006) Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures. Securecomm and Workshops, 2006 pp. 1-11. 10.1109/SECCOMW.2006.359552.

Raiciu, C; Rosenblum, DS; Handley, M; (2006) Revisiting content-based publish/subscribe. In:

Raimondi, F; Skene, J; Emmerich, W; (2008) Efficient online monitoring of web-service SLAs. In: (pp. pp. 170-180).

Raimondi, F.; (2006) Model checking multi-agent systems. Doctoral thesis , University of London.

Rio, M; Pezzi, N; Zanolin, L; de Meer, H; Emmerich, W; Mascolo, C; (2001) Promile: A management architecture for programmable modular routers. In: (Proceedings) Proc. OPENSIG 2001 Workshop on Next Generation Network Programming, London.

Rodrigues, GN; Rosenblum, D; Emmerich, W; (2004) A model driven approach for software systems reliability. In: (pp. pp. 30-32).

Rodrigues, G; Rosenblum, D; 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. (pp. 111-126). Springer

Rodrigues, G; Rosenblum, D; Uchitel, S; (2005) Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In: Proceedings ICSE 2005 Workshop on Architecting Dependable Systems. (pp. 73-77). ACM Press: USA.

Rodrigues, G.N.; Rosenblum, D.S.; 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; Rosenblum, DS; Wolf, J; (2007) Reliability Analysis of Concurrent Systems using LTSA. In: (Proceedings) ICSE 2007: 29th International Conference on Software Engineering. (pp. pp. 63-64). IEEE Computer Society: Minneapolis, USA.

Roodyn, N; Emmerich, W; (1999) Architectural style for multiple real-time data feeds. In: UNSPECIFIED (pp. 564-672).

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; Slater, M; (2005) From presence to consciousness through virtual reality. NAT REV NEUROSCI , 6 (4) 332 - 339. 10.1038/nrn1651.

Sharp, H.; Finkelstein, A.; 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; Emmerich, W; (2005) Engineering runtime requirements-monitoring systems using MDA technologies. In: Nicola, RD and Sangiorgi, D, (eds.) UNSPECIFIED (pp. 319-333). SPRINGER-VERLAG BERLIN

Skene, J; Emmerich, W; (2003) A model-driven approach to non-functional analysis of software architectures. In: (pp. pp. 236-239).

Skene, J; Lamanna, DD; Emmerich, W; (2004) Precise service level agreements. In: (Proceedings) 26th International Conference on Software Engineering (ICSE 2004). (pp. pp. 179-188). IEEE COMPUTER SOC

Skene, J; 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.; (2007) Language support for service-level agreements for application-service provision. Doctoral thesis , University of London.

Skene, J.; Piccinelli, G.; Stearns, M.; (2003) Modelling electronic service systems using UML. Presented at: Workshop on Service Based Software Engineering, FM2003-SBSE, Pisa, Italy.

T

Takahashi, K.; Emmerich, W.; Finkelstein, A.; 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.; Elbaum, S.; Rosenblum, D.S.; (2007) Automated Generation of Context-Aware Tests. In: Proceedings of the 29th International Conference on Software Engineering. (pp. pp. 406-415). IEEE Computer Society: Minneapolis, USA.

Wang, Z.; Elbaum, S.; 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

Wassermann, B; Emmerich, W; (2007) Reliable scientific service compositions. In: Georgakopoulos, D and Ritter, N and Benatallah, B and Zirpins, C and Feuerlicht, G and Schoenherr, M and MotahariNezhad, H, (eds.) UNSPECIFIED (14-+). SPRINGER-VERLAG BERLIN

Wilson, P; Emmerich, W; 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. (pp. 308-315). UK Engineering and Physical Science Research Council

Z

Zachariadis, S; Capra, L; Mascolo, C; 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; 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; Mascolo, C; 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.; Mascolo, C.; 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.; Mascolo, C.; 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.; Mascolo, C.; 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; Mascolo, C; Emmerich, W; (2010) Model checking programmable router configurations.

Zirpins, C.; 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; Emmerich, W; 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

This list was generated on Tue Sep 30 23:25:23 2025 BST.