Faculty Summit 2016 - Building Practical Verified Systems

137
Опубликовано 22 июля 2016, 19:19
Mobile and cloud app ecosystems are growing at a tremendous pace. Today, there are hundreds of thousands of developers building cloud apps and cloud-backed mobile apps. Unlike traditional software, these apps are typically run in uncontrolled “wild” environments: wide range of user interactions, hardware platforms, network connectivities, and fault conditions. Coping with the ensuing performance and reliability issues is difficult enough for sophisticated developers and well-funded organizations, but for small teams with fewer resources at hand, the problem is acute. In this session, we will look at modern developer tools to addressing these problems.
Случайные видео
164 дня – 1 172 6886:26
The single monitor setup for 2024.
296 дней – 3 145 24119:05
I’m Keeping the World’s Biggest TV.
05.12.22 – 14 214 0990:59
When Apple Gets It Wrong
20.01.10 – 333 0582:52
Using Extensions on Google Chrome
автотехномузыкадетское