1146 search results - page 69 / 230 » Formal Specification Generation from Requirement Documents |
ELPUB
2007
ACM
15 years 1 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...
116
click to vote
DAC
2010
ACM
15 years 1 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
IFM
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
107
click to vote
STORYTELLING
2005
Springer
15 years 3 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....