3311 search results - page 425 / 663 » Deductive Object Programming |
137
Voted
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
175
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
145
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
The fact that crosscutting concerns (aspects) cannot be well modularized in object oriented software is an impediment to program comprehension: the implementation of a concern is ...
141
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
135
Voted
GI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...