Sciweavers

797 search results - page 35 / 160
» Finding Reusable Software Components in Large Systems
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
14 years 3 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
IWPSE
2003
IEEE
14 years 2 months ago
Stability and Volatility in the Linux Kernel
Packages are the basic units of release and reuse in software development. The contents and boundaries of packages should therefore be chosen to minimize change propagation and ma...
John Champaign, Andrew J. Malton, Xinyi Dong
DT
2006
180views more  DT 2006»
13 years 9 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...
CL
2008
Springer
13 years 9 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
ICWS
2007
IEEE
13 years 10 months ago
Comparing Web Services with other Software Components
Software metrics is vital for the management of software development, especially when a new technology is adopted and established practices have yet to be developed. As a kind of s...
Yijun Yu, Jianguo Lu, Juan Fernández-Ramil,...