Sciweavers

858 search results - page 27 / 172
» A Vision for International Standardization in Software and S...
Sort
View
IEE
2007
120views more  IEE 2007»
13 years 8 months ago
Classification of model transformation techniques used in UML-based Web engineering
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
N. Koch
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
14 years 18 days 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
LAWEB
2003
IEEE
14 years 1 months ago
Towards an Ontology for Software Metrics and Indicators as the Foundation for a Cataloging Web System
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
María de los Angeles Martín, Luis Ol...
KBSE
2005
IEEE
14 years 2 months ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...
VLSISP
1998
128views more  VLSISP 1998»
13 years 8 months ago
A Low Power DSP Engine for Wireless Communications
This paper describes the architecture and the performance of a new programmable 16-bit Digital Signal Processor (DSP) engine. It is developed specifically for next generation wire...
Ingrid Verbauwhede, Mihran Touriguian