Logic for Component-Based Software Development.
Kung-Kiu LauMario OrnaghiPublished in: Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
- component based software development
- software development
- logic programming
- classical logic
- modal logic
- software evolution
- expert systems
- multi valued
- predicate logic
- proof theory
- delay insensitive
- software engineering
- probabilistic logic
- automated reasoning
- computational properties
- defeasible logic
- asynchronous circuits