Contact:
Bashar Nuseibeh

Project:
Investigators
Grant Details

PASS Project Publications

1. A. Nhlabatsi, R. Laney and B. Nuseibeh (2008), "Building Contingencies into Specifications", Poster at 16th International Requirements Engineering Conference, September 08-12th, 2008, Bercelona, Spain.

2. T. T. Tun, J. G. Hall, L. Rapanotti, K. Cox, and Z. Jin (2008), "3rd International Workshop on Advances and Applications of Problem Frames", In: 30th International Conference on Software Engineering Companion, Leipzig, Germany, 2008. Download: pdf.

3. J. G. Hall, L. Rapanotti, and M. Jackson, (2008) "Problem Oriented Software Engineering: Solving the Package Router Control Problem," IEEE Trans. Softw. Eng. 34, 2, pp. 226-241, DOI= http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70769

4. C. Haley, R. Laney, J. Moffett, and B. Nuseibeh, (2008). "Security Requirements Engineering: A Framework for Representation and Analysis". IEEE Trans. Softw. Eng. 34, 1, pp. 133-153. DOI= http://dx.doi.org/10.1109/TSE.2007.70754

5. A. Classen, R. Laney, T. T. Tun, P. Heymans, and A. Hubaux (2008), "Using the event calculus to reason about problem diagrams". In: Proceedings of the 3rd International Workshop on Advances and Applications of Problem Frames (IWAAPF’08), co-located with ICSE 2008 Leipzig, Germany, 2008. Download: pdf.

6. M. Salifu, Y. Yu, B. Nuseibeh (2007) "Specifying Monitoring and Switching Problems in Context" in Proceedings of 15th IEEE International Requirements Engineering Conference, October 15-19th, 2007, New Delhi, India. DOI=http://doi.ieeecomputersociety.org/10.1109/RE.2007.56

7. R. Laney, T. T. Tun, M. Jackson and B. Nuseibeh (2007) "Composing Features by Managing Inconsistent Requirements" in Proceedings of 9th International Conference on Feature Interactions in Software and Communication Systems (ICFI 2007) Download: pdf

8. A. Classen, P. Heymans, R. Laney, B. Nuseibeh and T. T. Tun (2007) "On the Structure of Problem Variability: From Feature Diagrams to Problem Frames" in Proceedings of International workshop on Variability Modeling of Software-intensive Systems 16-18 January 2007, in Limerick, Ireland, pp. 109-118. Download: pdf

9. M. Salifu, B. Nuseibeh, L. Rapanotti and T. T. Tun (2007) "Using Problem Descriptions to Represent Variabilities For Context-Aware Applications" in Proceedings of International workshop on Variability Modeling of Software-intensive Systems 16-18 January 2007, in Limerick, Ireland, pp. 149-156. Download: pdf

10. T. T. Tun, J. G. Hall (2006) Developer requirements in the PF approach in Proceedings of the 2nd International Workshop on Advances and Applications of Problem Frames , Jon G. Hall, Lucia Rapanotti, Karl Cox, and Zhi Jin (ed.) Download: pdf

Related Publications by PASS Investigators

1. Hall, J., M. Jackson, R. Laney, B. Nuseibeh, and L. Rapanotti, "Relating Requirements to Architectures Using Problem Frames", Proc. of 10th IEEE Int. Requirements Engineering Conference (RE'02), 9-13 Sept 2002, Essen, Germany.
2. Rapanotti, L., J. Hall, M. Jackson, and B. Nuseibeh, "Architecture-Driven Problem Decomposition", in 12th International Requirements Engineering Conference (RE'04), 2004, Kyoto, Japan, IEEE Computer Society Press.
3. Nuseibeh, B. and S. Easterbrook, "Requirements Engineering: A Roadmap", in ICSE-2000 Future of Software Engineering, 2000, Limerick, Ireland, ACM Press.
4. Nuseibeh, B., S. Easterbrook, and A. Russo, "Leveraging Inconsistency in Software Development", in IEEE Computer, April 2000, 33(4): 24-29.
5. Nuseibeh, B., "Weaving Together Requirements and Architectures", in IEEE Computer, March 2001, 34(3).
6. Jackson, M., Problem Frames: Analysing and Structuring Software Development Problems, 2000: Addison-Wesley.
7. Jackson, M. and P. Zave, "Distributed Feature Composition: A virtual architecture for telecommunications services", in IEEE Transactions on Software Engineering, October 1998, 24(10):831-847.
8. Hall, J., L. Rapanotti, and M. Jackson, "Problem frame semantics for software development", Software and Systems Modeling, to appear, 2004.
9. Barroca, L., J. Hall, and P. Hall, eds. Software Architectures - Advances and Applications. 2000, Springer-Verlag.
10. Laney, R., L. Barroca, M. Jackson, and B. Nuseibeh, "Composing Requirements Using Problem Frames", in 12th International Requirements Engineering Conference (RE'04), 2004, Kyoto, Japan, IEEE Computer Society Press.
11. Hall, J. and L. Rapanotti, "A Reference Model for Requirements Engineering", in Proceedings of 11th IEEE International Requirements Engineering Conference (RE'03), September 2003, Monterey, USA.
12. Haley, C.B., R.C. Laney, and B. Nuseibeh, "Using Problem Frames and Projections to Analyze Requirements for Distributed Systems", in Proceedings of the Tenth International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'04), 7-8 Jun 2004, Riga, Latvia: Essener Informatik Beiträge.
13. Haley, C.B., R.L. Laney, J.D. Moffett, and B. Nuseibeh, "The Effect of Trust Assumptions on the Elaboration of Security Requirements", in 12th International Requirements Engineering Conference (RE'04), 2004, Kyoto, Japan, IEEE CS Press.

Please also see personal pages of the investigators for a full list of publications.