Sciweavers

1963 search results - page 62 / 393
» How is aliasing used in systems software
Sort
View
IWSSD
2000
IEEE
14 years 2 months ago
Problems and Deficiencies of UML as a Requirements Specification Language
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
Martin Glinz
ICCBR
2005
Springer
14 years 3 months ago
Evaluating Case-Based Systems in Virtual Games
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...
Keith Needels, Matthew Molineaux, David W. Aha
IFIP
2000
Springer
14 years 1 months ago
Test Case Design for the Validation of Component-Based Embedded Systems
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
W. Fleisch
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
14 years 5 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
DEXA
2005
Springer
98views Database» more  DEXA 2005»
14 years 3 months ago
Transforming Software Package Classification Hierarchies into Goal-Based Taxonomies
Software package selection is an activity that plays an increasingly crucial role in the delivery of software systems. One of its main open issues is how to structure the knowledge...
Claudia P. Ayala, Xavier Franch