scientific article

zbMATH Open1216.68071MaRDI QIDQ3075210

Yuanlin Zhu, Lunjin Lu, Sangsig Kim, Dae-Kyoo Kim

Publication date: 10 February 2011

Full work available at URL: http://www.jucs.org/jucs_16_17/verification_of_structural_pattern

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programmingdesign patternUMLprologpattern conformance

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Generalised multi-pattern-based verification of programs with linear linked structures ⋮ Enforcing structural regularities in software using intensive

Recommendations

• Structure-based validation of rule-based systems 👍 👎
• Verification of logic programs 👍 👎
• Verification from Declarative Specifications Using Logic Programming 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: