7475 search results - page 280 / 1495 » Supporting use case based requirements engineering |
171
click to vote
ICST
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
163
click to vote
ECBS
2007
IEEE
16 years 25 days ago
2007
IEEE
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...
144
click to vote
ISVLSI
2008
IEEE
16 years 27 days ago
2008
IEEE
With the advent of nanometer technologies, the design size of integrated circuits is getting larger and the operation speed is getting faster. As a consequence, test cost is becom...
173
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
178
click to vote
NETWORK
2006
15 years 6 months ago
2006
During the last few years, users all over the world have become more and more accustomed to the availability of broadband access. This has boosted the use of a wide variety both o...