City Research Online

Article

Hinch, R., Probert, W., Nurtay, A. , Kendall, M., Wymant, C., Hall, M., Lythgoe, K., Bulas Cruz, A., Zhao, L., Stewart, A., Ferretti, L., Montero, D., Warren, J., Mather, N., Abueg, M., Wu, N., Legat, O., Bentley, K., Mead, T., Van-Vuuren, K., Feldner-Busztin, D., Ristori, T., Finkelstein, A. ORCID: 0000-0003-2167-9844, Bonsall, D., Abeler-Dorner, L. & Fraser, C.view all authors (2021). OpenABM-Covid19-An agent-based model for non-pharmaceutical interventions against COVID-19 including contact tracing. PLoS Computational Biology, 17(7), article number e1009146. doi: 10.1371/journal.pcbi.1009146

Boeing, P., Leon, M., Nesbeth, D. , Finkelstein, A. ORCID: 0000-0003-2167-9844 & Barnes, C.view all authors (2018). Towards an Aspect-Oriented Design and Modelling Framework for Synthetic Biology. Processes, 6(9), article number 9. doi: 10.3390/pr6090167

Finkelstein, A. ORCID: 0000-0003-2167-9844, Harman, M., Jia, Y. , Martin, W., Sarro, F. & Zhang, Y.view all authors (2017). Investigating the relationship between price, rating, and popularity in the Blackberry World App Store. Information and Software Technology, 87, pp. 119-139. doi: 10.1016/j.infsof.2017.03.002

Pichardo-Almarza, C. D., Metcalf, L., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Diaz-Zuccarini, V.view all authors (2015). Using a Systems Pharmacology Approach to Study the Effect of Statins on the Early Stage of Atherosclerosis in Humans. CPT: Pharmacometrics and Systems Pharmacology, 4(1), pp. 41-50. doi: 10.1002/psp4.7

Gonzalez Beltran, A. N., Tagger, B. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2012). Federated ontology-based queries over cancer data. BMC Bioinformatics, 13(S1), article number S9. doi: 10.1186/1471-2105-13-s1-s9

McCusker, J. P., Phillips, J. A., Gonzalez-Beltran, A. N. , Finkelstein, A. ORCID: 0000-0003-2167-9844 & Krauthammer, M.view all authors (2009). Semantic web data warehousing for caGrid. BMC Bioinformatics, 10(S10), article number S2. doi: 10.1186/1471-2105-10-s10-s2

Heaven, W. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2004). A UML profile to support requirements engineering with KAOS. IEE Proceedings: Software, 151(1), pp. 10-27. doi: 10.1049/ip-sen:20040297

Nentwich, C., Emmerich, W. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2003). Consistency management with repair actions. 25th International Conference on Software Engineering, 2591, pp. 455-464. doi: 10.1109/icse.2003.1201223

Nentwich, C., Emmerich, W., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Zisman, A.view all authors (2000). BOX: Browsing objects in XML. Software: Practice and Experience, 30(15), pp. 1661-1676. doi: 10.1002/1097-024x(200012)30:15<1661::aid-spe353>3.0.co;2-o

Finkelstein, A. ORCID: 0000-0003-2167-9844 (2000). Looking back at Y2K (Alternative titles: ’Y2K: a retrospective view’ and ’Head-to-head:looking back at Y2K’). Computing and Control Engineering, 11(4), pp. 156-157. doi: 10.1049/cce:20000402

Armitage, S., Stevens, R. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1998). Implementing a compliance manager. Requirements Engineering, 3(2), pp. 98-106. doi: 10.1007/bf02919969

Finkelstein, A. ORCID: 0000-0003-2167-9844 (1996). Improving public understanding of software engineering. IEEE Software, 13, pp. 20-21.

Colbert, M., Voglimacci, C. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1995). Live, audio-visual communication systems for distance learning: experience, heuristics and ISDN. Behaviour and Information Technology, 14(5), pp. 267-288. doi: 10.1080/01449299508914647

Nuseibeh, B., Kramer, J. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1994). A framework for expressing the relationships between multiple views in requirements specification. IEEE Transactions on Software Engineering (TSE), 20(10), pp. 760-773. doi: 10.1109/32.328995

Finkelstein, A. ORCID: 0000-0003-2167-9844, Nuseibeh, B., Finkelstein, L. & Huang, J.view all authors (1992). Technology Transfer: software engineering and engineering design. IEE Computing and Control Engineering Journal, 3(6), pp. 259-264. doi: 10.1049/cce:19920073

Finkelstein, L., Huang, J., Finkelstein, A. & Nuseibeh, B.view all authors (1992). Using software specification methods for measurement instruments: Part I - structured methods. Measurement, 10(2), pp. 79-86. doi: 10.1016/0263-2241(92)90016-w

Finkelstein, L., Huang, J., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Nuseibeh, B.view all authors (1992). Using software specification methods for measurement instruments: Part II - formal methods. Measurement, 10(2), pp. 87-92. doi: 10.1016/0263-2241(92)90017-x

Finkelstein, A. ORCID: 0000-0003-2167-9844, Kramer, J., Nuseibeh, B. , Finkelstein, L. & Goedicke, M.view all authors (1992). Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering, 02(01), pp. 31-57. doi: 10.1142/s0218194092000038

Finkelstein, A. ORCID: 0000-0003-2167-9844 (1992). A scheme for review, annotation and correction of specifications. Instructional Science, 21(1-3), pp. 183-198. doi: 10.1007/bf00119664

Finkelstein, A. ORCID: 0000-0003-2167-9844 (1992). A software process immaturity model. SIGSOFT Software Engineering Notes, 17(4), pp. 22-23. doi: 10.1145/141874.141878

Finkelstein, A. ORCID: 0000-0003-2167-9844 (1991). Tracing back from requirements.

Finkelstein, A. ORCID: 0000-0003-2167-9844 & Fuks, H. (1989). Multiparty specification. pp. 185-195. doi: 10.1145/75199.75228

Book Section

Nuseibeh, B., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Kramer, J. (1993). Fine-grain process modelling. In: Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design. (pp. 42-46). New York, USA: IEEE Computer Society Press. doi: 10.1109/IWSSD.1993.315516

Finkelstein, A., Easterbrook, S., Kramer, J. & Nuseibeh, B.view all authors (1993). Requirements engineering through viewpoints. In: DRA Colloquium on Analysis of Requirements for Software Intensive Systems. (pp. 18-26). UK: Defence Research Agency.

Nuseibeh, B. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1992). Viewpoints - a vehicle for method and tool integration. In: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering. (pp. 50-60). New York, USA: IEEE Computer Society Press. doi: 10.1109/CASE.1992.200130

Conference or Workshop Item

dos Santos, R. P., Werner, C. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2018). Ecosystems Effects on Software-Consuming Organizations: an experience report on two observational studies. In: ECSA 2018: PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE: COMPANION PROCEEDINGS. 12th European Conference on Software Architecture, 24-28 Sep 2018, Madrid, Spain. doi: 10.1145/3241403.3241428

Finkelstein, A. ORCID: 0000-0003-2167-9844 (2016). Software engineering and policy. In: Dillon, LK, Visser, W & Williams, L (Eds.), ICSE '16: Proceedings of the 38th International Conference on Software Engineering Companion. 38th International Conference on Software Engineering Companion, 14-22 May 2016, Austin, USA. doi: 10.1145/2889160.2889215

Bencomo, N., Letier, E., Finkelstein, A. ORCID: 0000-0003-2167-9844 , Whittle, J. & Welsh, K.view all authors (2011). Foreword: 2nd workshop [email protected]. In: Proceedings of the 2011 2nd International Workshop on [email protected], RE@RunTime 2011. 2nd international workshop on [email protected], 30 Aug 2011, Trento, Italy. doi: 10.1109/ReRunTime.2011.6046240

Jansen, S., Brinkkemper, S. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2008). Component Assembly Mechanisms and Relationship Intimacy in a Software Supply Network. Paper presented at the EurOMA 2008, tradition and innovation in operations management: connecting past and future, 15-18 Jun 2008, Groningen, Netherlands.

Courbis, C. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2005). Weaving aspects into web service orchestrations. In: IEEE International Conference on Web Services (ICWS'05). IEEE International Conference on Web Services (ICWS'05), 11-15 Jul 2005, Orlando, USA. doi: 10.1109/ICWS.2005.129

Begent, R. H. J., Brady, J. M., Finkelstein, A. ORCID: 0000-0003-2167-9844 , Gavaghan, D., Kerr, P., Parkinson, H., Reddington, F. & Wilkinson, J. M.view all authors (2005). Challenges of ultra large scale integration of biomedical computing systems. In: 18th IEEE Symposium on Computer-Based Medical Systems (CBMS'05). 18th IEEE Symposium on Computer-Based Medical Systems (CBMS'05), 23-24 Jun 2005, Dublin, Ireland. doi: 10.1109/CBMS.2005.40

Courbis, C. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2004). Towards an aspect weaving BPEL engine. Paper presented at the Third AOSD Workshop on Aspects, omponents, and Patterns for Infrastucture Software (ACP4IS), 22-26 Mar 2004, Lancaster, UK.

