3 resultados para Fields of Formal Power Series

em Greenwich Academic Literature Archive - UK


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Book review of: J. Liceras, H. Zobl, and H. Goodluck (eds.), 2008, The Role of Formal Features in Second Language Acquisition. London/New York: Lawrence Erlbaum Associates, 577 pages, ISBN: 0-8058-5354-5.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this book, expert energy economists assess the energy policy of thirty-one countries and the role of nuclear power. For many years the shock of Chernobyl took nuclear power off the agenda in most countries. Intense public relations activities by the industry, increasing evidence of climate change and failures to effectively reduce greenhouse gas emissions, have brought nuclear power issues back to the forefront of policy discussion in the nuclear renaissance countries. But some countries are just not prepared to go in that direction and, indeed, are still divesting themselves of their nuclear legacy, the nuclear phase-out countries. And how are nuclear issues being approached in the industrializing countries? An in-depth country-by-country analysis is presented within this framework. Out of such an analysis emerge thematic discussions on, among others, strategy in energy policy; nuclear plant safety, the impacts of nuclear accidents; the adequacy of nuclear power expertise. [Source: publisher's product description].