9626 search results - page 1373 / 1926 » Invariant Based Programming |
186
click to vote
FASE
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
148
click to vote
FM
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
197
click to vote
GECCO
2005
Springer
16 years 19 days ago
2005
Springer
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...
159
click to vote
GECCO
2005
Springer
16 years 19 days ago
2005
Springer
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levels—an “organizational”...
140
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...