10159 search results - page 257 / 2032 » System Design Validation Using Formal Models |
130
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
131
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
125
click to vote
IASSE
2004
15 years 4 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
136
Voted
GMP
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
146
click to vote
ERSA
2009
15 years 1 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...