Trustable Formal Specification for Software Certification.
Dominique MéryNeeraj Kumar SinghPublished in: ISoLA (2) (2010)
Keyphrases
- formal specification
- object oriented design
- formal methods
- software components
- model checking
- specification language
- specification languages
- data abstraction
- process algebra
- reverse engineering
- software design
- software systems
- concurrent systems
- software development
- database management
- software architecture
- databases
- test cases
- exam preparation
- software engineering practices
- formal specification language
- software maintenance
- distributed systems
- software engineering
- natural language
- artificial intelligence