scientific article; zbMATH DE number 5850099

MaRDI QIDQ3075210zbMATH OpenFDO

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

Publication date 10 February 2011

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

zbMATH Keywords

design patternlogic programmingpattern conformanceprologUML

Mathematics Subject Classification ID

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

Recommendations

• Verification from Declarative Specifications Using Logic Programming
• scientific article; zbMATH DE number 1975609
• Verification of logic programs
• Structure-based validation of rule-based systems
• scientific article; zbMATH DE number 1973214
• scientific article; zbMATH DE number 1615250
• Pattern-based verification of programs with extended linear linked data structures
• scientific article; zbMATH DE number 3907752

Cited in

(6)

• Generalised multi-pattern-based verification of programs with linear linked structures
• A framework for establishing formal conformance between object models and object-oriented programs
• Design Verification Patterns
• scientific article; zbMATH DE number 2079825 (Why is no real title available?)
• A rule-based method to match software patterns against UML models
• Enforcing structural regularities in software using intensive

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075210)