Sciweavers

1023 search results - page 100 / 205
» Renaissance: A Method to Support Software System Evolution
Sort
View
SCAM
2005
IEEE
15 years 10 months ago
Object-oriented cohesion as a surrogate of software comprehension: an empirical study
The concept of software cohesion in both the procedural and object-oriented paradigm is well known and documented. What is not so well known or documented is the perception of wha...
Steve Counsell, Stephen Swift, Allan Tucker
EMSOFT
2011
Springer
14 years 4 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
RE
2001
Springer
15 years 9 months ago
Reconciling Software Requirements and Architectures: The CBSP Approach
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
Paul Grünbacher, Alexander Egyed, Nenad Medvi...
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 8 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
EMSOFT
2004
Springer
15 years 9 months ago
Remote customization of systems code for embedded devices
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...
Sapan Bhatia, Charles Consel, Calton Pu