Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming.
Marco AldinucciMarco DaneluttoPeter KilpatrickPublished in: FMCO (2008)
Keyphrases
- formal models
- programming environments
- decision support
- knowledge management
- programming environment
- development environment
- document management
- community driven
- computer programs
- mission critical
- autonomic computing
- distributed systems
- seamless integration
- development projects
- programming language
- configuration management
- tool support
- health services
- autonomic systems
- grid middleware
- directory service
- knowledge based systems
- computer programming
- formal model
- project management
- information systems
- software development environment
- software engineering
- programming course
- workflow management
- process model
- peer to peer
- case study
- decision making
- artificial intelligence
- workflow execution
- data management
- program understanding
- rule based systems
- virtual organization