2004 search results - page 331 / 401 » Comparison of Model Checking Tools for Information Systems |
102
click to vote
DBPL
1989
Springer
15 years 3 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
103
click to vote
VIP
2001
15 years 1 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
SEKE
2007
Springer
15 years 6 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
KCAP
2003
ACM
15 years 5 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
BMCBI
2010
14 years 12 months ago
2010
Background: Predicting metabolic sites is important in the drug discovery process to aid in rapid compound optimisation. No interactive tool exists and most of the useful tools ar...