'B method' presentation slideshows

The B Method

510 views • 37 slides

Towards the Formal Verification of a Java Processor in Event-B

Towards the Formal Verification of a Java Processor in Event-B. Neil Evans and Neil Grant AWE, Aldermaston. Motivation. The Scalable Core processor (Score) is a hardware implementation of a JVM Instruction Set Architecture (ISA) level instructions are Java bytecodes

404 views • 32 slides

Function Point Measurement from Java Programs

Function Point Measurement from Java Programs. Shinji Kusumoto + , Masahiro Imagawa + , Katsuro Inoue + Shuuma Morimoto $ , Kouji Matsusita $ , Michio Tsuda $ + Osaka University $ Hitachi System & Service, Ltd. effort (person-months). 300. 0. 2000. FP. Background(1/3).

344 views • 25 slides