Abstract | ||
---|---|---|
We present an integrated approach to support both top-down and bottom-up design of software systems by combining UML (Unified Modeling Language) and the Formal Engineering Method SOFL (Structured Object-oriented Formal Language). We demonstrate by examples that the top-down principle used in conventional Structured Design can be effectively utilized to carry out object-oriented design that is usually seen as a way to suit bottom-up analysis and design. Furthermore, we also explain how the integrated approach helps to improve the preciseness and understandability of design documentations. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1109/ICSMC.2002.1175573 | Systems, Man and Cybernetics, 2002 IEEE International Conference |
Keywords | DocType | Volume |
formal languages,formal specification,object-oriented languages,object-oriented methods,specification languages,formal engineering method,sofl,structured design,structured object-oriented formal language,uml,unified modeling language,bottom-up approach,design documentations,object-oriented design,top-down approach,software systems,object oriented languages,bottom up,top down,formal language,object oriented design,object oriented | Conference | 6 |
ISSN | ISBN | Citations |
1062-922X | 0-7803-7437-1 | 1 |
PageRank | References | Authors |
0.35 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shaoying Liu | 1 | 713 | 89.48 |
Jin Song Dong | 2 | 177 | 15.93 |