#TITLE_ALTERNATIVE#

• Main Author: SETIAWAN (NIM 23505004), DHANNY
• Format: Theses
• Language: Indonesia
• Online Access: https://digilib.itb.ac.id/gdl/view/10224
• Institution: Institut Teknologi Bandung

Software enginnering development needs very highly testing level. This will be a problem because to have a complete testing needs very much cost and skillful tester. Method, commonly used to develop a system, is object oriented method. But, this method still needs a very complex testing for critical system. So, there is a new method for developing software, that is, formal method.<p> <br /> <br /> <br /> <br /> <br /> Formal method is a method for developing software based on mathematics language. The problem using this method is because of the used of mathematics language, so it s very complex to understand the specification, but with this method will have specification accurately. So, it s needed to have an analysis method commonly used, like object-oriented method, to develop premature specification. After the premature specification developed, then specification for formal method will be easy to develop. Formal method used, is RAISE methodology. Steps of developing specification using RAISE methodology are developing with an abstract applicative, then make it concrete, then develop an imperative specification. Then, if the system have concurrent application, then concrete imperative can be used as based to develop concrete concurrent specification.<p> <br /> <br /> <br /> <br /> <br /> As a case study, resources reservation system has been choosed, with boundary like a system which is developed must have a database with a minimum two tables and a relationship, and must have a concurrent problem. After the research, the conclusions are with the help of object-oriented method, then formal specification could be developed easyly and formal method can take concurrency problem using channel method.