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: 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988

Number of items at this level: 224.

2010

de Cerqueira Leite Duboc, A.L.; (2010) A framework for the characterization and analysis of software systems scalability. Doctoral thesis , UCL (University College London).

Leontiadis, I.; (2010) A content dissemination framework for vehicular networking. Doctoral thesis , UCL (University College London).

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

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

McNamara, L.J.J.; (2010) Colocation aware content sharing in urban transport. Doctoral thesis , UCL (University College London).

Zanolin, L; Mascolo, C; Emmerich, W; (2010) Model checking programmable router configurations.

2009

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

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.

2008

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.

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

2007

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

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

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

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.

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

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

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.

Skene, J.; (2007) Language support for service-level agreements for application-service provision. Doctoral thesis , University of London.

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

2006

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.; (2006) Model checking multi-agent systems. Doctoral thesis , University of London.

Precache Inc. (2006) Method for sending and receiving a Boolean function over a network. US 7,117,270 B2.

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.

2005

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.

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

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; (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.; 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.

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.

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

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

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

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.

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.

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

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

Nentwich, C.; (2005) Managing the consistency of distributed documents. Doctoral thesis , University of London.

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.

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.

Precache Inc. (2005) Method for storing boolean functions to enable evaluation, modification, reuse, and delivery over a network. US 6,910,033 B2.

Sanchez-Vives, MV; Slater, M; (2005) From presence to consciousness through virtual reality. NAT REV NEUROSCI , 6 (4) 332 - 339. 10.1038/nrn1651.

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

Zachariadis, S.; (2005) Adapting mobile systems using logical mobility primitives. Doctoral thesis , University of London.

2004

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

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

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)

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

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.; (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.

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

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.

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

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.

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.

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

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.

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.

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

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

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

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

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

2003

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.

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.

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, Licia; (2003) Reflective mobile middleware for context-aware applications. Doctoral thesis (Ph.D), University of London.

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

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.

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

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

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.

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

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

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.

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; 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

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

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.

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

2002

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.

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

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

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.

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

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.

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.

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.

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

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

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

2001

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

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

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

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

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; (2001) OMG/CORBA: An object-oriented middleware. In: Encyclopedia of Software Engineering. John Wiley & Sons

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.

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.

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

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

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.

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

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

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

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

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.

2000

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.

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.; (2000) Software engineering and middleware: a roadmap (Invited talk). In: Finkelstein, A., (ed.) The Future of Software Engineering. (pp. 117-129). ACM Press

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.; (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.; 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.

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.

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

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

1999

Emmerich, W. and Gruhn, V. (Eds). (1999) Proceedings of the ICSE 99 Workshop on Engineering Distributed Objects, May 1999, Los Angeles, California. ICSE 99 Workshop on Engineering Distributed Objects

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

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; Roodyn, N; (1999) Distributed objects. In: (pp. pp. 665-666).

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.

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.

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

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

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

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

1998

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

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

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; (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; 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.; (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

Finkelstein, A.; (1998) Interoperable Systems: an introduction. In: Kramer, B. and Papazoglou, M. and Schmidt, M., (eds.) Information Systems Interoperability. Research Studies Press

1997

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

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.; (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

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; 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.; 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.; Stevens, R.; (1997) Standards compliant software development. Presented at: ICSE Workshop on Living with Inconsistency, Boston, USA.

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

1996

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

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

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; 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.; (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.; 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

Finkelstein, A.; (1996) Improving public understanding of software engineering. IEEE Software , 13 (6) pp. 20-21.

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

1995

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.

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

1994

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

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

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

1993

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; (1993) Dedicated object management system benchmarks for software engineering applications. In: UNSPECIFIED (pp. 130-142).

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

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.

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

1992

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

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

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

1991

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

Finkelstein, A.; (1991) Tracing back from requirements. In: Colloquium on Tools and Techniques for Maintaining Traceability During Design. Institute of Electrical Engineers

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

1990

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

1989

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

1988

Rosenblum, D.; (1988) Design and verification of distributed tasking supervisors for concurrent programming languages. Doctoral thesis , Stanford University.

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