3514 search results - page 112 / 703 » Evolving Specification Engineering |
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
ISORC
2003
IEEE
14 years 1 months ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Software engineering is foremost an engineering discipline. Engineering in general and software engineering specifically has to balance many factors to achieve viable tradeoffs?an ...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes a genetic algorithm (GA) that evolves optimized sets of coefficients for one-dimensional signal reconstruction under lossy conditions due to quantization. Beg...