An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Sterotypen.
Shourong LuPublished in: PEARL (2003)
Keyphrases
- modeling language
- object oriented
- unified modeling language
- software systems
- database design
- uml models
- class diagrams
- metamodel
- uml profile
- class diagram
- software engineering
- object oriented modeling
- conceptual modeling
- formal methods
- massachusetts institute of technology
- software development
- test set
- causal models
- conditional independence
- uml class diagrams
- specification language
- belief revision
- sequence diagrams
- artificial intelligence
- uml diagrams
- state machine
- model driven engineering
- tool support
- software architecture
- belief change
- software design
- knowledge base