Software Development, Architecture and Verification

Fields concerned with how software is designed, built and shown to be correct. It covers the engineering process of producing and maintaining software, the architectural style of composing systems from interoperating services, and mathematically rigorous techniques for specifying and verifying programs. A field belongs here when it addresses how to make software well or prove it right. It excludes operating systems, which have their own group, and the theory of programming languages, which belongs to Theory Of Computation.