Designing Minimal Effective Normative Systems With the Help of Lightweight Formal Methods

doi 10.1145/2950290.2950307
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Application of Lightweight Formal Methods to Software Security

English

Formal Methods in Systems Engineering

1993English

Formal Methods Usage With Respect to Critical Systems Checking

Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
2019English

Formal Methods for Eternal Networked Software Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Interfacing Informal and Formal Help Systems: Historical Pathways to the Meitheal Model

Administration
SociologyFinancePublic AdministrationEconomicsPolitical ScienceEconometrics
2016English

Towards Formal Methods for Agent-Based Systems

1996English

Mentor Coaching to Help Pre-Service Teachers in Designing an Effective Lesson Plan

Indonesian Journal of Applied Linguistics
LinguisticsLanguage
2013English

Computing Minimal Mappings Between Lightweight Ontologies

International Journal on Digital Libraries
LibraryInformation Sciences
2012English

Designing Effective Warnings

Reviews of Human Factors and Ergonomics
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy