Sciweavers

10908 search results - page 155 / 2182
» Requirements Engineering Tasks
Sort
View
ADAEUROPE
2005
Springer
14 years 2 months ago
Extending Ravenscar with CSP Channels
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
Diyaa-Addein Atiya, Steve King
RISE
2005
Springer
14 years 2 months ago
Software Testing with Evolutionary Strategies
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
Enrique Alba, J. Francisco Chicano
UIST
2000
ACM
14 years 1 months ago
Fisheye menus
We introduce “fisheye menus” which apply traditional fisheye graphical visualization techniques to linear menus. This provides for an efficient mechanism to select items from ...
Benjamin B. Bederson
CODES
1998
IEEE
14 years 1 months ago
Communication synthesis and HW/SW integration for embedded system design
The implementation of codesign applications generally requires the use of heterogeneous resources (e.g., processor cores, hardware accelerators) in one system. Interfacing hardwar...
Guy Gogniat, Michel Auguin, Luc Bianco, Alain Pega...
WCRE
1998
IEEE
14 years 1 months ago
Type Inference for COBOL Systems
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
Arie van Deursen, Leon Moonen