| Status | 已發表Published |
| Towards a formal use of UML for software requirement analysis | |
Liu, ZM1; Li, XS2 ; He, JF
| |
| 2001 | |
| Conference Name | International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001) |
| Source Publication | PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS
 |
| Pages | 27-33 |
| Conference Date | JUN 25-28, 2001 |
| Conference Place | LAS VEGAS, NV |
| Publication Place | 115 AVALON DR, ATHENS, GA 30606 USA |
| Publisher | C S R E A PRESS |
| Abstract | This work attempts to develop a method to support the formal use of UML in object-oriented software development, The method will include formal definitions of the modelling units in UML which can be used to relate the different UML models used at different stages during a software development process. It intends to support step-wised refinement and component based development in building models. As a starting point, this paper deals with a formalization of the UML Models used hi requirement analysis, i.e. use-case models and conceptual models. |
| Keyword | Conceptual Model Use-case Models Object-orientation Refinement Uml |
| URL | View the original |
| Indexed By | SCIE |
| Language | 英語English |
| WOS Research Area | Computer Science |
| WOS Subject | Computer Science, Hardware & Architecture ; Computer Science, Software Engineering ; Computer Science, Theory & Methods |
| WOS ID | WOS:000174014500004 |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Conference paper |
| Collection | Faculty of Science and Technology DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE |
| Affiliation | 1.Univ Leicester, Dept Math & Comp Sci, Leicester LE1 7RH, Leics, England. 2.University of Macau, China |
| Recommended Citation GB/T 7714 | Liu, ZM,Li, XS,He, JF. Towards a formal use of UML for software requirement analysis[C], 115 AVALON DR, ATHENS, GA 30606 USA:C S R E A PRESS, 2001, 27-33. |
| APA | Liu, ZM., Li, XS., & He, JF (2001). Towards a formal use of UML for software requirement analysis. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 27-33. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment