Composing pattern-based components and verifying correctness
Authors:
- Jing DongJDJing Dong
- Paulo S.C. AlencarPAPaulo S.C. Alencar
- Donald D. CowanDCDonald D. Cowan
- Sheng YangSYSheng Yang
- 1 November 2007
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 80 (11) , 1755-1769
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- DP-Miner: Design Pattern Discovery Using Matrix2007
- Automating the analysis of design component contractsSoftware: Practice and Experience, 2005
- VisDP: a Web service for visualizing design patterns on demand2005
- Basic concepts and taxonomy of dependable and secure computingIEEE Transactions on Dependable and Secure Computing, 2004
- A logical theory of interfaces and objectsIEEE Transactions on Software Engineering, 2002
- International workshop on component-based software engineering1999
- A formal approach to architectural design patterns1996
- Object-Z: A specification language advocated for the description of standardsComputer Standards & Interfaces, 1995
- Architectural mismatch or why it's hard to build systems out of existing parts1995
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993