1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data...
-
Upload
tracy-hoover -
Category
Documents
-
view
216 -
download
4
Transcript of 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data...
1
Presentasi Hasil Penelitian RUTI
Developing Technology for Specifying and Generating Critical
Data Processing Programs
by 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) transformerIntegrate 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 productby 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