360 search results - page 29 / 72 » Detecting Intrusions Specified in a Software Specification L... |
XPU
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
WOSP
2000
ACM
14 years 9 days ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
EDBT
2006
ACM
13 years 11 months ago
2006
ACM
There has been growing interest in the addition of update operations to languages that operate on XML data, for example, XQuery and XJ. These update operations support efficient an...
EWSA
2005
Springer
14 years 1 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...