3514 search results - page 68 / 703 » Evolving Specification Engineering |
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
SEMCO
2009
IEEE
14 years 2 months ago
2009
IEEE
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
KES
2010
Springer
13 years 6 months ago
2010
Springer
Evolving Takagi Sugeno (eTS) models are optimised for use in applications with high sampling rates. This mode of use produces excellent prediction results very quickly and with lo...
KBSE
1998
IEEE
14 years 4 days ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...