Sciweavers

69 search results - page 3 / 14
» ase 2007
Sort
View
ASE
2007
83views more  ASE 2007»
13 years 5 months ago
How knowledge representation meets software engineering (and often databases)
This paper surveys a selection of personal research projects which addressed problems related to Software Engineering, and whose solution was inspired by ideas from the field of K...
Alexander Borgida
ASE
2006
104views more  ASE 2006»
13 years 5 months ago
On the Systematic Analysis of Natural Language Requirements with C
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
Vincenzo Ambriola, Vincenzo Gervasi
ASE
2006
123views more  ASE 2006»
13 years 5 months ago
Separating sequence overlap for automated test sequence generation
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
Robert M. Hierons
ASE
2005
102views more  ASE 2005»
13 years 5 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
ASE
2002
137views more  ASE 2002»
13 years 5 months ago
The DSD Schema Language
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
Nils Klarlund, Anders Møller, Michael I. Sc...