Protocol engineering using UML.
Claude JardJean-Marc JézéquelAlain Le GuennecBenoît CaillaudPublished in: Ann. des Télécommunications (1999)
Keyphrases
- software engineering
- model driven engineering
- database design
- engineering design
- lightweight
- software systems
- artificial intelligence
- software development
- object oriented
- formal methods
- uml profile
- formal analysis
- object oriented modeling
- unified modeling language
- protocol specification
- uml activity diagrams
- class diagrams
- class diagram
- uml diagrams
- cryptographic protocols
- requirements engineering
- metamodel
- design process
- relational databases