Sciweavers

2048 search results - page 130 / 410
» Intelligent search techniques for large software systems
Sort
View
135
Voted
RIVF
2007
15 years 6 months ago
On the Role and Application of Ontologies in Information Systems
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
Thanh Tran, Holger Lewen, Peter Haase
CP
2007
Springer
15 years 8 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
KBSE
2010
IEEE
15 years 2 months ago
An experience report on scaling tools for mining software repositories using MapReduce
The need for automated software engineering tools and techniques continues to grow as the size and complexity of studied systems and analysis techniques increase. Software enginee...
Weiyi Shang, Bram Adams, Ahmed E. Hassan
INFSOF
2006
102views more  INFSOF 2006»
15 years 4 months ago
Comparison of software architecture reverse engineering methods
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
Catherine Stringfellow, C. D. Amory, Dileep Potnur...
ECBS
2003
IEEE
91views Hardware» more  ECBS 2003»
15 years 10 months ago
Modeling and Building Reliable, Re-Useable Software
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
Ferdinand Wagner, Peter Wolstenholme