950 search results - page 3 / 190 » Tool Support for Model Checking of Web Application Designs |
ECTEL
2006
Springer
13 years 9 months ago
2006
Springer
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
DATE
2006
IEEE
13 years 12 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
KCAP
2003
ACM
13 years 11 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 ...
ICSE
2001
IEEE-ACM
13 years 10 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
APSEC
2004
IEEE
13 years 9 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...