Home > Research > Browse

Research

Results for Patterns

Publications & Outputs

  1. The Faultless Way of Programming: Principles, Patterns, Practices, and Peculiarities for Verification in Dafny

    Noble, J. & Weir, C., 15/11/2024, (E-pub ahead of print) EuroPLoP 2024 Proceedings. New York: ACM, 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Reframing progress in the digital age: moving forward sustainably

    Richards, B., Walker, S. & Blair, L., 2013, In: The International Journal of Sustainability in Economic, Social and Cultural Context. 8, 4, p. 53-61 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Informing the requirements process with patterns of cooperative interaction

    Sommerville, I., Martin, D. & Rouncefield, M., 07/2003, In: The International Arab Journal of Information Technology. 1, 0, p. 1-10 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review