16725 search results - page 704 / 3345 » Engineering Software Correctness |
144
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents an industrial example of database reverse engineering. The example has been abridged so that it fits within a paper. Also some of the field names have been dis...
194
click to vote
NLDB
2007
Springer
16 years 1 months ago
2007
Springer
Documents written in natural languages constitute a major part of the software engineering lifecycle artifacts. Especially during software maintenance or reverse engineering, seman...
206
click to vote
SMALLTALK
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
209
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
182
click to vote
EUROMICRO
2003
IEEE
16 years 22 days ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...