Generating composite behavior of embedded software components based on UML behavioral model and process algebra.
Jin Hyun KimJin-Young ChoiInhye KangInsup LeePublished in: ACM SIGSOFT Softw. Eng. Notes (2011)
Keyphrases
- behavioral model
- embedded software
- sequence diagrams
- process algebra
- formal methods
- software architecture
- petri net
- behavior analysis
- concurrent systems
- development projects
- cognitive model
- embedded systems
- formal specification
- model checking
- asynchronous circuits
- distributed systems
- design patterns
- software development
- software engineering
- object oriented
- artificial intelligence
- database design
- software systems
- intermediate representation
- regression testing
- case study
- information systems