3388 search results - page 10 / 678 » Type-theoretic design patterns |
SIGDOC
2006
ACM
14 years 1 months ago
2006
ACM
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
ERSHOV
1999
Springer
13 years 12 months ago
1999
Springer
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
TIT
2010
13 years 2 months ago
2010
An optical orthogonal signature pattern code (OOSPC) finds application in transmitting 2-dimensional images through multicore fiber in code-division multiple-access (CDMA) communic...
SQJ
2008
13 years 6 months ago
2008
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...