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 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/ http://www-sldnt.slac

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 http://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. OMT:Object 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)