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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1985-2013
01219852013

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We present a technique to automatically generate formal, executable assertions from natural language assertion descriptions… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 7
  • figure 6
Is this relevant?
2012
2012
How to effectively generate test cases is the key to software testing. In our previous research, we applied the program dynamic… (More)
  • table II
  • figure 1
  • figure 4
  • figure 2
  • figure 3
Is this relevant?
2011
2011
This paper describes a tool set for on-line and off-line runtime formal verification of system of systems (SoS) using rapid… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
Review
2011
Review
2011
Background: Instrumental Activities of daily living (IADL) questionnaires can be helpful in diagnosing dementia and are often… (More)
  • table 1
  • table 2
Is this relevant?
2007
2007
Among various speciication languages, ADL (Assertion Deenition Language) and its successor, ADL2, are best known for supporting… (More)
Is this relevant?
2006
2006
FeDCOR (Federation of DSpace using CORDRA) is a registry-based federation system for DSpace instances. It is based on the CORDRA… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
1999
Review
1999
In this paper, we describe a testing technique, called structural specification-based testing (SST), which utilizes the formal… (More)
Is this relevant?
1996
1996
This paper describes a specification-based black-box technique for testing program units. The main contribution is the method… (More)
  • figure 1
  • figure 2
Is this relevant?
1985
1985
In the early days of programming we didn’t even realize we needed to document --and we didn’t do it. After all, when you’ve… (More)
Is this relevant?