Sciweavers

272 search results - page 30 / 55
» Automating the development of quantum computational software
Sort
View
GI
2009
Springer
13 years 6 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
AVI
1996
13 years 10 months ago
A framework for user-interfaces to databases
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...
Kenneth J. Mitchell, Jessie B. Kennedy, Peter J. B...
ACMSE
2010
ACM
13 years 6 months ago
Automatic generation of model traversals from metamodel definitions
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
Tomaz Lukman, Marjan Mernik, Zekai Demirezen, Barr...
IAJIT
2011
13 years 3 months ago
GUI structural metrics
: User interfaces have special characteristics that differentiate them from the rest of the software code. Typical software metrics that indicate its complexity and quality may not...
Izzat Alsmadi, Mohammed Al-Kabi
WSC
1990
13 years 10 months ago
Model generation issues in a simulation support environment
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...
Osman Balci, Richard E. Nance, E. Joseph Derrick, ...