Thinking for Programmers: Rising Above the Code

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=kq2IukJmQYw


Duration: 1:09:31
3,126 views
53

Architects draw detailed blueprints before a brick is laid or a nail is hammered.Programmers and software engineers seldom do.A blueprint for software is called a specification. The need forextremely rigorous specifications before coding complex or criticalsystems should be obvious -especially for concurrent and distributedsystems.This talk explains why some sort of specification should bewritten for any software.



Other Videos By Microsoft Research


2016-06-22Automated SMT-based Verification for Reasoning about Approximations
2016-06-22Exploiting Energy-Aware Programming to Build Energy-Efficient System Software
2016-06-22NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering - Session 6
2016-06-22Advances in Quantum Algorithms & Devices: Exact synthesis for qubit unitaries
2016-06-22Towards Understandable Neural Networks for High Level AI Tasks - Part 3
2016-06-22IMS-Microsoft Research Workshop: Foundations of Data Science - Opening Remarks and Morning Session I
2016-06-22Peter Lee Address to Summer School 2014 Attendees
2016-06-22Approximating Integer Programming Problems by Partial Resampling
2016-06-22IMS-Microsoft Research Workshop: Foundations of Data Science - Opening Remarks and Morning Session I
2016-06-22Proof Engineering, from the Four Colour to the Odd Order Theorem
2016-06-22Thinking for Programmers: Rising Above the Code
2016-06-22Optimal and Adaptive Online Learning
2016-06-22Tutorial: Introduction to Reinforcement Learning with Function Approximation
2016-06-22Towards Understandable Neural Networks for High Level AI Tasks - Part 5
2016-06-22IMS-Microsoft Research Workshop: Foundations of Data Science - False Discovery Rates - a new deal
2016-06-22Interactive Biotechnology: Cloud Labs, Biotic Games, DIY kits, and more
2016-06-22An Algorithm for Precision Medicine
2016-06-22Reverse Engineering Autonomous Language Acquisition
2016-06-22Code Hunt Workshop - Day 2 Session 7
2016-06-22NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering - Session 4
2016-06-22Tutorial: High-Performance Hardware for Machine Learning


Tags:
microsoft research
program languages and software engineering