scholarly journals EMPS : An Efficient Software Merging Technique for Preserving Semantics

2006 ◽  
Vol 13D (2) ◽  
pp. 223-234 ◽  
Author(s):  
Ji-Sun Kim ◽  
Cheong Youn
Keyword(s):  
Software Merging ◽  
Efficient Software

scholarly journals Evaluation model: A performance appraisal model for certified lecturers

2018 ◽  
Vol 49 ◽  
pp. 02003
Author(s):  
Dyah Ayu Puri Palupi ◽  
Mardanung Patmo Cahjono ◽  
Kristyana Dananti
Keyword(s):  
Performance Appraisal ◽  
Evaluation Model ◽  
Group Discussion ◽  
Valuable Contribution ◽  
Web Based ◽  
Software Application ◽  
The Government ◽  
Program Test ◽  
Prototype Software ◽  
Efficient Software

This study aims to develop lecturer performance appraisal model using web-based Integrated Evaluation Model (IEM). The object of this study is certified lecturers in Indonesia, by applying this model, the certification compensation given by the government is really used to enhance lecturer's performance. It is expected that the results of this study can be an important research that produces effective and efficient software to evaluate the lecturers' performance nationally because it involves a 360degree assessment. We have done some activities to develop the prototype software application of Integrated Evaluation Model (IEM) for assessing the certified lecturer's performance. They are 1) preparing the questionnaire indicator for the 360 degree performance appraisal, 2) conduct the program test on the certified lecturer. In this phase, certified lecturers, superior, and students also conduct assessment on certified lecturers through IEM software, 3) conduct Focus Group Discussion (FGD) to gain evaluation and feedback on the effectiveness of the IEM application program. FGD results provide a valuable contribution to the preparation of IEM program design. And the IEM software produced in this research has accommodated all of the results of FGD activities. IEM complements the prior certified lecturer performance appraisal with 360 degrees performance appraisal.

scholarly journals Efficient software model checking of soundness of type systems

2008 ◽  
Vol 43 (10) ◽  
pp. 493-504 ◽  
Author(s):  
Michael Roberson ◽  
Melanie Harries ◽  
Paul T. Darga ◽  
Chandrasekhar Boyapati
Keyword(s):  
Model Checking ◽  
Type Systems ◽  
Software Model Checking ◽  
Software Model ◽  
Efficient Software

spaceAPPS – A modular approach for on-board software

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Juergen Herpel ◽  
Friedrich Schoen ◽  
Harald Selegrad
Keyword(s):  
Success Factors ◽  
Third Party ◽  
Ground Testing ◽  
Modular Concept ◽  
Failure Propagation ◽  
Software Modularity ◽  
Cost Efficient ◽  
Space Separation ◽  
Target Platform ◽  
Efficient Software

Abstract Software modularity and partial qualification capabilities are key enablers to produce cost efficient software in highly regulated domains. The modular concept (called spaceAPPS) described in this paper has been developed in the frame of the OPS-SAT project aiming at missions where flexibility is one of the success factors. spaceAPPS implements a novel software architecture for satellites inspired by the Apps concept of modern smartphones. In the European space domain the operation of a satellite is based on a set of 18 services. Accordingly, in spaceApps these services are mapped to individual Apps. This is not a one-to-one mapping which means that one App implements one or more services. During OPS-SAT ground testing it was demonstrated that functionality could be easily added through a new App or updated through replacing an existing App. Also during OPS-SAT ground testing it could be shown that a failing UserApp did not impact the basic apps to operate the satellite. Thus, it is possible to run applications of different criticality on the same platform. With operating systems supporting time and space separation the risk of failure propagation can be further reduced. The implementation of a partial validation approach, i. e. testing of third-party Apps in a representative environment and not running the validation on the target platform is feasible but was not demonstrated.

Sign in / Sign up

Export Citation Format

Share Document