Skip to search formSkip to main contentSkip to account menu

Assertion definition language

Known as: ADL, Assertion 
The Assertion Definition Language (ADL) is a specification language providing a formal grammar to specify behaviour and interfaces for computer… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Assertion (software development)Formal methodsFormal specificationPostcondition

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Análisis Diferencial de Actividades Instrumentales y Expansivas de la Vida Diaria en la Normalidad y el Deterioro
Es importante identificar de forma temprana dificultades en actividades de la vida diaria, tanto instrumentales como expansivas… 
2010
2010
The Association Between Frequency of Food Group Consumption and Functional Disability in Older People
Results: Adjusting for covariates, in men, frequency of milk and their products consumption was inversely associated with IADL… 
Review
2010
Review
2010
재가 장애인의 EQ-5D를 활용한 건강관련 삶의 질의 영향 요인
Purpose: This study was a secondary data analysis aimed at identifying the predictors of health-related quality of life (HRQoL… 
2007
2007
Towards Fully Automated Test Program Generation from Closed Speci cations of Classes
Among various speciication languages, ADL (Assertion Deenition Language) and its successor, ADL2, are best known for supporting… 
2006
2006
A comparative study of ADL and IADL of residential home and home for the aged dwelling elderly
연구목적: 본 연구는 가정 거주노인과 시설 거주 노인의 일상생활동작(ADL)과 도구적 일상생활동작(IADL… 
1998
1998
Functional outcomes following displaced intracapsular fracture of the proximal femur in elderly people
Gillian E Ward Functional Outcomes following Displaced Intracapsular Fracture of the Proximal Femur in Elderly People Background… 
1997
1997
Experiences with a Manufacturing Framework
This paper describes the first year of a joint project between the National Institute of Standards and Technology (NIST) and… 
1988
1988
The Influences of Opposing Opinions a Group--The Compromise, Conformity and Assertion Behaviors of Group Members
1981
1981
ADL - A DATA LANGUAGE FOR ENGINEERS.
1980
1980
A Multi-Modal Assessment of Didactic versus Rehearsal Group Assertion Training.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)