Selected
Publications
The
electronic versions of the papers below are provided for personal use.
Copyright is owned by the respective publishers and should be included
explicitly in any distribution of the papers.
Recent
Papers
- C. Mancini, Y. Rogers, A. K. Bandara, T. Coe, L. Jedrzejczyk, A.
N. Joinson, B. A. Price, K. Thomas, and B. Nuseibeh, ContraVision:
Exploring Users' Reactions to Futuristic Technology, CHI 2010, Atlanta,
Georgia, USA, ACM Press, 10-15 April 2010.
- B. Nuseibeh, C. B. Haley, and C. Foster, Securing
the Skies: In Requirements We Trust, IEEE Computer, 42(9):64-72,
September 2009.
- C. Mancini, K. Thomas, Y. Rogers, B. A. Price, L. Jedrzejczyk, A.
K. Bandara, A. N. Joinson, and B. Nuseibeh, From
spaces to places: emerging contexts in mobile privacy, UbiComp 2009,
ACM Press, pp.1-10.
- T. T. Tun, T. Trew, M. Jackson, R. C. Laney, and B. Nuseibeh, Specifying
features of an evolving software system, Software Practice and
Experience 39(11): 973-1002, 2009.
- C. Mancini, Y. Rogers, L. Jedrzejczyk, K. Thomas, B. Price, A.
Joinson, A. Bandara, and B. Nuseibeh, A
Multi-Pronged Empirical Approach to Mobile Privacy Investigation,
Workshop on Mobile User Experience Research: Challenges, Methods &
Tools, CHI '09, 5-10 April, Boston, USA.
- C. Haley, R. Laney, J. Moffett, and B. Nuseibeh, Security
Requirements Engineering: A Framework for Representation and Analysis,
IEEE Transactions on Software Engineering, 34(1): 133-153, January 2008.
- M. Salifu, Y. Yu, and B. Nuseibeh,
Specifying Monitoring and Switching Problems in Context, Proceedings of
15th IEEE International Requirements Engineering Conference (RE'07),
Delhi, India, 15-19 October 2007.
- F. Chantree, B. Nuseibeh, Anne de Roeck, and A. Willis, Identifying
Nocuous Ambiguities in Natural Language Requirements, Proceedings of
14th IEEE International Requirements Engineering Conference (RE'07), pp. 59-68, Minneapolis, USA, September 2006.
- C. B. Haley, J. D. Moffett, R. Laney, and B. Nuseibeh, Arguing Security:
Validating Security Requirements Using Structured Argumentation ,
Proceedings of the 3rd Symposium on Requirements Engineering for
Information Security (SREIS'05) held in conjunction with the 13th International
Requirements Engineering Conference (RE'05), Paris, France, 29 August
2005.
- R. Crook, D. Ince, and B. Nuseibeh, On Modelling
Access Policies: Relating Roles to their Organisational Context ,
Proceedings of 13th IEEE International Requirements Engineering Conference
(RE'05), Paris, France, 29 August- 2 September 2005.
- B. Price, K. Adam, and B. Nuseibeh, Keeping Ubiquitous
Computing to Yourself: A Practical Model for User Control of Privacy ,
International Jounal on Human Computer Studies, July 2005, Elsevier.
- L. Rapanotti, J. Hall, M. Jackson, and B. Nuseibeh , Architecture
Driven Problem Decomposition , Proceedings of 12th IEEE
International Requirements Engineering Conference (RE'04), Kyoto, Japan,
6-10 September 2004.
- C.B. Haley, R. Laney, J.D. Moffett, and B. Nuseibeh, The
Effect of Trust Assumptions on the Elaboration of Security Requirements
, Proceedings of 12th IEEE International Requirements Engineering
Conference (RE'04), Kyoto, Japan, 6-10 September 2004.
- R. Laney, L. Barroca, M. Jackson, and B. Nuseibeh , Composing
Requirements Using Problem Frames , Proceedings of 12th IEEE
International Requirements Engineering Conference (RE'04), Kyoto, Japan,
6-10 September 2004.
- D. Haley, B. Nuseibeh, H. Sharp, and J. Taylor , The
Conundrum of Categorising Requirements: Managing
Requirements for Learning on the Move , Proceedings of 12th IEEE
International Requirements Engineering Conference (RE'04), Kyoto, Japan,
6-10 September 2004.
- C. Haley, R. Laney, and B. Nuseibeh, Using Problem
Frames and Projections to Analyze Requirements for Distributed Systems
, Proceedings of 10th International Workshop on Requirements Engineering:
Foundation for Software Quality (REFSQ'04), Riga, Latvia, Essener
Informatik Beiträge, 7-8 June 2004.
- C. Haley, R. Laney, and B. Nuseibeh, Deriving
Security Requirements from Crosscutting Threat Descriptions ,
Proceedings of 3rd International Conference on Aspect Oriented
Software Development (AOSD'04), Lancaster, UK, 22-26 March 2004, ACM
Press.
- L. Barroca, J. Fiadeiro, M. Jackson, R. Laney, and B. Nuseibeh
, Problem
Frames: a Case for Coordination , Proceedings of 6th
International Conference on Coordination Models and Languages, Pisa,
Italy, 24-27 February 2004, Springer.
- B. Nuseibeh, J. Kramer, and A. Finkelstein, ViewPoints:
Meaningful Relationships Are Difficult! , Invited paper, Proceedings
of International Conference on Software Engineering (ICSE'03), Postland,
Oregon, USA, May 2003, IEEE CS Press.
- A. Garcez. A. Russo, B. Nuseibeh, and J. Kramer, Combining Abductive
Reasoning and Inductive Learning to Evolve Requirements Specifications
, IEE Proceedings - Software, 150(1):25-38 , February 2003 .
- L. Lin, B. Nuseibeh, D. Ince, M. Jackson, and J. Moffett, Introducing Abuse
Frames for Analysing Security Requirements , Poster Paper, Proceedings
of 11th IEEE International Requirements Engineering Conference (RE'03),
371-372, Monterey, USA, 8-12 September 2003.
- J. Hall, M. Jackson, R. Laney, B. Nuseibeh, and L. Rapanotti, Relating Software
Requirements and Architectures using Problem Frames , Proceedings of
IEEE International Requirements Engineering Conference (RE'02), Essen,
Germany, 9-13 September 2002 .
- R. Crook, D. Ince, and B. Nuseibeh, Modelling Access
Policies Using Roles in Requirements Engineering , Information and Software Technology,
45(14):979-991, November 2003, Elsevier.
- R. Crook, D. Ince, L. Lin, and B. Nuseibeh, Security
Requirements Engineering: When Anti-requirements Hit the Fan ,
Proceedings of IEEE International Requirements Engineering Conference
(RE'02), Essen, Germany, 9-13 September 2002 .
- A. Russo, R. Miller, B. Nuseibeh, and J. Kramer, An Abductive
Approach for Analysing Event-Based Requirements Specifications ,
Proceedings of 18th International Conference on Logic Programming,
Copenhagen, Denmark, 29 July-1 August 2002, Springer.
- V. Gervasi and B. Nuseibeh, Lightweight
Validation of Natural Language Requirements , Software: Practice &
Experience, 32(2): 113-133, February 2002, Wiley.
- B. Nuseibeh Weaving Together Requirements and
Architecture , IEEE Computer, 34(3):115-117, March 2001.
- B. Nuseibeh, S. Easterbrook and A. Russo, Making Inconsistency
Respectable in Software Development , Journal of Systems and Software,
58(2):171-180, September 2001, Elsevier Science Publishers.
- B. Nuseibeh and S. Easterbrook, Requirements
Engineering: A Roadmap , Proceedings of International Conference on
Software Engineering (ICSE-2000), 4-11 June 2000, Limerick, Ireland,
ACM Press.
Journal Papers
- B. Price, K. Adam, and B. Nuseibeh, Keeping
Ubiquitous Computing to Yourself: A Practical Model for User Control of
Privacy , International Jounal on Human Computer Studies, July 2005,
Elsevier.
- R. Crook, D. Ince, and B.
Nuseibeh, Modelling
Access Policies Using Roles in Requirements Engineering , Information
and Software Technology, 45(14):979-991, November 2003, Elsevier.
- A. Garcez. A. Russo, B.
Nuseibeh, and J. Kramer, Combining Abductive
Reasoning and Inductive Learning to Evolve Requirements Specifications
, IEE Proceedings - Software, 150(1):25-38 , February 2003.
- V. Gervasi and B. Nuseibeh, Lightweight
Validation of Natural Language Requirements , Software: Practice &
Experience, 32(2): 113-133, February 2002, Wiley.
- B . Nuseibeh, Weaving
Together Requirements and Architecture , IEEE Computer, 34(3):115-117,
March 2001 [Longer version spared editing by the IEEE Computer
magazine appeared as: Weaving the
Software Development Process Between Requirements and Architecture ,
Proceedings of ICSE-2001 International Workshop: From Software
Requirements to Architectures (STRAW-01) Toronto, Canada].
- B. Nuseibeh, S. Easterbrook and
A. Russo, Making
Inconsistency Respectable in Software Development , Journal of Systems
and Software, 58(2):171-180, September 2001, Elsevier Science
Publishers [shorter version appeared as Leveraging
Inconsistency in Software Development , IEEE Computer, 33(4):24-29,
April 2000].
- B. Nuseibeh and A. Russo, Using
Abduction to Evolve Inconsistent Requirements Specifications ,
Austrialian Journal of Information Systems, 7(1), Special Issue on
Requirements Engineering" ISSN: 1039-7841, 1999.
- A. Hunter and B. Nuseibeh, Managing
Inconsistent Specifications: Reasoning, Analysis and Action ,
Transactions on Software Engineering and Methodology, ACM Press, October
1998.
- Russo, A., Nuseibeh, B., and
Kramer, J., Restructuring
Requirements Specifications , IEE Proceedings: Software, 146(1):
44-53, February 1999.
- B. Nuseibeh, Ariane 5: Who
Dunnit?, IEEE Software, 14(3): 15-16, May 1997.
- S. Easterbrook and B. Nuseibeh, Using ViewPoints
for Inconsistency Management, Software Engineering Journal, 11(1):
31-43, BCS/IEE Press, January 1996.
- B. Nuseibeh, J. Kramer and A.
Finkelstein, A Framework
for Expressing the Relationships Between Multiple Views in Requirements
Specification, Transactions on Software Engineering, 20(10): 760-773,
IEEE CS Press, October 1994.
- B. Nuseibeh, A. Finkelstein and
J. Kramer, Method
Engineering for Multi-Perspective Software Development, Information
and Software Technology Journal, 38(4): 267-274, Elsevier Science B.V.,
April 1996.
- A. Finkelstein, D. Gabbay, A.
Hunter, J. Kramer and B. Nuseibeh, Inconsistency
Handling in Multi-Perspective Specifications, Transactions on Software
Engineering, 20(8): 569-578, IEEE CS Press, August 1994.
- B. Nuseibeh, Building
Bridges: On the Development of Complex Software , The Computer
Bulletin, 8(4):18-19, September 1996, BCS.
- S. Easterbrook, A. Finkelstein,
J. Kramer and B. Nuseibeh, Coordinating
Distributed ViewPoints: The Anatomy of a Consistency Check,
International Journal on Concurrent Engineering: Research &
Applications, Special issue on conflict management, 2(3): 209-222, CERA
Institute/Technomic Publishing Company Inc, USA, 1994.
- A. Finkelstein, B. Nuseibeh, L.
Finkelstein and J. Huang, Technology
Transfer: Software Engineering and Engineering Design, IEE Computing
& Control Engineering Journal, 3(6): 259-265, November 1992.
- L. Finkelstein, J. Huang, A.
Finkelstein and B. Nuseibeh, Using
Software Specification Methods for Measurement Instrument Design - Part 1:
Structured Methods, Measurement - Journal of the International
Measurement Confederation, IMEKO, 10(2): 79-86, Apr-Jun 1992.
- L. Finkelstein, J. Huang, A.
Finkelstein and B. Nuseibeh, Using
Software Specification Methods for Measurement Instrument Design - Part 2:
Formal Methods, Measurement - Journal of the International Measurement
Confederation, IMEKO, 10(2): 87-92, Apr-Jun 1992.
- A. Finkelstein, J. Kramer, B.
Nuseibeh, L. Finkelstein and M. Goedicke, Viewpoints: A
Framework for Multiple Perspectives in System Development,
International Journal of Software Engineering and Knowledge Engineering,
Special issue on 'Trends and Future Research Directions in SEE', World
Scientific Publishing Company Ltd., 2(1): 31-57, March 1992.
Refereed
Conference/Workshop Papers
- L. Rapanotti, J. Hall, M. Jackson, and B. Nuseibeh , Architecture
Driven Problem Decomposition , Proceedings of 12th IEEE
International Requirements Engineering Conference (RE'04), Kyoto, Japan,
6-10 September 2004.
- C.B. Haley, R. Laney, J.D. Moffett, and B. Nuseibeh, The
Effect of Trust Assumptions on the Elaboration of Security Requirements
, Proceedings of 12th IEEE International Requirements Engineering
Conference (RE'04), Kyoto, Japan, 6-10 September 2004.
- R. Laney, L. Barroca, M. Jackson, and B. Nuseibeh , Composing
Requirements Using Problem Frames , Proceedings of 12th IEEE
International Requirements Engineering Conference (RE'04), Kyoto, Japan,
6-10 September 2004.
- D.Haley, B. Nuseibeh, H. Sharp, and J. Taylor , The Conundrum
of Categorising Requirements: Managing
Requirements for Learning on the Move , Proceedings of 12th IEEE
International Requirements Engineering Conference (RE'04), Kyoto, Japan,
6-10 September 2004.
- C. Haley, R. Laney, and B. Nuseibeh, Using Problem
Frames and Projections to Analyze Requirements for Distributed Systems
, Proceedings of 10th International Workshop on Requirements Engineering:
Foundation for Software Quality (REFSQ'04), Riga, Latvia, Essener
Informatik Beiträge, 7-8 June 2004.
- C. Haley, R. Laney, and B. Nuseibeh, Deriving
Security Requirements from Crosscutting Threat Descriptions ,
Proceedings of 3rd International Conference on Aspect Oriented
Software Development (AOSD'04), Lancaster, UK, 22-26 March 2004, ACM
Press.
- L. Barroca, J. Fiadeiro, M. Jackson, R. Laney, and B. Nuseibeh
, Problem
Frames: a Case for Coordination , Proceedings of 6th
International Conference on Coordination Models and Languages, Pisa,
Italy, 24-27 February 2004, Springer.
- B. Nuseibeh, J. Kramer, and A. Finkelstein, ViewPoints:
Meaningful Relationships Are Difficult! , Invited paper, Proceedings
of International Conference on Software Engineering (ICSE'03), Postland,
Oregon, USA, May 2003, IEEE CS Press.
- L. Lin, B. Nuseibeh, D. Ince, M. Jackson, and J. Moffett, Introducing Abuse
Frames for Analysing Security Requirements , Poster Paper, Proceedings
of 11th IEEE International Requirements Engineering Conference (RE'03),
371-372, Monterey, USA, 8-12 September 2003.
- R. Crook, D. Ince, L. Lin, and B. Nuseibeh, Security
Requirements Engineering: When Anti-requirements Hit the Fan ,
Proceedings of IEEE International Requirements Engineering Conference
(RE'02), Essen, Germany, 9-13 September 2002 .
- A. Russo, R. Miller, B. Nuseibeh, and J. Kramer, An Abductive
Approach for Analysing Event-Based Requirements Specifications ,
Proceedings of 18th International Conference on Logic Programming,
Copenhagen, Denmark, 29 July-1 August 2002, Springer.
- R. Crook, D. Ince, and B. Nuseibeh, Towards an
Analytical Role Modelling Framework for Security Requirements ,
Proceedings of 8th International Workshop on Requirements Engineering:
Foundation for Software Quality (REFSQ-02), Essen, Germany, 9-10 September
2002.
- A. S. d’Avila Garcez, A. Russo, B. Nuseibeh, and J. Kramer, An
Analysis-Revision Cycle to Evolve Requirements Specifications ,
Proceedings of 16th IEEE International Conference on Automated Software
Engineering (ASE-2001), San Diego, USA, November 2001.
- J. Magee, J. Kramer, B. Nuseibeh, D. Bush, J. Sonander, Hybrid Model
Visualization in Requirements and Design: A Preliminary Investigation
, Proceedings of 10th International Workshop on Software Specification and
Design (IWSSD-10), 5-7 November 2000, San Diego, USA.
- V. Gervasi and B. Nuseibeh, Lightweight
Validation of Natural Language Requirements: a case study, Proceedings
of 4th IEEE International Conference on Requirements Engineering
(ICRE'2000), 19-23 June 2000, Schaumburg, Illinois, USA.
- B. Nuseibeh and S. Easterbrook, Requirements
Engineering: A Roadmap , Proceedings of International Conference on
Software Engineering (ICSE-2000), 4-11 June 2000, Limerick, Ireland.
- T. Menzies, S. Easterbrook, B. Nuseibeh and S. Waugh, An Empirical
Investigation of Multiple viewpoint Reasoning in Requirements Engineering
, Proceedings of 4th IEEE International Symposium on
Requirements Engineering, Limerick, Ireland, 7-11 June 1999.
- B. Nuseibeh and A. Russo, Using
Abduction to Evolve Inconsistent Requirements Specifications ,
Proceedings of ICSE-99 Workshop on Software Change and Evolution
(SCE'99), LA, California, USA, 17th May 1999.
- A. Russo, B. Nuseibeh, and Jeff Kramer, Restructuring
Requirements Specifications for Managing Inconsistency and Change: A Case
Study , Proceedings of 3rd IEEE International Conference on
Requirements Engineering (ICRE '98), pp51-61, Colorado Springs, USA,
6-10th April 1998.
- B. Nuseibeh, and A. Russo, On the
Consequences of Acting in the Presence of Inconsistency , Department
of Computing, Imperial College, November 1997 ( shorter
version appeared in Proceedings of 9th International Workshop on
Software Specification and Design (IWSSD-9), pp.156-158, Ise-Shima, Japan,
16-18th April 1998).
- A. Hunter and B. Nuseibeh, Analysing
Inconsistent Specifications, in Proceedings of 3rd International
Symposium on Requirements Engineering, 78-86, Annapolis, MD, USA, 5-10th
January 1997.
- B. Nuseibeh, To Be And Not To
Be: On Managing Inconsistency in Software Development , Proceedings of
8th International Workshop on Software Specification and Design (IWSSD-8),
pp164-169, Scloss Velen, Germany, 22-23 March 1996, IEEE CS Press.
- B. Nuseibeh, Towards
a Framework for Managing Inconsistency Between Multiple Views, Joint
Proceedings of the SIGSOFT '96 Workshops: International Workshop on
Multiple Perspectives in Software Development (Viewpoints '96), 184-186,
San Fransisco, USA, 14-15th October 1996, ACM Press.
- B. Nuseibeh, When
Agents Clash, Proceedings of 5th European Workshop on Software Process
Technology (EWSPT '96), 237-240, Nancy, France, 9-11 October 1996, LNCS
1149, Springer-Verlag.
- B. Nuseibeh, J. Kramer, A. Finkelstein, and U. Leonhardt, Decentralised
Process Modelling, Proceedings of 4th European Workshop on Software
Process Technology (EWSPT '95), 185-188, Noordwijkerhout, Holland, 3-5th
April 1995, Springer-Verlag.
- U. Leonhardt, A. Finkelstein, J. Kramer and B. Nuseibeh, Decentralised
Process Enactment in a Multi-Perspective Development Environment,
Proceedings of 17th International Conference on Software Engineering
(ICSE-17), Seattle, Washington, USA, 24-28th April 1995, IEEE CS Press.
- S. Easterbrook and B. Nuseibeh, Managing
Inconsistencies in an Evolving Specification, Proceedings of 2nd
International Symposium on Requirements Engineering (RE 95), 48-55, York,
UK, 27-29th March 1995, IEEE CS Press.
- J. Kramer, A. Finkelstein and B. Nuseibeh, 'Method Integration and
Support for Distributed Software Development: an overview', Proceedings of
the Workshop on Studies of Software Design, Baltimore, Maryland, May
17-18, 1993, LNCS 1078, Springer-Verlag, 1996.
- B. Nuseibeh, Meta-CASE
Support for Method-Based Software Development, Proceedings of the 1st
International Congress on Meta-CASE, 5-6th January 1995, Sunderland, UK.
- B. Nuseibeh, A. Finkelstein and J. Kramer, Fine-Grain
Process Modelling Proceedings of the 7th International Workshop on
Software Specification and Design (IWSSD-7), 42-46, Redondo Beach,
California, USA, 6-7th December 1993, IEEE CS Press.
- B. Nuseibeh, J. Kramer and A. Finkelstein, 'Expressing the
Relationships Between Multiple Views in Requirements Specification',
Proceedings of the 15th International Conference on Software Engineering
(ICSE-15), 187-196, Baltimore, Maryland, USA, 17-21st May 1993, IEEE CS
Press.
- B. Nuseibeh and A. Finkelstein, ViewPoints: A
Vehicle for Method and Tool Integration, Proceedings of the 5th
International Workshop on Computer-Aided Software Engineering (CASE '92),
50-60, Montreal, Canada, 6-10th July 1992, IEEE CS Press.
- G. de Tomi, B. Nuseibeh, D. Owen and S. Durucan, Computer
Support for the Management of Mine Water, Proceedings of the 24th
International Symposium on the Application of Computers and Operations
Research in the Mining Industries (APCOM XXIV), 379-386, Montreal, Canada,
31st Oct-3rd Nov 1993.
- A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer and B. Nuseibeh,
'Inconsistency Handling in Multi-Perspective Specifications', (In)
Proceedings of 4th European Software Engineering Conference (ESEC '93),
84-99, 13-17th September 1993, Garmisch, Germany, LNCS 717,
Springer-Verlag.
Book Contributions
- J-C. Derniame, A. Finkelstein, J.
Kramer and B. Nuseibeh, 'Directions in Software Process Modelling and
Technology: A Preface', Software Process Modelling and Technology, A.
Finkelstein, J. Kramer and B. Nuseibeh (eds.), Research Studies Press
(Wiley), 1994.
- A. Finkelstein, J. Kramer and B.
Nuseibeh, 'ViewPoint-oriented development: applications in composite
systems', Safety-critical Systems: Current issues, techniques and
standards, chapter 5, 90-101, F. Redmill & T. Anderson (eds.), Chapman
& Hall, 1993.
Books Edited
Proceedings Edited
- A. Finkelstein and B. Nuseibeh,
Software Engineering Education Resources: Proceedings of ACM/IEEE Workshop
on Software Engineering Education, Sorrento, Italy, 21st May 1994.
- B. Nuseibeh and D. Redmiles,
Proceedings of 13th IEEE International Conference on Software Engineering,
Honolulu, USA, October 1998.
- S. Easterbrook and B. Nuseibeh,
Proceedings of 5th IEEE International Symposium on Requirements
Engineering, Toronto, Canada, August 2001.
International
Tutorials
- B. Nuseibeh, 'ViewPoint-Oriented
Systems Engineering: A Framework for Integrating Multiple Perspectives in
System Development', Invited tutor, Second International Summer School on
Method Engineering and Meta-Modelling, University of Twente, Enschede,
Holland, May 1993.
- B. Nuseibeh and S. Robertson, Making Requirements
Measurable , Full day tutorial, Proceedings of 3rd International
Symposium on Requirements Engineering (RE 97), 262, Annapolis, MD, USA,
5-8 January 1997, IEEE CS Press.
- B. Nuseibeh and S. Robertson, Making
Requirements Measurable , Full day tutorial, Proceedings of 19th
International Conference on Software Engineering (ICSE 97), Boston, USA,
20 May 1997, IEEE CS Press.
- B. Nuseibeh and S.
Easterbrook, Viewpoint
Analysis and Requirements Engineering , Invited half-day tutorial, ACM
SIGSOFT 10th International Symposium on the Foundations of Software
Engineering (FSE-10), Charleston, USA, 19th November 2002. ACM Press.
Doctoral Thesis
As
part of my doctoral work (completed in October 1994), I developed the ViewPoints
framework for multi-perspective software development and The Viewer
prototype environment. The Viewer is implemented in
Objectworks/Smalltalk and used to be available by anonymous ftp! It required an
Objectworks/Smalltalk 4.x licence to run.
My thesis is
entitled A Multi-Perspective Framework for Method Integration and an abstract is
available.
A PDF version of
the thesis is also available (241 pages).