Contact details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Dr. Zoe Rachael Stephenson

(Former)

  1. Automated Component Configuration in Safety-Critical Domains

    Stephenson, Z. & McDermid, J. A., 2004, p. 1-11.

    Research output: Contribution to conferencePaper

  2. CONVERSE: A Family Oriented Software Development Process for Engine Controllers

    Buttle, D. L., Clark, J. A., McDermid, J. A., Stephenson, Z. R. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change. Springer-verlag, p. 38-73 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Flexibility and Manageability of IMS Projects

    Stephenson, Z., Nicholson, M. & McDermid, J. A., 2006.

    Research output: Contribution to conferencePaper

  4. Health Modelling for Agility in Safety Critical Systems Development

    Stephenson, Z. R., McDermid, J. A. & Ward, A. G., 2006.

    Research output: Contribution to conferencePaper

  5. High-integrity extreme programming

    Paige, R. F., Chivers, H., McDermid, J. A. & Stephenson, Z. R., 1 Dec 2005, p. 1518-1523. 6 p.

    Research output: Contribution to conferencePaper

  6. NEEDS CORRECTING High-integrity extreme programming

    Paige, R. F., Chivers, H., McDermid, J. A., Stephenson, Z. R., Haddad, H., Liebrock, L. M., Omicini, A. & Wainwright, R. L., 2005, p. 1518-1523.

    Research output: Contribution to conferencePaper

  7. Product Line Analysis and the System Safety Process

    Stephenson, Z., Souza, S. D., McDermid, J. A. & Ward, A., 2004, p. 790-799.

    Research output: Contribution to conferencePaper

  8. Product-Line Technology Recommendations for Integrated Modular Systems

    Stephenson, Z. R., NIcholson, M. & McDermid, J. A., 2005.

    Research output: Contribution to conferencePaper

  9. Software Assurance Arguments vs Formal Mathematical Arguments

    Habli, I., Stephenson, Z. R., Kelly, T. P. & McDermid, J. A., Nov 2009.

    Research output: Contribution to conferencePaper

  10. Supporting Explicit Interpretation of Standards and Guidance

    Stephenson, Z. R. & McDermid, J. A., Oct 2010, IET Conference Publications: 5th IET International Conference on System Safety 2010. 567 CP ed. IEEE, Vol. 2010. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  11. Towards an Agile Process for Building Software Product Lines

    Paige, R. F., Wang, X., Stephenson, Z. R., Brooke, P. J., Abrahamsson, P., Marchesi, M. & Succi, G., 2006, p. 198-199. 11 p.

    Research output: Contribution to conferencePaper

  12. Towards an agile process for building software product lines

    Paige, R. F., Wang, X., Stephenson, Z. R. & Brooke, P. J., 2006, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Abrahamsson, P., Marchesi, M. & Succi, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 198-199 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Using model checking to validate style-specific architectural refactoring patterns

    Stephenson, Z. & McDermid, J., 2007, 31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 53-62 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Using simulation to validate style-specific architectural refactoring patterns

    Stephenson, Z., McDermid, J. & Choy, J., 2006, 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 123-132 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution