2748 search results - page 52 / 550 » Generating Object-Z Specifications from Use Cases |
107
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
102
Voted
EUROPAR
2006
Springer
15 years 4 months ago
2006
Springer
Single-dimension Software Pipelining (SSP) has been proposed as an effective software pipelining technique for multi-dimensional loops [16]. This paper introduces for the first tim...
106
click to vote
SNPD
2008
15 years 2 months ago
2008
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
202
Voted
LACL
2011
Springer
14 years 3 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
109
Voted
UM
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...