Sciweavers

3514 search results - page 264 / 703
» Evolving Specification Engineering
Sort
View
157
Voted
METRICS
2003
IEEE
15 years 11 months ago
An Analogy-Based Approach for Predicting Design Stability of Java Classes
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
David Grosser, Houari A. Sahraoui, Petko Valtchev
CSMR
2009
IEEE
15 years 11 months ago
Handling the Dynamic Reconfiguration of Software Architectures Using Aspects
Currently, most software systems have a dynamic nature and need to evolve at run-time. For this reason, the dynamic reconfiguration of software architectures is a challenge that m...
Cristóbal Costa Soria, Jennifer Pére...
GECCO
2008
Springer
143views Optimization» more  GECCO 2008»
15 years 7 months ago
Genetic algorithms for mentor-assisted evaluation function optimization
In this paper we demonstrate how genetic algorithms can be used to reverse engineer an evaluation function’s parameters for computer chess. Our results show that using an approp...
Omid David-Tabibi, Moshe Koppel, Nathan S. Netanya...
TCOM
2010
63views more  TCOM 2010»
15 years 28 days ago
Efficiently decoded full-rate space-time block codes
Space-time block codes with orthogonal structures typically provide full-diversity reception and simple receiver processing. However, rate-1 orthogonal codes for complex constellat...
Don J. Torrieri, Matthew C. Valenti
KBSE
2000
IEEE
15 years 9 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula