2748 search results - page 87 / 550 » Generating Object-Z Specifications from Use Cases |
AIIDE
2009
13 years 11 months ago
2009
In this paper, we describe a computational system that generates story analogues based on previous stories. Unlike many previous works on story generation that attempt to produce ...
KDD
2007
ACM
14 years 10 months ago
2007
ACM
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
CASCON
1996
13 years 11 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...