Sciweavers

3388 search results - page 33 / 678
» Type-theoretic design patterns
Sort
View
SQJ
2010
112views more  SQJ 2010»
13 years 2 months ago
Improving design-pattern identification: a new approach and an exploratory study
The identification of occurrences of design patterns in programs can help maintainers to understand the program design and implementation. It can also help them to make informed ch...
Yann-Gaël Guéhéneuc, Jean-Yves ...
QSIC
2007
IEEE
14 years 1 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
EHCI
2004
13 years 9 months ago
Bringing Usability Concerns to the Design of Software Architecture
Software architects have techniques to deal with many quality attributes such as performance, reliability, and maintainability. Usability, however, has traditionally been concerned...
Bonnie E. John, Len Bass, Maria Isabel Sánc...
HICSS
2000
IEEE
121views Biometrics» more  HICSS 2000»
14 years 3 days ago
Working with Patterns and Code
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
Steven P. Reiss
DATE
2005
IEEE
93views Hardware» more  DATE 2005»
14 years 1 months ago
Model Reuse through Hardware Design Patterns
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
Fernando Rincón, Francisco Moya, Jesú...