Sciweavers

2057 search results - page 158 / 412
» Developing the Designer's Toolkit with Software Comprehensio...
Sort
View
CAISE
2008
Springer
15 years 6 months ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
RE
2010
Springer
14 years 11 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
ICASSP
2011
IEEE
14 years 8 months ago
Collaborative system for signal processing education
In this paper we present a collaborative system designed to develop problem solving skills in learners through problemcentric exercises. This system is part of a data collection s...
Gregory A. Krudysz, James H. McClellan
MTDT
2003
IEEE
164views Hardware» more  MTDT 2003»
15 years 10 months ago
Applying Defect-Based Test to Embedded Memories in a COT Model
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
Robert C. Aitken
ISSRE
2006
IEEE
15 years 10 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...