11 papers:
TACAS-2015-DemasiCRMA #fault tolerance #named #source code #specification- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications (RD, PFC, NR, TSEM, NA), pp. 188–193.
KR-2014-ParentT #reasoning- Aggregative Deontic Detachment for Normative Reasoning (XP, LvdT).
ASE-2013-Demasi #fault tolerance #logic #source code #specification- Synthesizing fault-tolerant programs from deontic logic specifications (RD), pp. 750–753.
ICEIS-v2-2013-Ramos #constraints #database #sql #uml- Deontic Database Constraints — From UML to SQL (PNR), pp. 102–109.
ICSE-2013-LetierH #automaton #modelling #requirements #synthesis- Requirements modelling by synthesis of deontic input-output automata (EL, WH), pp. 592–601.
SAC-2008-AntoniouDG #reasoning- A system for modal and deontic defeasible reasoning (GA, ND, GG), pp. 2261–2265.
SEFM-2007-CastroM #fault tolerance #logic #reasoning- An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (PFC, TSEM), pp. 151–160.
- SAC-2006-Cheng #information management #logic
- Deontic relevant logic as the logical basis for legal information systems (JC), pp. 319–320.
- ICEIS-v3-2003-Ramos #constraints #diagrams #relational #uml
- Deontic Constraints: From UML Class Diagram to Relational Model (PR0), pp. 424–432.
SEKE-1994-KrogstieS- Extending a temporal rule language with deontic operators (JK, GS), pp. 314–321.
ISLP-1991-Meyden #logic #specification- A Clausal Logic for Deontic Action Specification (RvdM), pp. 221–238.
