Sciweavers

3514 search results - page 21 / 703
» Evolving Specification Engineering
Sort
View
KBSE
1997
IEEE
13 years 11 months ago
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
David Pautler, Steven Woods, Alex Quilici
ASE
1999
59views more  ASE 1999»
13 years 7 months ago
Overlaps in Requirements Engineering
Although overlap between specifications
George Spanoudakis, Anthony Finkelstein, David Til...
UC
2009
Springer
14 years 2 months ago
Evolvable Hardware: From Applications to Implications for the Theory of Computation
The paper surveys the fundamental principles of evolvable hardware, introduces main problems of the field and briefly describes the most successful applications. Although evolvab...
Lukás Sekanina
WCRE
2000
IEEE
13 years 11 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward