Automatic Conversion of Software Specification into a Gantt-chart subject to Organization's Constraints.
Moshe DayaniRoy GelbardPublished in: CENTERIS/ProjMAN/HCist (2015)
Keyphrases
- software systems
- information systems
- software development
- fully automatic
- user interface
- constraint language
- software tools
- high level
- tool suite
- platform independent
- development process
- source code
- test case generation
- software evolution
- control flow
- global constraints
- software maintenance
- semi automatic
- constraint networks
- software design
- formal methods
- software package
- linear constraints
- formal verification
- computer systems
- reactive systems
- linear programming
- software architecture