1146 search results - page 61 / 230 » Formal Specification Generation from Requirement Documents |
COMPSAC
1997
IEEE
15 years 2 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
CN
1999
14 years 9 months ago
1999
To enable the resource discovery of audiovisual documents over the World Wide Web, it will be necessary to define content description standards or metadata standards for complex, ...
BMCBI
2007
14 years 9 months ago
2007
Background: High-throughput molecular biology provides new data at an incredible rate, so that the increase in the size of biological databanks is enormous and very rapid. This sc...
SIGDOC
2004
ACM
15 years 3 months ago
2004
ACM
The concept of thumbnails is common in image representation. A thumbnail is a highly compressed version of an image that provides a small, yet complete visual representation to th...