1597 search results - page 163 / 320 » A Design Method for Object-Oriented Programming |
143
click to vote
SOFTWARE
2002
15 years 2 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
112
click to vote
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
126
Voted
ICCD
2003
IEEE
16 years 3 days ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
127
click to vote
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
130
click to vote
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...