README.md

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 ★ 💭

(in Game Development) terminology - What exactly is a softlock? - Arqade ★

(in Game Development) exceptions - When to carry on with a buggy game state versus terminate the process? - Game Development Stack Exchange ★

(in PLDI) What blocks Ruby, Python to get Javascript V8 speed? - Stack Overflow ★

(in PLDI) Why is JavaScript not compiled to bytecode before sending over the network? - Software Engineering Stack Exchange ★

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) ★★★ 💭

(in Model Checking) Direct Model-checking of SysML Models ★ 💭

(in Reactive Systems) Statecharts (online @ www.inf.ed.ac.uk) ★★★ 💭

(in Reactive Systems) State Machines for Event-Driven Systems (online @ barrgroup.com) ★★★ 💭

(in Reactive Systems) Misunderstandings about state machines (online @ www.stateworks.com) ★★★ 💭

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) 🏛️

(in Philosophy) Patterns of Software: Tales from the Software Community (online @ archive.org) (borrow @ archive.org) ★★★ 💭