2205 search results - page 43 / 441 » Mutation Operators for Specifications |
TEC
2002
13 years 7 months ago
2002
This paper presents a genetic algorithmic approach to the shortest path (SP) routing problem. Variable-length chromosomes (strings) and their genes (parameters) have been used for ...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
JLP
2006
13 years 7 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
FQAS
2006
Springer
13 years 11 months ago
2006
Springer
The use of the Yager's OWA operators within a flexible querying interface is discussed. The key issue is the adaptation of an OWA operator to the specifics of a user's qu...
AGTIVE
2003
Springer
14 years 1 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...