Modeling constraints improves software architecture design reasoning (0)

by A Tang, H van Vliet
Venue:in Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009 (WICSA/ECSA 2009, 2009
Add To MetaCart
Results 1 - 1 of 1

A Critical Comparison

by Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep, Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep , 2010
"... interfaces, object-oriented design methods; D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract; D.3.2 [Programming Languages] Language Classifications — Object-oriented languages; F.3.1 [Logics and Meanings of ..."
Abstract - Add to MetaCart
interfaces, object-oriented design methods; D.2.4 [Software Engineering] Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract; D.3.2 [Programming Languages] Language Classifications — Object-oriented languages; F.3.1 [Logics and Meanings of