Software Engineering

(Up) | Wikipedia: Software engineering | 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? ★

Exceptions, error codes and discriminated unions ★

How deep is redundancy on avionics computers? ★

Is it really possible to decouple the UI from the business logic? ★

Is it typical for there to be no real design prior to someone being assigned a task?) ★

How do we get a tech team to make a big technical change? ★

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

Is there a general solution to the problem of "sudden unexpected bursts of errors" in software? ★

Using Kafka as a (CQRS) Eventstore. Good idea? ★

What makes Python more used as an implementation language than the others? ★

What is database pooling? ★

How to maintain dependencies shared among microservices? ★

How to set up Nginx as a caching reverse proxy? - Server Fault ★

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

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

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

(in PLDI) Why is JavaScript not compiled to bytecode before sending over the network? ★

(in Python) Python Is Middleware ★ 💭

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

(in Reactive Systems) A Practical Introduction To Real-Time Systems For Undergraduate Engineering (online @ archive.org) 💭