950 search results - page 116 / 190 » Tool Support for Model Checking of Web Application Designs |
CSCWD
2008
Springer
13 years 9 months ago
2008
Springer
This research explored a new direction of improving collaborative design by performance measurement. More specifically, a novel 3-dimensional performance measurement model is deve...
STTT
2010
13 years 6 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
SQJ
2010
13 years 6 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
AAAI
1996
13 years 9 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
DOLAP
2006
ACM
14 years 1 months ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...