SPARK: the libre language and toolset for high-assurance software engineering.
Trevor JenningsPublished in: SIGAda (2009)
Keyphrases
- software engineering
- high assurance
- software systems
- programming language
- development process
- free open source software
- natural language
- software development
- artificial intelligence
- object oriented
- software engineers
- software design
- language learning
- operating system
- software architecture
- open source software
- human computer interaction
- reverse engineering
- source code
- software quality
- software evolution
- high level
- database
- access control
- design patterns
- metamodel
- software projects
- distributed systems
- language processing
- general purpose
- systems development
- databases