1492 search results - page 161 / 299 » Automatic Software Model Checking Using CLP |
NLDB
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
PRDC
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
C3S2E
2009
ACM
15 years 1 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...