Sciweavers

287 search results - page 6 / 58
» Automated abstraction of class diagrams
Sort
View
DIAGRAMS
2008
Springer
13 years 9 months ago
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
Aidan Delaney, John Taylor, Simon J. Thompson
SPLC
2007
13 years 8 months ago
Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
Alexandre Bragança, Ricardo Jorge Machado
ISSTA
2010
ACM
13 years 11 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
EWCBR
2004
Springer
13 years 11 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
EWCBR
2006
Springer
13 years 11 months ago
Decision Diagrams: Fast and Flexible Support for Case Retrieval and Recommendation
Abstract. We show how case bases can be compiled into Decision Diagrams, which represent the cases with reduced redundancy. Numerous computations can be performed efficiently on th...
Ross Nicholson, Derek G. Bridge, Nic Wilson