l1 - CS 290C: Formal Models for Web Software Lecture 1:...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 290C: Formal Models for Web Software Lecture 1: Introduction Instructor: Tevfik Bultan
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Web software Web software is becoming increasingly dominant Web applications are used extensively in many areas: Commerce: online banking, online shopping, … Entertainment: online music, videos, … Interaction: social networks We will rely on web applications more in the future: Health records Controlling and monitoring of national infrastructures
Background image of page 2
Web software Web software is also rapidly replacing desktop applications software-as-service cloud computing In the future most of the software applications we use will probably be web applications
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Why are web applications so popular? Ease of access You can access a web application from any computer with an internet connection A lot of them are free Centralized data storage You do not need to keep carrying a memory stick with you and keep copying files Easy to upgrade and maintain Do not need to keep re-installing the new versions Developers can update the software on the server side
Background image of page 4
Are there any problems? Web applications are not trustworthy! Web applications are notorious for security vulnerabilities Many web applications have navigation errors where they mishandle unexpected user requests As web applications are becoming increasingly dominant
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/27/2011 for the course CMPSC 290h taught by Professor Chong during the Fall '09 term at UCSB.

Page1 / 21

l1 - CS 290C: Formal Models for Web Software Lecture 1:...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online