Sciweavers

6581 search results - page 517 / 1317
» Formalizing Design Patterns
Sort
View
LISP
2002
105views more  LISP 2002»
15 years 6 months ago
Specification Diagrams for Actor Systems
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
Scott F. Smith, Carolyn L. Talcott
179
Voted
UAIS
2002
100views more  UAIS 2002»
15 years 6 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
AMW
2011
14 years 10 months ago
Subqueries in SPARQL
Subqueries are a poweful feature which allows to enforce reuse, composition, rewriting and optimization in a query language. In this paper we perform a comprehensive study of the i...
Renzo Angles, Claudio Gutierrez
COMPSAC
2002
IEEE
15 years 11 months ago
Software Maintainability Improvement: Integrating Standards and Models
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
William C. Chu, Chih-Wei Lu, Chih-Hung Chang, Yeh-...
OOPSLA
1995
Springer
15 years 10 months ago
How and Why to Encapsulate Class Trees
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
Dirk Riehle