A Formal Model for Component-Based Embedded Software Development.
Changde LiXingshe ZhouYunwei DongZhiwen YuPublished in: ICESS (2009)
Keyphrases
- software testing
- formal model
- software development
- software engineering
- software systems
- case study
- development process
- software projects
- software components
- security patterns
- software developers
- security properties
- source code
- embedded systems
- software design
- cost estimation
- predicate calculus
- development lifecycle
- probabilistic knowledge
- software reuse
- software architecture
- case based reasoning