Sciweavers

1164 search results - page 42 / 233
» Using CBR for Semantic Analysis of Software Specifications
Sort
View
SEKE
1992
Springer
15 years 3 months ago
Supporting Multiple Domains in a Single Reuse Repository
Domain analysis typically results in the construction of a domain-specific repository. Such a repository imposes artificial boundaries on the sharing of similar assets between rel...
David Eichmann
GPCE
2009
Springer
14 years 9 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
ICSE
2009
IEEE-ACM
16 years 18 days ago
Alitheia Core: An extensible software quality monitoring platform
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
Georgios Gousios, Diomidis Spinellis
RE
2010
Springer
14 years 6 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
FATES
2003
Springer
15 years 5 months ago
Mutually Enhancing Test Generation and Specification Inference
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
Tao Xie, David Notkin