Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes.
Piotr RolinskiJean-Luc RaffyPublished in: CSMR (2000)
Keyphrases
- scheduling problem
- preventive maintenance
- software evolution
- engineering design
- artificial intelligence
- delay insensitive
- software engineering
- software systems
- software maintenance
- temporal evolution
- product design
- formal specification
- neural network
- computer science
- information retrieval
- functional requirements
- software architecture
- specification language
- high level
- engineering problems
- social networks
- design requirements
- software requirements