Sciweavers

5591 search results - page 35 / 1119
» Design patterns: between programming and software design
Sort
View
94
Voted
VSTTE
2010
Springer
14 years 8 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
ISSE
2008
14 years 9 months ago
Patterns: from system design to software testing
Neelam Soundarajan, Jason O. Hallstrom, Guoqiang S...

Book
313views
16 years 7 months ago
A Functional Pattern System for Object-Oriented Design
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
Thomas Kühne
SIGADA
1994
Springer
15 years 1 months ago
Structural Model: Architecture for Software Designers
Robert G. Crispen, Lynn D. Stuckey Jr.
HT
1998
ACM
15 years 1 months ago
Pushing Reuse in Hypermedia Design: Golden Rules, Design Patterns and Constructive Templates
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
Marc Nanard, Jocelyne Nanard, Paul Kahn