HIGHLIGHTS
- who: LENOVO from the Department of Software Engineering and Information System, University Putra Malaysia (UPM), Serdang, Malaysia have published the research: Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation, in the Journal: (JOURNAL)
- what: This work proposes model rules from KAOS model to Event-B model along with implementing the rules and evaluates the proposed rules using Mine Pump Controller case study. The aim of this paper is to combine the requirements and specification phases by using KAOS , and Event-B , methods to explore the interconnection of the requirements model and formal method . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.