904 search results - page 69 / 181 » Component Programming - a Fresh Look at Software Components |
SDE
1991
13 years 11 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
CACM
2010
13 years 5 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
CGO
2008
IEEE
13 years 9 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
CBSE
2010
Springer
13 years 11 months ago
2010
Springer
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...