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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Aspect-oriented programming with the e verification language : 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
005.117 |
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-9910814568003321 |
Robinson David
![]() |
||
Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 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-9910816694203321 |
Robinson David
![]() |
||
Washington, D.C. : , : International Monetary Fund, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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)
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-9910816690103321 |
Robinson David
![]() |
||
Washington, D.C. : , : International Monetary Fund, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|