Sciweavers

3045 search results - page 265 / 609
» Formal Approaches to Software Architecture
Sort
View
CODES
2010
IEEE
15 years 5 months ago
Dynamic, non-linear cache architecture for power-sensitive mobile processors
Today, mobile smartphones are expected to be able to run the same complex, algorithm-heavy, memory-intensive applications that were originally designed and coded for generalpurpos...
Garo Bournoutian, Alex Orailoglu
DATE
2006
IEEE
123views Hardware» more  DATE 2006»
16 years 1 months ago
Constructing portable compiled instruction-set simulators: an ADL-driven approach
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
Joseph D'Errico, Wei Qin
COMPSAC
1996
IEEE
15 years 11 months ago
Design-Level Cohesion Measures: Derivation, Comparison, and Applications
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
Byung-Kyoo Kang, James M. Bieman
CONTEXT
2007
Springer
16 years 1 months ago
Context-Oriented Domain Analysis
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
Brecht Desmet, Jorge Vallejos, Pascal Costanza, Wo...
IFM
2009
Springer
16 years 1 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera