Abstract
No abstract available.
Cited By
- Liu S Agile Formal Engineering Method for Software Productivity and Reliability Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia, (1-6)
- McKeever S, Gill M, Connor A and Johnson D Abstraction in physiological modelling languages Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-8)
- Gil J, Goldstein M and Moshkovich D An empirical investigation of changes in some software properties over time Proceedings of the 9th IEEE Working Conference on Mining Software Repositories, (227-236)
- Gil Y, Goldstein M and Moshkovich D How much information do software metrics contain? Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, (57-64)
- Bila J, Jura J and Bukovsky I Qualitative modeling in the landscape development monitoring Proceedings of the 15th WSEAS international conference on Systems, (35-41)
- Liu S (2009). Integrating top-down and scenario-based methods for constructing software specifications, Information and Software Technology, 51:11, (1565-1572), Online publication date: 1-Nov-2009.
- Muhairat M and Al-Qutaish R An approach to derive the use case diagrams from an event table Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems, (33-38)
- Yang A, Wu J and Wang L Based on B/S of the three-tier architecture of the questions the management system Proceedings of the 3rd WSEAS international conference on Computer engineering and applications, (186-190)
- Masuchun W, Davis S and Rangsaritratsamee R (2006). System for supply network management, Information Technology and Management, 7:4, (315-333), Online publication date: 1-Dec-2006.
- Doberkat E and Omodeo E (2004). ER modelling from first relational principles, Theoretical Computer Science, 311:1-3, (285-323), Online publication date: 23-Jan-2004.
- Nakkrasae S and Sophatsathit P A formal approach for specification and classification of software components Proceedings of the 14th international conference on Software engineering and knowledge engineering, (773-780)
- Purchase H, Colpoys L, McGill M, Carrington D and Britton C UML class diagram syntax Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9, (113-120)
- Decker S, Melnik S, Harmelen F, Fensel D, Klein M, Broekstra J, Erdmann M and Horrocks I (2018). The Semantic Web, IEEE Internet Computing, 4:5, (63-74), Online publication date: 1-Sep-2000.
Index Terms
- Fundamentals of object-oriented design in UML
Recommendations
An object-oriented hypermedia reference model formally specified in UML
Information modeling for internet applicationsAlthough the Unified Modeling Language (UML) is by now accepted as a standard and is widely used as an object-oriented modeling language, some languages such as Z or VDM are preferred to formally specify reference models. Here, we present a reference ...