Sciweavers

585 search results - page 99 / 117
» Requirements Engineering for Time-to-Market Projects
Sort
View
ECMDAFA
2008
Springer
74views Hardware» more  ECMDAFA 2008»
15 years 1 months ago
Annotation Framework Validation Using Domain Models
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
Carlos Noguera, Laurence Duchien
ICAD
2004
15 years 1 months ago
Soundserver: Data Sonification On-Demand for Computational Instances
The rapid accumulation of large collections of data has created the need for efficient and intelligent schemes for knowledge extraction and results analysis. The resulting informa...
Jorge Cardoso, Jos Carvalho, Luís Teixeira,...
FMCAD
2009
Springer
15 years 3 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
JSW
2008
106views more  JSW 2008»
14 years 11 months ago
Factors that Significantly Impact the Implementation of an Agile Software Development Methodology
The Internet economy has altered the current rules of software engineering. Traditional development methodologies have proven too cumbersome to meet the rapidly changing requiremen...
Jeffrey A. Livermore
EUROSYS
2008
ACM
15 years 9 months ago
Flicker: an execution infrastructure for tcb minimization
We present Flicker, an infrastructure for executing securitysensitive code in complete isolation while trusting as few as 250 lines of additional code. Flicker can also provide me...
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Mi...