1389 search results - page 60 / 278 » Lightweight dependent classes |
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
HASKELL
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
Low-power dichroic halogen lamps, usually used for display lighting, have low-voltage filament. The lightweight electronic transformer (ET), based on self-oscillating half-bridge ...
JSW
2006
13 years 8 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...