2748 search results - page 271 / 550 » Generating Object-Z Specifications from Use Cases |
127
Voted
SNPD
2008
15 years 5 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
167
click to vote
IC
2004
15 years 5 months ago
2004
This paper describes a validating XML parsing method based on deterministic finite state automata (DFA). XML parsing and validation is performed by a schema-specific XML parser th...
108
click to vote
IADIS
2003
15 years 5 months ago
2003
The Portuguese construction industry is, in an attempt to keep up with market demands, striving to maintain its competitiveness. The communication practices and policies throughou...
139
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
130
click to vote
ESTIMEDIA
2006
Springer
15 years 7 months ago
2006
Springer
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...