2317 search results - page 318 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
ASPDAC
2000
ACM
14 years 19 days ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
DBSEC
2004
13 years 9 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
How to implement an IS (information system) successfully remains a problem. To address this, drawing on information processing theory, this study proposes an integrated model that...
AVI
2004
13 years 9 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
JUCS
2008
13 years 8 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...