JavaScript is disabled on your browser. Enable JavaScript to use this site. Learn more

Java Tutorials

What do you want to learn?

6.005 6. State Machine Invariantsby LearnOnline Through OCW

36 Pages |126 Views

In this lesson, we develop a model for a simpler trafic light scheme, without the message passing and the idea of interlocks, an architecture for enfo...

6.005 7. Designing stream processorsby LearnOnline Through OCW

47 Pages|74 Views

After completing this lecture notes, you should be able to understand Stream processing programs, grammars vs. machines, JSP method of program deriv...

6.005 9. Testing and coverageby LearnOnline Through OCW

10 Pages |157 Views

Testing: Testing is a process in which the defects are identified, isolated, subjected for rectification and ensure that the product is defect free ...

6.005 11.Designing a SAT solver-Part 2by LearnOnline Through OCW

42 Pages|116 Views

In this lesson we will see how to built a naive solver that works for small problems. Here we will use the stratigies such as backtracking search: ea...

6.005 12. Debuggingby LearnOnline Through OCW

6 Pages |139 Views

After completing this lesson, you should be able to better under the following topics: 1.Techniques for avoiding debugging: assertions, modular devel...

6.005 13. Designing a SAT Solver Part- 3by LearnOnline Through OCW

40 Pages|157 Views

Upon completion of this lesson you should able to better understand 1.Abstract data types 2.Representation independence 3. Characterizing types by ...

6.005 10.Designing a SAT solver-Part 1by LearnOnline Through OCW

30 Pages |194 Views

What is SAT ? The SAT problem: given a formula made of boolean variables and operators, find an assignment to the variables that makes it true.SAT sol...

6.005 15. Little Languagesby LearnOnline Through OCW

7 Pages|181 Views

Upon completion of this lession you should be able to better understand the topics 1. Representing behavior using data structures 2. Language datatyp...

6.005 14. Rep invariants, equality, visitorsby LearnOnline Through OCW

36 Pages |106 Views

In this lesson we have a 1. Advice on implementing types rep invariants and abstraction functions 2. Equality for immutable types and 3. Iterator an...

6.005 19. Implementing a Photo Organizerby LearnOnline Through OCW

21 Pages|186 Views

This lesson covers various topics regarding Object model transformations such as 1.Implementation as object model transformation 2. Key issue of where...

6.005 22. Relational Databasesby LearnOnline Through OCW

7 Pages |302 Views

This lecture notes explores Relational Data Base Management System. RDBMS is a collection of tables. Table consists of Rows and Columns. To get the da...