Tony Hoare

1
Tony Hoare

• Turing Award 1980
• Program Verification
• Algol 60
• Axiomatic Semantics
• Floyd-Hoare Logic
• Concurrent Programs
• Communicating Sequential Processes CSP
• Microsoft
• Assertions in large programs

2
Robin Milner

• Turing Award 1991
• Program Verification
• ML
• Semantics of Languages
• SML
• Process Algebra
• CCP Concurrent Communicating Processes
• Models of Interactions
• Mobile Agents, Pi Calculus

3
Java UML

• Java Programming Language
• Unified Modelling Language
• Object-Oriented Analysis, Design Implementation
• Software Engineering Process
• CASE (Computer Aided Software Engineering) Tools

4
Java

• Object-Oriented Programming Language
• http//java.sun.comJDK
• (Java Development Kit)
• Virtual Machine
• JIT Just In Time Compiler
• API Application Program Interface
• JavaDoc Program documentation
• Applets
• Servelets
• RMI Remote Module Interchange

5
JAS Java Application Studio

• JAS 2.2.3 (April 2001)
• Offline analysis of HEP
• data
• Independence from data
• format
• Consistent GUI
• (Graphical User Interface)
• User Analysis Modules
• Histogram Scatterplot
• Display
• http//www-sldnt.slac.stanford.edu/jas/

6
Wired World Wide Web Interactive Remote Event
Display

• Framework to build High Energy Physics Event
  Display
• Written in Java (JDK1.3)
• Version 2.2.1 (May 2001)
• Open Source
• http//wired2.web.cern.ch/wired2

7
MassToy

• Theoretical Experiment on Neutrino Mass Matrices
• Java code
• Author Juha Peltoniemi (Finland)
• http//cupp.oulu.fi/neutrino
• Masud Chaichian (Professor at Helsinki)
• Research student of Prof. Euan Squires at Durham
  University (UK) in early 1970s
• I worked under Euan at Durham (69-71), but was
  too busy teaching (Electromagnetic theory)

8
Booch Method

• Object Model (Grady Booch)
• Abstraction
• Encapsulation
• Modularity
• Hierarchy
• Typing
• Concurrency
• Persistence
• Class Booch Clouds
• Rational Software Corporation

9
OMTObject Modeling Technique

• OMT (James Rumbaugh)
• Analysis
• Object Model
• Dynamic Model
• Functional Model
• Analysis Document
• System Design
• System Design Document
• Object Design
• Object Design Document
• Rational Software Corporation

10
OOSE Object Oriented Soft. Eng.

• OOSE (Ivar Jacobson)
• Requirements Analysis
• Use Cases, Actors
• Analysis
• Interface, entity, control
• Design
• Interaction, Block, Subsystem
• Implementation
• Components
• Testing
• Rational Software Corporation

11
UML

• Unified Modelling Language
• Unification of Booch, Rumbaugh, Jacobson,
  others
• Notation for Object-Oriented Analysis Design
• Diagrams Texts (Specification Constraintss)
• Language Extensions
• CASE Tools (Rose)
• CORBA, Components
• Design Patterns, Reuse
• OMG (Object Management Group) Standard (1.4)
• Semantics ? (Use Abstract State Machine, ASM)