179 search results - page 19 / 36 » Specification of Software Component Requirements Using the T... |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
GECCO
2006
Springer
13 years 10 months ago
2006
Springer
Recently, studies with the XCS classifier system on Boolean functions have shown that in certain types of functions simple crossover operators can lead to disruption and, conseque...
POPL
2000
ACM
13 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
INDIASE
2009
ACM
13 years 11 months ago
2009
ACM
Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems dev...
ER
2004
Springer
14 years 4 days ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...