ABSTRAK Pengukuran kinerja dengan dengan menggunakan konsep EFQM dan konsep BSC sudah cukup lama dikenal dan telah banyak digunakan. PEngembangan model untuk mendapatkan model pengukuran kinerja terus dilakukan untuk mendapat model yang semakin baik. Peluang mengintegrasi dua buah model menjadi alternative yang baik untuk dikembangkan. Pengintegrasian model BSC dan model EFQM dilakukan untu…
Abstract Requirement specification which applies object oriented concept is now begin used by software developer, although this concept can’t reaches the formality of formal specification language. The use of formal method for requirements specification gives more advantages in consistency and ambiguity elimination. One of formalization form has been used is on UML. This experiments will…