2132 search results - page 61 / 427 » Automated software winnowing |
ICCS
2003
Springer
15 years 4 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
ISQED
2002
IEEE
15 years 4 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
COMPSAC
2000
IEEE
15 years 3 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...