Formalizing DSL Semantics for Reasoning and Conformance Testing

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_7 ◽

2014 ◽

pp. 81-95 ◽

Cited By ~ 1

Author(s):

Sarmen Keshishzadeh ◽

Arjan J. Mooij

Keyword(s):

Conformance Testing

Download Full-text

Information technology. Telecommunications and information exchange between systems. X.25-DTE conformance testing

10.3403/00281065 ◽

1992 ◽

Keyword(s):

Information Technology ◽

Information Exchange ◽

Conformance Testing

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020 ◽

1991 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776117u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776144u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Conformance testing for the biometric application programming interface (BioAPI)

10.3403/30130611 ◽

2007 ◽

Keyword(s):

Information Technology ◽

Application Programming Interface ◽

Conformance Testing ◽

Application Programming ◽

Programming Interface

Download Full-text

Information technology. Conformance testing for the biometric application programming interface (BioAPI)

10.3403/30145988u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Application Programming Interface ◽

Conformance Testing ◽

Application Programming ◽

Programming Interface

Download Full-text

Information technology. Conformance testing methodology for biometric data interchange formats defined in ISO/IEC 19794

10.3403/30175538 ◽

2010 ◽

Keyword(s):

Information Technology ◽

Conformance Testing ◽

Biometric Data ◽

Testing Methodology ◽

Data Interchange

Download Full-text

Information technology. Conformance testing methodology for biometric data interchange formats defined in ISO/IEC 19794

10.3403/30175535u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Conformance Testing ◽

Biometric Data ◽

Testing Methodology ◽

Data Interchange

Download Full-text

Information technology. Conformance testing methodology for biometric data interchange formats defined in ISO/IEC 19794

10.3403/30175531 ◽

2009 ◽

Keyword(s):

Information Technology ◽

Conformance Testing ◽

Biometric Data ◽

Testing Methodology ◽

Data Interchange

Download Full-text