Assurance Cases in Model-Driven Development of the Pacemaker Software.
Eunkyoung JeeInsup LeeOleg SokolskyPublished in: ISoLA (2) (2010)
Keyphrases
- model driven development
- software development
- software design
- model driven
- commercial software
- platform independent
- modeling language
- business processes
- service oriented
- business process
- model driven architecture
- information systems
- service oriented architecture
- development process
- software systems
- software projects
- software architecture
- test cases
- software engineering