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