Sciweavers

2205 search results - page 23 / 441
» Mutation Operators for Specifications
Sort
View
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 3 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
WORDS
2005
IEEE
15 years 5 months ago
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
GPEM
2002
95views more  GPEM 2002»
14 years 11 months ago
On Appropriate Adaptation Levels for the Learning of Gene Linkage
A number of algorithms have been proposed aimed at tackling the problem of learning "Gene Linkage" within the context of genetic optimisation, that is to say, the problem...
James Smith