Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes.
Ibrahima FallReda BendraouMarie-Pierre GervaisXavier BlancPublished in: WETICE (2013)
Keyphrases
- software systems
- software development
- computer systems
- development process
- software vendors
- product line
- control flow
- software architecture
- software maintenance
- tool suite
- reactive systems
- software product
- formal methods
- process model
- software tools
- software process
- embedded systems
- software quality
- software design
- information systems
- software projects
- data flow
- formal verification
- test cases
- business processes
- source code
- project teams
- test case generation
- software process improvement
- user interface
- high level