Software Engineering Papers

Programming as Theory Building

• authors: Peter Naur
• date: 1985
• publication: Microprocessing and Microprogramming, Volume 15 Issue 5
• online @ pages.cs.wisc.edu

.

Why software jewels are rare

• authors: David Parnas
• date: February 1996
• publication: IEEE Computer Society
• online @ www.yodaiken.com

.

Send-Receive Considered Harmful

• subtitle: Myths and Realities of Message Passing
• authors: Sergei Gorlatch
• date: January 2004
• publication: ACM Transactions on Programming Languages and Systems, Vol. 26, No. 1
• online @ dl.acm.org
• future-topics: Distributed Systems

.

Computer Science Education: Where Are the Software Engineers of Tomorrow?

• authors: Robert B.K. Dewar (AdaCore Inc.), Edmond Schonberg (AdaCore Inc.)
• date: 2001
• online @ www.cs.fsu.edu

.

Use of Formal Methods at Amazon Web Services

• authors: Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff
• date: 2014
• online @ lamport.azurewebsites.net
• topics: Software Engineering, Model Checking, TLA(plus)

.