2. 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI

3. 2 Agenda: Review of the project (problems statements) The proposals; Long term goals; Achievements; Details presentations; Discussions

4. 3 Review of the projects: Problem Statements In the information era, many of the human tasks have been completely or partially replaced by computer systems. The number of existing application programs is significant and grows extremely quickly. Industrial companies and other institutions often need to change their computer system as the complexity of their problem increase.

5. 4 Review of the projects: Problem Statements The need to modernize legacy system is primarily driven by three factors: –expansion of the system ’ s functionality; –improved maintainability of the system using modern tools and techniques; –and reduction of operational costs and improved reliability by replacing obsolete hardware suites with high-speed, open-architecture systems

6. 5 Review of the projects: Problem Statements Writing a language transformation tool used to be complicated, unreliable, expensive. The technique is mastered only by few, which is why such a tool is expensive.

7. 6 The Proposals Develop specification language suitable to critical data processing; Verification tools; Specation language to Implementable language (Java) transformer Integrate those into Integrated Development Environtments (IDEs)

8. 7 Long Term Goals Develop Indonesia's competitive strength on software development, especially on the key factors: robustness and correctness, of the software product by applying the latest technology innovation to solve the current problems.

9. 8 Achievements Language of specification (muPL  Lingu) Critical module analysis, specification and verification of SET application (SPMB) Lingu Library for HOL Theorem Prover; LinguSQL (IDEs including transformer to Java); Publications and presentations; Next : Details presentations