Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.
Damien DoligezMathieu JaumeRenaud RiobooPublished in: PLAS (2012)
Keyphrases
- programming environment
- programming environments
- programming language
- pilot project
- novice programmers
- case study
- object oriented
- relational database systems
- visual basic
- first order logic
- reactive systems
- asynchronous circuits
- databases
- intelligent agents
- distributed systems
- user interface
- data analysis
- artificial intelligence