Software Engineering

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

Works regarding the study of how to build, maintain, and decomission defined systems which are composed primarily or entirely of software components.

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