4636 search results - page 103 / 928 » Application of Linguistic Techniques for Use Case Analysis |
179
click to vote
ICST
2008
IEEE
16 years 27 days ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
178
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
148
click to vote
SPLC
2007
15 years 7 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
151
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
218
click to vote
Publication
In this paper we describe a vision system for reconstructing the relative structure of snow and ice
surfaces. This effort is one step toward the long-term goal of rendering absol...