1 / 8

Agenda: Review of the project (problems statements) The proposals; Long term goals; Achievements;

Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI. Agenda: Review of the project (problems statements) The proposals; Long term goals; Achievements; Details presentations; Discussions.

kaveri
Download Presentation

Agenda: Review of the project (problems statements) The proposals; Long term goals; Achievements;

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Presentasi Hasil Penelitian RUTIDeveloping Technology for Specifying and Generating Critical Data Processing Programsby Tim Fasilkom UI

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

  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.

  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

  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.

  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)

  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.

  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

More Related