Abstract
ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.
Original language | English |
---|---|
Pages | 90-93 |
Number of pages | 4 |
Volume | 42 |
No. | 6 |
Specialist publication | Computer |
DOIs | |
Publication status | Published - 2009 |
Keywords
- ASSL
- Autonomic computing
- Data mining
- Java
- Keywords: Software technologies
- NASA
- Probability density function
- Programming
- Software
- Software engineering
- System analysis and design