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