UML for Protocol Engineering - Extensions and Experiences.
Juha PärssinenNiklas von KnorringJukka HeinonenTellabs OyMarkku TurunenPublished in: TOOLS (33) (2000)
Keyphrases
- software engineering
- model driven engineering
- engineering design
- lightweight
- formal analysis
- case study
- software systems
- database design
- class diagrams
- cryptographic protocols
- formal methods
- authentication protocol
- uml models
- computer science
- requirements engineering
- engineering education
- default logic
- query language
- object oriented
- tcp ip
- software development
- conceptual modeling
- software architecture
- software design
- metamodel
- engineering problems
- artificial intelligence
- sequence diagrams
- remote laboratories
- unified modeling language
- modeling language
- object oriented modeling