Nentwich, C., Emmerich, W. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2002). Edit, compile, debug: from hacking to distributed engineering. Paper presented at the Workshop on Aspect Oriented Design at the 1st International Conference on Aspect Oriented Software Development (AOSD), 22-26 Apr 2002, Enschede, The Netherlands.

Piccinelli, G., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Nentwich, C. (2002). Web Services Need Consistency. Paper presented at the 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 4-8 Nov 2002, Seattle, USA.

Farbey, B. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2001). Evaluation in software engineering: ROI, but more than ROI. Paper presented at the 3rd International Workshop on Economics-Driven Software Engineering Research (EDSER-3 2001), 12-19 May 2001, Toronto, Canada.

Zisman, A., Emmerich, W. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2000). Using XML to build consistency rules for distributed specifications. In: Tenth International Workshop on Software Specification and Design. IWSSD-10 2000. 10th International Workshop on Software Specification and Design, 5-7 Nov 2000, San Diego, USA. doi: 10.1109/IWSSD.2000.891135

Takahashi, K., Emmerich, W., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Guerra, S.view all authors (2000). System development using application services over the Net (tutorial summary). In: Proceedings of the 22rd International Conference on Software Engineering.

Mascolo, C., Emmerich, W. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2000). XMILE: an incremental code mobility system based on XML technologies. Paper presented at the 2nd Int. Symposium on Agent Systems and Applications and Mobile Agents (ASA/MA2000) September, 13-15 Sep 2000, Zurich, Switzerland.

Farbey, B. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1999). Exploiting software supply chain business architecture: a research agenda. Paper presented at the 1st Workshop on Economics-Driven Software Engineering Research (EDSER-1), 21st International Conference on Software Engineering, 16-22 May 1999, Los Angeles, USA.

Gotel, O. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1997). Extended requirements traceability: results of an industrial case study. Paper presented at the 3rd IEEE International Symposium on Requirements Engineering, 6-10 Jan 1997, Annapolis, USA. doi: 10.1109/ISRE.1997.566866

Emmerich, W., Finkelstein, A. ORCID: 0000-0003-2167-9844, Montangero, C. & Stevens, R.view all authors (1997). Standards compliant software development. Paper presented at the ICSE Workshop on Living with Inconsistency, May 1997, Boston, USA.

Emmerich, W., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Montangero, C. (1997). ’The World and the Machine’: a critical perspective on process technology. Paper presented at the International Workshop on Research Directions in Process Technology, Jul 1997, Nancy, France.

Spanoudakis, G. ORCID: 0000-0002-0037-2600, Finkelstein, A. ORCID: 0000-0003-2167-9844 & Ryan, M. (1996). Software Package Requirements and Procurement. Paper presented at the 8th International Workshop on Software Specification and Design, 22-23 Mar 1996, Schloss Velen, Germany. doi: 10.1109/IWSSD.1996.501156

Easterbrook, S., Finkelstein, A. ORCID: 0000-0003-2167-9844, Kramer, J. & Nuseibeh, B.view all authors (1994). Coordinating Conflicting ViewPoints by Managing Inconsistency. Paper presented at the Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design,, 15-18 Aug 1994, Lausanne, Switzerland.

Gotel, O. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1994). Modelling the contribution structure underlying requirements. Paper presented at the 1st International Workshop on Requirements Engineering: Foundations for Software Quality.

Finkelstein, A. ORCID: 0000-0003-2167-9844 (1994). Requirements engineering: a review and research agenda. In: Proceedings of 1st Asia-Pacific Software Engineering Conference. 1st Asia-Pacific Software Engineering Conference, 7-9 Dec 1994, Tokyo, Japan. doi: 10.1109/APSEC.1994.465278

Nuseibeh, B., Kramer, J. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1993). Expressing The Relationships Between Multiple Views In Requirements Specification. In: ICSE '93: Proceedings of the 15th international conference on Software Engineering. 15th International Conference on Software Engineering, 17-21 May 1993, Baltimore, USA. doi: 10.5555/257572.257610

Finkelstein, A. ORCID: 0000-0003-2167-9844 (1992). An advanced course on software development environments. Paper presented at the 2nd National Conference on Software Engineering in Higher Education, Swansea, UK.

Kramer, J. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (1991). A configurable framework for method and tool integration. Paper presented at the European Symposium on Software Development Environments and CASE Technology., Jun 1991, Königswinter, Germany.

Finkelstein, A. ORCID: 0000-0003-2167-9844, Kramer, J. & Goedicke, M. (1990). ViewPoint Oriented Software Development. Paper presented at the 3rd International Workshop Software Engineering and its Applications, Dec 1990, Toulouse, France.