Software Engineering

(Up) | See also: Formal Specification, Reactive Systems, Agile Development

Web resources

1968 NATO Software Engineering Conference

language agnostic - What is the difference between concurrency and parallelism? - Stack Overflow

c# - Exceptions, error codes and discriminated unions - Software Engineering Stack Exchange

safety - How deep is redundancy on avionics computers? - Aviation Stack Exchange

onion architecture - Is it really possible to decouple the UI from the business logic? - Software Engineering Stack Exchange

Is it typical for there to be no real design prior to someone being assigned a task? - Software Engineering Stack Exchange)

How do we get a tech team to make a big technical change? - Stack Overflow Blog

Classic SE Mistakes by Steve McConnell • Jonathan Cook

Making Wrong Code Look Wrong -- Joel on Software

Things You Should Never Do, Part I -- Joel on Software

The Twelve-Factor App

Use One Big Server - Speculative Branches

Papers

Programming as Theory Building (online @ pages.cs.wisc.edu)

Why software jewels are rare (online @ www.yodaiken.com)

Send-Receive Considered Harmful (online @ dl.acm.org)

Computer Science Education: Where Are the Software Engineers of Tomorrow? (online @ www.cs.fsu.edu)

Use of Formal Methods at Amazon Web Services (online @ lamport.azurewebsites.net)

Books

The Mythical Man-Month (online @ archive.org, archive.org) (borrow with print disabilities @ archive.org, archive.org)

Object-Oriented Modelling and Design (borrow @ archive.org)

Advanced Programming in the Unix Environment (borrow @ archive.org) (borrow with print disabilities @ archive.org, archive.org)