1,377 research outputs found
Raccolta di tutte le vedute che esistevano nel gabinetto del Duca Della Torre rappresentanti l'eruzioni del Monte Vesuvio fin oggi accadute
No full text[al merito del sigr. d. Nicola Filomarino, Duca della Torre ... Nicola Gervasi]Exlibrisprägestempel: "Immanuel Friedlaender" 002331333_0002 Exemplar der ETH-BI
Reasoning about inconsistencies in natural language requirements
No full textThe use of logic in identifying and analyzing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a theoretically well-founded formalism that is especially suited for supporting the evolution of requirements. However, direct use of logic for expressing requirements and discussing them with stakeholders poses serious usability problems, since in most cases stakeholders cannot be expected to be fluent with formal logic. In this article, we explore the integration of natural language parsing techniques with default reasoning to overcome these difficulties. We also propose a method for automatically discovering inconsistencies in the requirements from multiple stakeholders, using both theoremproving and model-checking techniques, and show how to deal with them in a formal manner. These techniques were implemented and tested in a prototype tool called CARL. The effectiveness of the techniques and of the tool are illustrated by a classic example involving conflicting requirements from multiple stakeholders. © 2005 ACM
Mining requirements links
No full text[Context & motivation] Obtaining traceability among requirements and between requirements and other artifacts is an extremely important activity in practice, an interesting area for theoretical study, and a major hurdle in common industrial experience. Substantial effort is spent on establishing and updating such links in any large project - even more so when requirements refer to a product family. [Question/problem] While most research is concerned with ways to reduce the effort needed to establish and maintain traceability links, a different question can also be asked: how is it possible to harness the vast amount of implicit (and tacit) knowledge embedded in already-established links? Is there something to be learned about a specific problem or domain, or about the humans who establish traces, by studying such traces? [Principal ideas/results] In this paper, we present preliminary results from a study applying different machine learning techniques to an industrial case study, and test to what degree common hypothesis hold in our case. [Contribution] Reshaping traceability data into knowledge can contribute to more effective automatic tools to suggest candidates for linking, to inform improvements in writing style, and at the same time provide some insight into both the domain of interest and the actual implementation techniques. © 2011 Springer-Verlag Berlin Heidelberg
On the interplay between consistency, completeness, and correctness in requirements evolution
No full textThe initial expression of requirements for a computer-based system is often informal and possibly vague. Requirements engineers need to examine this often incomplete and inconsistent brief expression of needs. Based on the available knowledge and expertise, assumptions are made and conclusions are deduced to transform this 'rough sketch' into more complete, consistent, and hence correct requirements. This paper addresses the question of how to characterize these properties in an evolutionary framework, and what relationships link these properties to a customer's view of correctness. Moreover, we describe in rigorous terms the different kinds of validation checks that must be performed on different parts of a requirements specification in order to ensure that errors (i.e. cases of inconsistency and incompleteness) are detected and marked as such, leading to better quality requirements. (C) 2003 Elsevier B.V. All rights reserved
Erratum to: On the interplay between consistency, completeness, and correctness in requirements evolution (vol 45, pg 993, 2003)
No full textThe initial expression of requirements for a computer-based system is often informal and possibly vague. Requirements engineers need to examine this often incomplete and inconsistent brief expression of needs. Based on the available knowledge and expertise, assumptions are made and conclusions are deduced to transform this "rough sketch" into more complete, consistent, and hence correct requirements. This paper addresses the question of how to characterize these properties in an evolutionary framework, and what relationships link these properties to a customer's view of correctness. Moreover, we describe in rigorous terms the dierent kinds of validation checks that must be performed on dierent parts of a requirements specication in order to ensure that errors (i.e., cases of inconsistency and incompleteness) are detected and marked as such, leading to better quality requirements
The rhetoric of media and literary forms: Antonio Delfini
No full textThe present paper aimed at showing the cognitive impact of the conceptual and perceptual organization of media on literary forms.
On the one hand, McLuhan stated that the medium is a metaphor, as long as it shifts information across different conceptual domains. On the other hand, cognitive theories argued that the metaphor is a strategy of conceptualization of the experience. Mediology, cognitive poetics and literary criticism can cooperate in order to describe the conceptual metaphors conveyed by the media, and the way they interact with the literature in the deeply interconnected semiotic context of the XXth Century.
Antonio Delfini’s writings and composition strategies reveal the hybridization produced by the contact between the rhetoric and the conceptual organization of literary texts, and the formal organization of the media. In Delfini’s work, the process of hybridization is realized by reusing textual fragments produced by media. Such an hybridization also consists in a wider phenomenon of exchange between the cognitive schemas produced by media, and the very idea of literature practiced by the author. Delfini, indeed, conceives the structures of newspapers and journals as a conceptual model for making sense of reality
- …
