3514 search results - page 276 / 703 » Evolving Specification Engineering |
136
click to vote
SIGADA
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
212
click to vote
WER
2004
Springer
15 years 12 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...
176
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
148
click to vote
CIDR
2007
15 years 8 months ago
2007
Current web search engines essentially conduct document-level ranking and retrieval. However, structured information about realworld objects embedded in static webpages and online...
262
click to vote
VLDB
2004
ACM
16 years 6 months ago
2004
ACM
Abstract This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor. This XQuery ...