Extending UML to Specify and Verify E-commerce Systems.
Mark A. J. SongAdriano C. M. PereiraFernanda LimaGustavo GorgulhoSérgio Vale Aguiar CamposWagner Meira Jr.Published in: SEKE (2003)
Keyphrases
- modeling language
- database design
- software systems
- formal methods
- electronic commerce
- trust model
- uml profile
- uml class diagrams
- software architecture
- object oriented
- metamodel
- conceptual models
- unified modeling language
- object oriented modeling
- software development
- software engineering
- genetic algorithm
- conceptual modeling
- sequence diagrams
- databases
- verification method
- class diagram
- class diagrams
- data sets