AI SearchA design of modularity and abstraction oriented specification language (MAOSL) (Record no. 27423)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02992nas|a2200397 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818090244.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 241198s1987 th uzm rtt 00| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b10027877 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT RSPR no. CS-87-7 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Somchai Supnimitjareonpon |
| 245 12 - TITLE STATEMENT | |
| Title | A design of modularity and abstraction oriented specification language (MAOSL) |
| 246 30 - VARYING FORM OF TITLE | |
| Title proper/short title | Modularity and abstraction oriented specification language (MAOSL) |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1987 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 64 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Research studies project report ; |
| Volume/sequential designation | no. CS-87-7 |
| 500 ## - GENERAL NOTE | |
| General note | A research study summitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1987 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programs |
| General subdivision | Contracts and specifications |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Vilas Wuwongse, |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Venkatachalam, Paruvachi A., |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kimura, Tomonori, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | DAAD (German Academic Exchange Service ), |
| Relator term | Scholarship Donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Research studies project report ; |
| Volume/sequential designation | no. CS-87-5 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B18970">http://203.159.5.9/ait-thesis/detail.php?q=B18970</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10027877 |
| b | mnait |
| c | y |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240409 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 2 |
| Cataloger's initials, CIN (RLIN) | 951012 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | y |
| -- | 2 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 22-AIT Thesis (Replacement) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120616791 |
| CREATED | CREATED : 2012-07-09 |
| RECORD Id | RECORD # : i12693935 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120238604 |
| CREATED | CREATED : 2016-03-24 |
| RECORD Id | RECORD # : i1290904x |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | AIT RSPR no. CS-87-7 | 30050120616791 | 18/08/2026 | 3 | 18/08/2026 | 22-AIT Thesis (Replacement) | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT RSPR no. CS-87-7 | 30050120238604 | 18/08/2026 | 18/08/2026 | 40-Archives |