Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Aspect-oriented programming with the e verification language [[electronic resource] ] : a pragmatic guide for testbench developers / / David Robinson
| Aspect-oriented programming with the e verification language [[electronic resource] ] : a pragmatic guide for testbench developers / / David Robinson |
| Autore | Robinson David |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2007 |
| Descrizione fisica | 1 online resource (265 p.) |
| Disciplina | 005.1/17 |
| Collana | The Morgan Kaufmann series in systems on silicon |
| Soggetto topico | Object-oriented programming (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-03832-6
9786611038328 0-08-055155-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Aspect-Oriented Programming with the e Verification Language; Copyright page; Acknowledgments; Table of Contents; Foreword; Preface; About Verilab; Chapter 1. Introduction to Aspect Oriented Programming (AOP); 1.1. What are aspects? - Part I; 1.2. Why do I need aspects? What's wrong with crosscutting concerns?; 1.3. Surely OOP doesn't have any problems?; 1.4. Why does AOP help?; 1.5. Theory vs real life - What else is AOP good for?; 1.6. What are aspects? - Part II; Chapter 2. AOP in e; 2.1. How do I extend a class?
2.2. How do I extend a class for multiple values of a determinant?2.3. How do I extend a type?; 2.4. How do I introduce a new noncoverage member to a class?; 2.5. How do I introduce a coverage group to a class?; 2.6. How do I extend a coverage group?; 2.7. How do I change the behavior of a method?; 2.8. How do I limit the scope of my extensions?; 2.9. Using return in method advice; 2.10. Controlling the order of method extension calls; Chapter 3. Using AOP to Organize Your Code; 3.1. A word about style; 3.2. What aspects do I want to use?; 3.3. Mapping aspects to files Chapter 4. Creating Flexible CodeChapter 5. Creating Pluggable Code; 5.1. The extendable case statement; 5.2. The factory pattern; Chapter 6. Improving Your Productivity; 6.1. Shifting the power; 6.2. Dealing with broken code; 6.3. Handling workarounds; 6.4. Reducing and deferring class complexity; 6.5. Adding problem-specific functionality; 6.6. Reducing the OOP-induced overhead; Chapter 7. AOP in Action; 7.1. Creating a class with a selectable algorithm; 7.2. Creating a configuration interface for an eVC; 7.3. Using aspects to create a layered verification environment 7.4. Creating reusable layered sequences7.5. Testing your verification environment; 7.6. Debugging using AOP; 7.7. Encapsulating tests; Chapter 8. Analysing e Code; 8.1. The e toolkit; 8.2. Finding class declarations and extensions; 8.3. Finding the class inheritance hierarchy; 8.4. Finding the determinants used by a class; 8.5. Finding method declarations and extensions; 8.6. Finding field declarations; 8.7. Finding event declarations; 8.8. Finding enumerated type declarations and extensions; 8.9. How do I find where a value is added to a type? 8.10. Finding cover group declarations and extensions8.11. Finding the source of a message in the log file; 8.12. Finding aspects; Bibliography; Epilogue; Index; A; C; D; E; F; H; I; J; M; N; O; P; R; S; U; W |
| Record Nr. | UNINA-9910458107903321 |
Robinson David
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Aspect-oriented programming with the e verification language [[electronic resource] ] : a pragmatic guide for testbench developers / / David Robinson
| Aspect-oriented programming with the e verification language [[electronic resource] ] : a pragmatic guide for testbench developers / / David Robinson |
| Autore | Robinson David |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2007 |
| Descrizione fisica | 1 online resource (265 p.) |
| Disciplina | 005.1/17 |
| Collana | The Morgan Kaufmann series in systems on silicon |
| Soggetto topico | Object-oriented programming (Computer science) |
| ISBN |
1-281-03832-6
9786611038328 0-08-055155-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Aspect-Oriented Programming with the e Verification Language; Copyright page; Acknowledgments; Table of Contents; Foreword; Preface; About Verilab; Chapter 1. Introduction to Aspect Oriented Programming (AOP); 1.1. What are aspects? - Part I; 1.2. Why do I need aspects? What's wrong with crosscutting concerns?; 1.3. Surely OOP doesn't have any problems?; 1.4. Why does AOP help?; 1.5. Theory vs real life - What else is AOP good for?; 1.6. What are aspects? - Part II; Chapter 2. AOP in e; 2.1. How do I extend a class?
2.2. How do I extend a class for multiple values of a determinant?2.3. How do I extend a type?; 2.4. How do I introduce a new noncoverage member to a class?; 2.5. How do I introduce a coverage group to a class?; 2.6. How do I extend a coverage group?; 2.7. How do I change the behavior of a method?; 2.8. How do I limit the scope of my extensions?; 2.9. Using return in method advice; 2.10. Controlling the order of method extension calls; Chapter 3. Using AOP to Organize Your Code; 3.1. A word about style; 3.2. What aspects do I want to use?; 3.3. Mapping aspects to files Chapter 4. Creating Flexible CodeChapter 5. Creating Pluggable Code; 5.1. The extendable case statement; 5.2. The factory pattern; Chapter 6. Improving Your Productivity; 6.1. Shifting the power; 6.2. Dealing with broken code; 6.3. Handling workarounds; 6.4. Reducing and deferring class complexity; 6.5. Adding problem-specific functionality; 6.6. Reducing the OOP-induced overhead; Chapter 7. AOP in Action; 7.1. Creating a class with a selectable algorithm; 7.2. Creating a configuration interface for an eVC; 7.3. Using aspects to create a layered verification environment 7.4. Creating reusable layered sequences7.5. Testing your verification environment; 7.6. Debugging using AOP; 7.7. Encapsulating tests; Chapter 8. Analysing e Code; 8.1. The e toolkit; 8.2. Finding class declarations and extensions; 8.3. Finding the class inheritance hierarchy; 8.4. Finding the determinants used by a class; 8.5. Finding method declarations and extensions; 8.6. Finding field declarations; 8.7. Finding event declarations; 8.8. Finding enumerated type declarations and extensions; 8.9. How do I find where a value is added to a type? 8.10. Finding cover group declarations and extensions8.11. Finding the source of a message in the log file; 8.12. Finding aspects; Bibliography; Epilogue; Index; A; C; D; E; F; H; I; J; M; N; O; P; R; S; U; W |
| Record Nr. | UNINA-9910784568503321 |
|
Robinson David
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Caribbean : : From Vulnerability to Sustained Growth / / David Robinson, Paul Cashin, Ratna Sahay
| The Caribbean : : From Vulnerability to Sustained Growth / / David Robinson, Paul Cashin, Ratna Sahay |
| Autore | Robinson David |
| Pubbl/distr/stampa | Washington, D.C. : , : International Monetary Fund, , 2006 |
| Descrizione fisica | 1 online resource (362 p.) |
| Altri autori (Persone) |
CashinPaul
SahayRatna |
| Collana | Books |
| Soggetto topico |
Fiscal policy - Caribbean Area
Business cycles - Caribbean Area Natural disasters - Economic aspects - Caribbean Area Tourism - Caribbean Area Brain drain - Caribbean Area Exports and Imports Foreign Exchange Macroeconomics Public Finance Natural Disasters Climate Natural Disasters and Their Management Global Warming Fiscal Policy Taxation, Subsidies, and Revenue: General International Migration Banks Depository Institutions Micro Finance Institutions Mortgages Natural disasters Public finance & taxation Currency Foreign exchange Migration, immigration & emigration International economics Tax incentives Migration Fiscal stance Public debt Environment Population and demographics Fiscal policy Exchange rate arrangements Emigration and immigration Debts, Public |
| ISBN |
1-4552-4588-7
1-4527-8568-6 1-283-53793-1 9786613850386 1-4519-6246-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ; Overview / Ratna Sahay, David O. Robinson, and Paul Cashin -- Stabilization, debt, and fiscal policy in the Caribbean / Ratna Sahay -- Fiscal policy: is the Eastern Caribbean Currency Union a free-riding paradise? / Rupa Duttagupta and Guillermo Tolosa -- Key features of Caribbean business cycles / Paul Cashin -- Islands of stability? Determinants of macroeconomic volatility in the Eastern Caribbean Currency Union / Tobias Rasmussen and Guillermo Tolosa -- Eastern Caribbean Currency Union banking system in a time of fiscal challenge / Jingqing Chai -- Natural disasters and their macroeconomic implications / Tobias Rasmussen -- Government responses to natural disasters in the Caribbean / Paul Cashin and Pawel Dyczewski -- Emigration and brain drain from the Caribbean / Prachi Mishra -- Tax concessions and foreign direct investment in the Eastern Caribbean Currency Union / Jingqing Chai and Rishi Goyal -- Eastern Caribbean tourism: developments and outlook / Ruby Randall -- Integration and growth in the Eastern Caribbean / Montfort Mlachila, Wendell Samuel, and Patrick Njoroge. |
| Record Nr. | UNINA-9910780745803321 |
|
Robinson David
|
||
| Washington, D.C. : , : International Monetary Fund, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Caribbean : : From Vulnerability to Sustained Growth / / David Robinson, Paul Cashin, Ratna Sahay
| The Caribbean : : From Vulnerability to Sustained Growth / / David Robinson, Paul Cashin, Ratna Sahay |
| Autore | Robinson David |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Washington, D.C. : , : International Monetary Fund, , 2006 |
| Descrizione fisica | 1 online resource (362 p.) |
| Altri autori (Persone) |
CashinPaul
SahayRatna |
| Collana | Books |
| Soggetto topico |
Fiscal policy - Caribbean Area
Business cycles - Caribbean Area Natural disasters - Economic aspects - Caribbean Area Tourism - Caribbean Area Brain drain - Caribbean Area Banks Climate Currency Debts, Public Depository Institutions Emigration and immigration Environment Exchange rate arrangements Exports and Imports Fiscal Policy Fiscal policy Fiscal stance Foreign Exchange Foreign exchange Global Warming International economics International Migration Macroeconomics Micro Finance Institutions Migration Migration, immigration & emigration Mortgages Natural Disasters and Their Management Natural Disasters Natural disasters Population and demographics Public debt Public finance & taxation Public Finance Tax incentives Taxation, Subsidies, and Revenue: General |
| ISBN |
9786613850386
9781455245888 1455245887 9781452785684 1452785686 9781283537933 1283537931 9781451962468 1451962460 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ; Overview / Ratna Sahay, David O. Robinson, and Paul Cashin -- Stabilization, debt, and fiscal policy in the Caribbean / Ratna Sahay -- Fiscal policy: is the Eastern Caribbean Currency Union a free-riding paradise? / Rupa Duttagupta and Guillermo Tolosa -- Key features of Caribbean business cycles / Paul Cashin -- Islands of stability? Determinants of macroeconomic volatility in the Eastern Caribbean Currency Union / Tobias Rasmussen and Guillermo Tolosa -- Eastern Caribbean Currency Union banking system in a time of fiscal challenge / Jingqing Chai -- Natural disasters and their macroeconomic implications / Tobias Rasmussen -- Government responses to natural disasters in the Caribbean / Paul Cashin and Pawel Dyczewski -- Emigration and brain drain from the Caribbean / Prachi Mishra -- Tax concessions and foreign direct investment in the Eastern Caribbean Currency Union / Jingqing Chai and Rishi Goyal -- Eastern Caribbean tourism: developments and outlook / Ruby Randall -- Integration and growth in the Eastern Caribbean / Montfort Mlachila, Wendell Samuel, and Patrick Njoroge. |
| Record Nr. | UNINA-9910972781903321 |
|
Robinson David
|
||
| Washington, D.C. : , : International Monetary Fund, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chaplin : 100 anni 100 immagini 100 documenti / mostra a cura di Pam Paumier e David Robinson
| Chaplin : 100 anni 100 immagini 100 documenti / mostra a cura di Pam Paumier e David Robinson |
| Autore | Paumier, Pam |
| Pubbl/distr/stampa | Udine : Le giornate del cinema muto, 1989 |
| Descrizione fisica | 73 p. ; 22 cm. |
| Altri autori (Persone) | Robinson David |
| Soggetto (Persona) | Chaplin, Charlie |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000975239707536 |
|
Paumier, Pam
|
||
| Udine : Le giornate del cinema muto, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Russia Rebounds / / David Robinson, David Owen
| Russia Rebounds / / David Robinson, David Owen |
| Autore | Robinson David |
| Pubbl/distr/stampa | Washington, D.C. : , : International Monetary Fund, , 2003 |
| Descrizione fisica | 1 online resource (191 p.) |
| Disciplina | 330.947 |
| Altri autori (Persone) | OwenDavid |
| Collana | Books |
| Soggetto topico |
Finance - Russia (Federation)
Banks and Banking Corporate Finance Macroeconomics Public Finance Taxation Banks Depository Institutions Micro Finance Institutions Mortgages National Government Expenditures and Related Policies: General International Lending and Debt Problems Price Level Inflation Deflation Business Taxes and Subsidies General Financial Markets: General (includes Measurement and Data) Banking Public finance & taxation Budgeting & financial management International economics Commercial banks Expenditure Correspondent banking Financial institutions Financial services Prices Oil prices Banks and banking Expenditures, Public Budget Debts, External Correspondent banks |
| ISBN |
1-4552-1859-6
1-4527-9473-1 1-283-53523-8 9786613847683 1-4519-2073-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Preface""; ""1 Overview""; ""2 Macroeconomic Policymaking""; ""3 Structural Reforms and the Growth Outlook""; ""4 Tax Reform in Russia""; ""5 Public Expenditure Reform""; ""6 Banking Crisis and Recovery""; ""7 Debt Crisis in Russia: The Road from Default to Sustainability"" |
| Record Nr. | UNINA-9910780752103321 |
|
Robinson David
|
||
| Washington, D.C. : , : International Monetary Fund, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Russia Rebounds / / David Robinson, David Owen
| Russia Rebounds / / David Robinson, David Owen |
| Autore | Robinson David |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Washington, D.C. : , : International Monetary Fund, , 2003 |
| Descrizione fisica | 1 online resource (191 p.) |
| Disciplina | 330.947 |
| Altri autori (Persone) | OwenDavid |
| Collana | Books |
| Soggetto topico |
Finance - Russia (Federation)
Banking Banks and Banking Banks and banking Banks Budget Budgeting & financial management Business Taxes and Subsidies Commercial banks Corporate Finance Correspondent banking Correspondent banks Debts, External Deflation Depository Institutions Expenditure Expenditures, Public Financial institutions Financial services General Financial Markets: General (includes Measurement and Data) Inflation International economics International Lending and Debt Problems Macroeconomics Micro Finance Institutions Mortgages National Government Expenditures and Related Policies: General Oil prices Price Level Prices Public finance & taxation Public Finance Taxation |
| ISBN |
9786613847683
9781455218592 1455218596 9781452794730 1452794731 9781283535236 1283535238 9781451920734 1451920733 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Preface""; ""1 Overview""; ""2 Macroeconomic Policymaking""; ""3 Structural Reforms and the Growth Outlook""; ""4 Tax Reform in Russia""; ""5 Public Expenditure Reform""; ""6 Banking Crisis and Recovery""; ""7 Debt Crisis in Russia: The Road from Default to Sustainability"" |
| Record Nr. | UNINA-9910972777303321 |
|
Robinson David
|
||
| Washington, D.C. : , : International Monetary Fund, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The topology of the 2x2 games [[electronic resource] ] : a new periodic table / / David Robinson and David Goforth
| The topology of the 2x2 games [[electronic resource] ] : a new periodic table / / David Robinson and David Goforth |
| Autore | Robinson David |
| Pubbl/distr/stampa | London ; ; New York, : Routledge, 2006 |
| Descrizione fisica | 1 online resource (200 p.) |
| Disciplina | 338.5/01/5193 |
| Altri autori (Persone) | GoforthDavid |
| Soggetto topico |
Game theory
Microeconomics - Study and teaching - Simulation methods Topology |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-134-30692-X
1-280-21791-X 9786610217915 0-203-34027-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910450835003321 |
|
Robinson David
|
||
| London ; ; New York, : Routledge, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The topology of the 2x2 games [[electronic resource] ] : a new periodic table / / David Robinson and David Goforth
| The topology of the 2x2 games [[electronic resource] ] : a new periodic table / / David Robinson and David Goforth |
| Autore | Robinson David |
| Pubbl/distr/stampa | London ; ; New York, : Routledge, 2006 |
| Descrizione fisica | 1 online resource (200 p.) |
| Disciplina | 338.5/01/5193 |
| Altri autori (Persone) | GoforthDavid |
| Soggetto topico |
Game theory
Microeconomics - Study and teaching - Simulation methods Topology |
| ISBN |
1-134-30692-X
1-280-21791-X 9786610217915 0-203-34027-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910783803603321 |
|
Robinson David
|
||
| London ; ; New York, : Routledge, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||