590 search results - page 75 / 118 » On the Systematic Analysis of Natural Language Requirements ... |
202
click to vote
ENTCS
2002
15 years 6 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
190
click to vote
FM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
190
click to vote
ASM
2010
ASM
16 years 18 days ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
175
click to vote
DATESO
2007
15 years 7 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
195
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...