Software Engineering And Design (Demos)

Automated Software Engineering
  • art -- automated refactoring tool
  • blinkit -- invariant traceability
  • intt -- identifier name tokenizer tool
  • mct -- meaningful change tool

    • Empirical Studies on Software Development
  • arevol -- Assessing Architectural Evolution

    • Requirements Engineering
  • miki -- Modeling wiki openargue -- argumentation
  • openpf -- problem frames tool support
  • openome -- i*/OME tool support
  • sat -- sat solver for monitoring/switching problems

    • Security & Privacy
  • Risk and Security Arguments (demo)
  • rbacUML
  • rtSec -- samba analysis

    Research projects

  • EPSRC MaTReX - Making Tacit Requirement knowledge eXplicit
  • EPSRC PriMMA - Privacy Rights Management for Mobile Applications
  • EPSRC Security and Privacy for All
  • EU FP7 SecureChange
  • Microsoft SEIF -- Software Engineering for Usable Mobile Privacy Management

    • Computing research

  • Centre for Research in Computing
  • Computing Department Research Wiki
  • Computing Department Technical reports
  • SEAD Group
  • N Objects in History of Computing

    Computing resources

  • subversion repositories
  • git repositories
  • Trac wiki's