02992nas|a2200397 i 4500 20260818090244.0 241198s1987 th uzm rtt 00| a1eng d .b10027877 AIT RSPR no. CS-87-7 Somchai Supnimitjareonpon A design of modularity and abstraction oriented specification language (MAOSL) Modularity and abstraction oriented specification language (MAOSL) Bangkok : Asian Institute of Technology, 1987 64 p. Research studies project report ; no. CS-87-7 A research study summitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1987 Specification language is used as a tool for communicating idea between software developers a nd their customers. The lack of a precise and powerful specification language may lead to the delivery of unreliable , or sometimes unusable products. In this research study, problems of current software development, the trend and new concepts in modern large-scalesoftware design techniques are investigated. Data abstraction, modularity and concurrency are found to be important concepts. Based on these concepts, a new specification language is designed and developed. It supports both the architectural design, by providing a graphical and textual syntaxes, and the detailed design, by providing a formal language which is composed of Modula-2 reserved words a nd constructs to specify information about related libraries of software, timing, processes, communications and states. In order to illustrate the effectiveness of the language, three specification and design examples are presented. Comparison with the approach using existing specification languages is also made. Computer programs Contracts and specifications Vilas Wuwongse, Chairperson Venkatachalam, Paruvachi A., Examination Committee Kimura, Tomonori, Examination Committee DAAD (German Academic Exchange Service ), Scholarship Donor Asian Institute of Technology. Research studies project report ; no. CS-87-5 Full-Text http://203.159.5.9/ait-thesis/detail.php?q=B18970 .b10027877 mnait y 240409 2 951012 m a y 2 mnait mnarc 22 40 Barcode : 30050120616791 CREATED : 2012-07-09 RECORD # : i12693935 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 Barcode : 30050120238604 CREATED : 2016-03-24 RECORD # : i1290904x LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 27423 27423 0 0 0 0 MAIN MAIN mnait 2026-08-18 0 AIT RSPR no. CS-87-7 30050120616791 2026-08-18 09:02:44 3 2026-08-18 22 0 0 0 0 MAIN MAIN mnarc 2026-08-18 0 AIT RSPR no. CS-87-7 30050120238604 2026-08-18 09:02:44 2026-08-18 40