2878 search results - page 52 / 576 » Analyzing the Uses of a Software Modeling Tool |
RCIS
2010
13 years 6 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
METRICS
2002
IEEE
14 years 29 days ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
ASAP
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
ICECCS
2010
IEEE
13 years 8 months ago
2010
IEEE
Participation from all stakeholders is important in a successful software development project, especially if the development project is complex and has many stakeholders. Identify...