448 search results - page 8 / 90 » A Meta-Method for Formal Method Integration |
SAFECOMP
2004
Springer
15 years 5 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
JUCS
2007
14 years 11 months ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...