Sciweavers

15155 search results - page 288 / 3031
» System Software
Sort
View
DAC
2002
ACM
16 years 7 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
WETICE
2000
IEEE
15 years 11 months ago
Reducing Software Security Risk through an Integrated Approach
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
David P. Gilliam, John C. Kelly, Matt Bishop
ICSM
2003
IEEE
15 years 12 months ago
Populating a Release History Database from Version Control and Bug Tracking Systems
Version control and bug tracking systems contain large amounts of historical information that can give deep insight into the evolution of a software project. Unfortunately, these ...
Michael Fischer, Martin Pinzger, Harald Gall
CSMR
2009
IEEE
16 years 1 months ago
EvoSpaces: Multi-dimensional Navigation Spaces for Software Evolution
EvoSpaces is a Swiss-wide research project sponsored by the Hasler foundation. It involves three partners: University of Zurich, University of Lugano and the University of Applied...
Michele Lanza, Harald Gall, Philippe Dugerdil
TOOLS
1999
IEEE
15 years 11 months ago
Component-Based Software Engineering Processes
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
Robert C. Seacord, Kingsley C. Nwosu