Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.
Guillaume DupontYamine Aït AmeurMarc PantelNeeraj Kumar SinghPublished in: ABZ (2018)
Keyphrases
- systems development
- dynamic logic
- imperative programs
- classical first order logic
- systems engineering
- information systems development
- development process
- modal logic
- information systems
- reasoning about actions
- software development
- software engineering
- quality management
- total quality management
- agent programming
- theorem prover
- project management
- systems analysts
- propositional dynamic logic
- database
- requirements engineering
- temporal logic
- first order logic
- software requirements
- databases
- data sets