.NET Technology - PowerPoint PPT Presentation

Loading...

PPT – .NET Technology PowerPoint presentation | free to download - id: 7335ae-YjEwO



Loading


The Adobe Flash plugin is needed to view this content

Get the plugin now

View by Category
About This Presentation
Title:

.NET Technology

Description:

.NET Technology Introduction Overview of .NET What .NET means for Developers, Users and Businesses Two .NET Research Projects: .NET Generics AsmL What Is .NET? – PowerPoint PPT presentation

Number of Views:27
Avg rating:3.0/5.0
Slides: 25
Provided by: acuk
Learn more at: http://www.dcs.warwick.ac.uk
Category:

less

Write a Comment
User Comments (0)
Transcript and Presenter's Notes

Title: .NET Technology


1
.NET Technology
2
Introduction
  • Overview of .NET
  • What .NET means for Developers, Users and
    Businesses
  • Two .NET Research Projects
  • .NET Generics
  • AsmL

3
What Is .NET?
  • Initiative launched in 2002
  • Comprehensive family of products
  • Helps BUILD, MANAGE, USE and EXPERIENCE Web
    Services
  • Web Service
  • Reusable piece of code accessed directly by
    another service or software application
  • Programs written in any language on any platform

4
.NET Platform
  • Consists of 5 main components

5
.NET Framework
Two main components 1. Common Language RunTime
(CLR) 2. .NET Framework Class Library
6
.Net Framework (cont.)
  • .NET Framework Class Library
  • Supplies resources needed to build applications
  • Unified classes
  • 3 components
  • ASP.NET (build Web applications/services)
  • Windows Forms (user interface development)
  • ADO.NET (help connect applications to databases)

7
Summary of Benefits
  • Helps develop Windows applications
  • Reuse of existing code
  • Easy integration of languages
  • Same tools/skills to build for a wide range of
    devices.
  • Facilitates deployment and maintenance of
    software
  • Improved reliability, scalability, performance
    and security

8
.NET Services for Consumers and Businesses
9
Aim of .NET for Users
  • What does .NET mean for users?
  • Software for connecting people, information,
    systems and devices.
  • Main Goal
  • A concept called The .NET Experience
  • Ongoing research

10
.NET User Experience
  • Provides a more personal experience for the user
    by connecting web services
  • Example household utility controls
  • Why is the .NET Experience unique?
  • Each device generates a different interface
  • Location-independent
  • Personalised

11
.NET Services
  • Future research To create new services and
    expand existing services, such as
  • .NET Alerts
  • .NET MapPoint Web Service
  • .NET My Services
  • .NET Passport
  • .NET for Retail

12
.NET Passport (Any time, Any place, on Any device)
  • What is .NET Passport?
  • Authentication service
  • Universal login
  • Deliver a more personal experience with user
    profile
  • What are the benefits?
  • For consumers (convenient and secure)
  • For businesses (adds value to all sites
    supporting Passport)
  • What is the future?
  • Stronger authentication forms
  • Streamline services
  • Interoperate with other authentication systems

13
.NET Generics
14
.NET Generics
  • What is it?
  • Allows a developer to write code without
    specifying too many implementation details.
  • Generics - 'Not Having a Brand Name
  • e.g. generic washing up liquid
  • Extension to the CLR's type system
  • e.g. GenericSortedListltTgt
  • Serves similar purpose as templates in C.

15
Benefits of .NET Generics
  • Type Safety
  • Removes the need for implicit casting
  • Check type at compile time not run time.
  • Binary Code Reuse
  • SortedListOfStrings Only for Strings
  • Performance
  • No casts
  • Clarity
  • Constraints

16
Future Development of .NET Generics
  • Some support for .NET Generics is being released
    as part Visual Studio 2005, but limited
  • Future release aim to
  • Support more languages
  • Make it possible to constrain operators.

17
AsmLAbstract State Machine Language
18
AsmL - Abstract State Machine Language
  • Specification language
  • Influenced by Z and VDM
  • Specifications are executable
  • Precise and unambiguous way to specify system
  • Can test/prove implementation satisfies
    specification
  • Not implementation non-determinism
  • Supports all .NET structuring mechanisms.

19
Abstract State Machines
  • Program is series of states
  • State represented by first order structure
  • Function describes movement between states
    (atomic)
  • Model algorithms at natural level of abstraction

f(S1)
f(S2)
f(S3)
f(Sn-1)
S1 -------gt S2 ------gt S3 -----gt . . . ----gt Sn
Execution of Program
20
AsmL Specifications
  • Sorting a list A
  • Non-deterministically chooses elements to swap.
  • Specifies updates leading to next state.

class Model Swap() Choose i in Indices(A), j
in Indices(A) where i lt j and A(i) gt
A(j) A(j) A(i) A(i)
A(j)
21
Benefits
  • Precise and unambiguous way to specify system
    (safety critical system)
  • Allow teams to communicate design decisions
  • Can execute specifications
  • Before commit to coding entire system can answer
    fundamental questions
  • Verify implementation by running in conjunction
    with specification

22
The Future of AsmL
  • Version of AsmL released 2004
  • Free download
  • http//research.microsoft.com/foundations/AsmL
  • MS plans to increase its use in internal
    applications
  • Still investigating
  • Automatic test-case generation of specifications
  • Automatic verification of specifications using
    theorem proving techniques

23
Summary
  • We have outlined
  • What .NET is.
  • What .NET means for users, developers and
    businesses.
  • The future hope of a .NET Experience
  • 2 ongoing research projects on .NET.

24
Any Questions?
About PowerShow.com