Logic, Accountability and Design: Extended Abstract.

Pedro Cabalar David Pearce

Published in: JELIA (2023)

Keyphrases

extended abstract
design methodology
design process
engineering design
database systems
design principles
modal logic
logic circuits
optimal design
embedded systems
design patterns
real world
computer aided
software architecture
building blocks
knowledge based systems
case study