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.
Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
| Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XV, 378 p. 133 illus.) |
| Disciplina | 006.3/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science |
| ISBN | 3-642-30885-6 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin -- Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini -- ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi -- Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis -- Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson -- Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside -- Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi -- Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day -- Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji -- Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu -- SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin -- Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano -- Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang -- Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka -- A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles -- Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen -- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman -- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti -- Verification of Hardware Interaction Properties of Software / Ramsay Taylor -- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann -- A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall -- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra -- A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra -- A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang -- Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer -- Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe -- A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook -- Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu -- Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell -- Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry -- A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton. |
| Record Nr. | UNISA-996465312903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
API design for C++ [[electronic resource] /] / Martin Reddy
| API design for C++ [[electronic resource] /] / Martin Reddy |
| Autore | Reddy Martin |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Boston, : Elsevier/Morgan Kaufmann, 2011 |
| Descrizione fisica | 1 online resource (468 p.) |
| Disciplina |
005.13/3
005.133 |
| Soggetto topico |
Application program interfaces (Computer software)
C++ (Computer program language) |
| ISBN |
1-282-99425-5
9786612994258 0-12-385004-5 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; API Design for C++; Copyright; Contents; Foreword; Preface; Why You Should Read This Book; Who is the Target Audience; Focusing On C++; Conventions; Book Web Site; Acknowledgments; Author Biography; Chapter 1: Introduction; 1.1 What are Application Programming Interfaces?; 1.1.1 Contracts and Contractors; 1.1.2 APIs in; 1.2 What's Different About Api Design?; 1.3 Why Should you Use APIs?; 1.3.1 More Robust Code; 1.3.2 Code Reuse; 1.3.3 Parallel Development; 1.4 When Should you Avoid APIs?; 1.5 Api Examples; 1.5.1 Layers of APIs; 1.5.2 A Real-Life Example
1.6 File Formats and Network Protocols 1.7 About this Book; Chapter 2: Qualities; 2.1 Model the Problem Domain; 2.1.1 Provide a Good Abstraction; 2.1.2 Model the Key Objects; 2.2 Hide Implementation Details; 2.2.1 Physical Hiding: Declaration versus Definition; 2.2.2 Logical Hiding: Encapsulation; 2.2.3 Hide Member Variables; 2.2.4 Hide Implementation Methods; 2.2.5 Hide Implementation Classes; 2.3 Minimally Complete; 2.3.1 Don't Overpromise; 2.3.2 Add Virtual Functions Judiciously; 2.3.3 Convenience APIs; 2.4 Easy to Use; 2.4.1 Discoverable; 2.4.2 Difficult to Misuse; 2.4.3 Consistent 2.4.4 Orthogonal 2.4.5 Robust Resource Allocation; 2.4.6 Platform Independent; 2.5 Loosely Coupled; 2.5.1 Coupling by Name Only; 2.5.2 Reducing Class Coupling; 2.5.3 Intentional Redundancy; 2.5.4 Manager Classes; 2.5.5 Callbacks, Observers, and Notifications; Callbacks; Observers; Notifications; 2.6 Stable, Documented, and Tested; Chapter 3: Patterns; 3.1 Pimpl Idiom; 3.1.1 Using Pimpl; 3.1.2 Copy Semantics; 3.1.3 Pimpl and Smart Pointers; 3.1.4 Advantages of Pimpl; 3.1.5 Disadvantages of Pimpl; 3.1.6 Opaque Pointers in C; 3.2 Singleton; 3.2.1 Implementing Singletons in 3.2.2 Making Singletons Thread Safe 3.2.3 Singleton versus Dependency Injection; 3.2.4 Singleton versus Monostate; 3.2.5 Singleton versus Session State; 3.3 Factory Methods; 3.3.1 Abstract Base Classes; 3.3.2 Simple Factory Example; 3.3.3 Extensible Factory Example; 3.4 API Wrapping Patterns; 3.4.1 The Proxy Pattern; 3.4.2 The Adapter Pattern; 3.4.3 The Façade Pattern; 3.5 Observer Pattern; 3.5.1 Model-View-Controller; 3.5.2 Implementing the Observer Pattern; 3.5.3 Push versus Pull Observers; Chapter 4: Design; 4.1 A Case for Good Design; 4.1.1 Accruing Technical Debt 4.1.2 Paying Back the Debt 4.1.3 Design for the Long Term; 4.2 Gathering Functional Requirements; 4.2.1 What Are Functional Requirements?; 4.2.2 Example Functional Requirements; 4.2.3 Maintaining the Requirements; 4.3 Creating Use Cases; 4.3.1 Developing Use Cases; 4.3.2 Use Case Templates; 4.3.3 Writing Good Use Cases; 4.3.4 Requirements and Agile Development; 4.4 Elements of Api Design; 4.5 Architecture Design; 4.5.1 Developing an Architecture; 4.5.2 Architecture Constraints; 4.5.3 Identifying Major Abstractions; 4.5.4 Inventing Key Objects; 4.5.5 Architectural Patterns 4.5.6 Communicating the Architecture |
| Record Nr. | UNINA-9910785584703321 |
Reddy Martin
|
||
| Boston, : Elsevier/Morgan Kaufmann, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
API design for C++ / / Martin Reddy
| API design for C++ / / Martin Reddy |
| Autore | Reddy Martin |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Boston, : Elsevier/Morgan Kaufmann, 2011 |
| Descrizione fisica | 1 online resource (468 p.) |
| Disciplina |
005.13/3
005.133 005.362 |
| Soggetto topico |
Application program interfaces (Computer software)
C++ (Computer program language) |
| ISBN |
1-282-99425-5
9786612994258 0-12-385004-5 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; API Design for C++; Copyright; Contents; Foreword; Preface; Why You Should Read This Book; Who is the Target Audience; Focusing On C++; Conventions; Book Web Site; Acknowledgments; Author Biography; Chapter 1: Introduction; 1.1 What are Application Programming Interfaces?; 1.1.1 Contracts and Contractors; 1.1.2 APIs in; 1.2 What's Different About Api Design?; 1.3 Why Should you Use APIs?; 1.3.1 More Robust Code; 1.3.2 Code Reuse; 1.3.3 Parallel Development; 1.4 When Should you Avoid APIs?; 1.5 Api Examples; 1.5.1 Layers of APIs; 1.5.2 A Real-Life Example
1.6 File Formats and Network Protocols 1.7 About this Book; Chapter 2: Qualities; 2.1 Model the Problem Domain; 2.1.1 Provide a Good Abstraction; 2.1.2 Model the Key Objects; 2.2 Hide Implementation Details; 2.2.1 Physical Hiding: Declaration versus Definition; 2.2.2 Logical Hiding: Encapsulation; 2.2.3 Hide Member Variables; 2.2.4 Hide Implementation Methods; 2.2.5 Hide Implementation Classes; 2.3 Minimally Complete; 2.3.1 Don't Overpromise; 2.3.2 Add Virtual Functions Judiciously; 2.3.3 Convenience APIs; 2.4 Easy to Use; 2.4.1 Discoverable; 2.4.2 Difficult to Misuse; 2.4.3 Consistent 2.4.4 Orthogonal 2.4.5 Robust Resource Allocation; 2.4.6 Platform Independent; 2.5 Loosely Coupled; 2.5.1 Coupling by Name Only; 2.5.2 Reducing Class Coupling; 2.5.3 Intentional Redundancy; 2.5.4 Manager Classes; 2.5.5 Callbacks, Observers, and Notifications; Callbacks; Observers; Notifications; 2.6 Stable, Documented, and Tested; Chapter 3: Patterns; 3.1 Pimpl Idiom; 3.1.1 Using Pimpl; 3.1.2 Copy Semantics; 3.1.3 Pimpl and Smart Pointers; 3.1.4 Advantages of Pimpl; 3.1.5 Disadvantages of Pimpl; 3.1.6 Opaque Pointers in C; 3.2 Singleton; 3.2.1 Implementing Singletons in 3.2.2 Making Singletons Thread Safe 3.2.3 Singleton versus Dependency Injection; 3.2.4 Singleton versus Monostate; 3.2.5 Singleton versus Session State; 3.3 Factory Methods; 3.3.1 Abstract Base Classes; 3.3.2 Simple Factory Example; 3.3.3 Extensible Factory Example; 3.4 API Wrapping Patterns; 3.4.1 The Proxy Pattern; 3.4.2 The Adapter Pattern; 3.4.3 The Façade Pattern; 3.5 Observer Pattern; 3.5.1 Model-View-Controller; 3.5.2 Implementing the Observer Pattern; 3.5.3 Push versus Pull Observers; Chapter 4: Design; 4.1 A Case for Good Design; 4.1.1 Accruing Technical Debt 4.1.2 Paying Back the Debt 4.1.3 Design for the Long Term; 4.2 Gathering Functional Requirements; 4.2.1 What Are Functional Requirements?; 4.2.2 Example Functional Requirements; 4.2.3 Maintaining the Requirements; 4.3 Creating Use Cases; 4.3.1 Developing Use Cases; 4.3.2 Use Case Templates; 4.3.3 Writing Good Use Cases; 4.3.4 Requirements and Agile Development; 4.4 Elements of Api Design; 4.5 Architecture Design; 4.5.1 Developing an Architecture; 4.5.2 Architecture Constraints; 4.5.3 Identifying Major Abstractions; 4.5.4 Inventing Key Objects; 4.5.5 Architectural Patterns 4.5.6 Communicating the Architecture |
| Record Nr. | UNINA-9910828867003321 |
|
Reddy Martin
|
||
| Boston, : Elsevier/Morgan Kaufmann, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Building applications with Symfony, CakePHP, and Zend Frameworks / / Bartosz Porebski, Karol Przystalski, Leszek Nowak
| Building applications with Symfony, CakePHP, and Zend Frameworks / / Bartosz Porebski, Karol Przystalski, Leszek Nowak |
| Autore | Porebski Bartosz |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley, c2011 |
| Descrizione fisica | 1 online resource (578 p.) |
| Disciplina | 006.76 |
| Altri autori (Persone) |
NowakLeszek
PrzystalskiKarol |
| Collana | Wrox programmer to programmer Building PHP applications with Symfony, CakePHP, and Zend Framework |
| Soggetto topico |
Application software - Development
PHP (Computer program language) Web sites - Design |
| ISBN |
1-283-37455-2
9786613374554 1-118-06792-4 1-118-06790-8 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Building PHP Applications with SymfonyTM, CakePHP, and Zend® Framework; CREDITS; ABOUT THE AUTHORS; ACKNOWLEDGMENTS; CONTENTS; INTRODUCTION; CHAPTER 1: INTRODUCING SYMFONY, CAKEPHP, AND ZEND FRAMEWORK; What Are Web Application Frameworks And How Are They Used?; Framework versus Library; When You Should Use a Framework and When You Should Not; Advantages; Disadvantages; PHP versus Other Programming Languages; Open Source PHP Web Frameworks; Comparison of Popular Interest; The First Look; Symfony; CakePHP; Zend Framework; Other Frameworks; CodeIgniter; Lithium; Agavi; Kohana; Prado; Yii; Akelos
SeagullQcodo; Solar; PHP On Trax; What Is a Design Pattern?; Model-View-Controller as the Main Structural Design Pattern; Design Patterns In Web Frameworks; MVC versus MVP; Overview of Other Design Patterns; Singleton; Prototype; Decorator; Chain of Responsibility; State; Iterator; CHAPTER 2: GETTING STARTED; Requirements; XAMPP; XAMPP for Windows; XAMPP for Linux; XAMPP for Mac OS; Apache; Windows Installation; Linux Installation; MacOS Installation; Database; MySQL; SQLite; phpMyAdmin - Linux; PEAR; Windows; Linux; Mac OS; Subversion (SVN); Installation Overview; Installation; Symfony SandboxPEAR; CakePHP; Zend Framework; PEAR; Archive; Configuration; Symfony; CakePHP; Zend Framework; Hello World!; Symfony; CakePHP; Zend Framework; Structure; Symfony; CakePHP; Zend Framework; IDE Support; NetBeans; Eclipse; Zend Studio; CHAPTER 3: WORKING WITH DATABASES; Object-Relational Mapping; Object-Relational Impedance Mismatch; Propel; Doctrine; CakePHP's ORM; Zend_Db; Other ORM Solutions; Database Configuration; Open Database Connectivity (ODBC); SQLite; Propel; Doctrine; CakePHP; Zend_Db; PostgreSQL; Propel; Doctrine; CakePHP; Zend_Db; MySQL; Propel; Doctrine; CakePHP; Zend_Db Microsoft SQL ServerPropel; Doctrine; CakePHP; Zend_Db; Oracle; Propel; Doctrine; CakePHP; Zend_Db; DB2; CakePHP; Zend_DB; Communication With A Database; Schema; Propel; Doctrine; CakePHP; Zend Framework; Fixtures; Symfony; CakePHP; Zend Framework; Command-line Interface; Symfony - Propel; Symfony - Doctrine; CakePHP; Zend Framework; CHAPTER 4: YOUR FIRST APPLICATION IN THE THREE FRAMEWORKS; Design; Project Requirements; Symfony; Project; Model; Controller; Address List; Adding and Editing Entries; Deleting an Address; View; Editing\Updating Addresses; Deleting Addresses; CakePHP; Project RoutingModel; Schema; Controller; List of All Addresses; Adding a New Address; Editing an Address; Deleting a Selected Address; Viewing a Selected Address; View; Address List; Forms; Editing an Address; Viewing a Selected Address; Deleting an entry; Zend Framework; Project; Routing; Model; Model Class; Mapper; Db_Table Model; Controller; List of All Addresses; Adding a New Address; Editing an Entry; Delete; Forms; View; List of All Addresses; Adding an Entry Page; Editing an Address Entry; Deleting an Entry; CHAPTER 5: FORMS; Field Validation; How Does Form Validation Work?; Symfony; Plug-ins CakePHP |
| Record Nr. | UNINA-9910810176703321 |
|
Porebski Bartosz
|
||
| Indianapolis, IN, : Wiley, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Building applications with Symfony, CakePHP, and Zend Frameworks [[electronic resource] /] / Bartosz Porebski, Karol Przystalski, Leszek Nowak
| Building applications with Symfony, CakePHP, and Zend Frameworks [[electronic resource] /] / Bartosz Porebski, Karol Przystalski, Leszek Nowak |
| Autore | Porębski Bartosz |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley, c2011 |
| Descrizione fisica | 1 online resource (578 p.) |
| Disciplina | 006.76 |
| Altri autori (Persone) |
NowakLeszek
PrzystalskiKarol |
| Collana | Wrox programmer to programmer Building PHP applications with Symfony, CakePHP, and Zend Framework |
| Soggetto topico |
Application software - Development
PHP (Computer program language) Web sites - Design |
| ISBN |
1-283-37455-2
9786613374554 1-118-06792-4 1-118-06790-8 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Building PHP Applications with SymfonyTM, CakePHP, and Zend® Framework; CREDITS; ABOUT THE AUTHORS; ACKNOWLEDGMENTS; CONTENTS; INTRODUCTION; CHAPTER 1: INTRODUCING SYMFONY, CAKEPHP, AND ZEND FRAMEWORK; What Are Web Application Frameworks And How Are They Used?; Framework versus Library; When You Should Use a Framework and When You Should Not; Advantages; Disadvantages; PHP versus Other Programming Languages; Open Source PHP Web Frameworks; Comparison of Popular Interest; The First Look; Symfony; CakePHP; Zend Framework; Other Frameworks; CodeIgniter; Lithium; Agavi; Kohana; Prado; Yii; Akelos
SeagullQcodo; Solar; PHP On Trax; What Is a Design Pattern?; Model-View-Controller as the Main Structural Design Pattern; Design Patterns In Web Frameworks; MVC versus MVP; Overview of Other Design Patterns; Singleton; Prototype; Decorator; Chain of Responsibility; State; Iterator; CHAPTER 2: GETTING STARTED; Requirements; XAMPP; XAMPP for Windows; XAMPP for Linux; XAMPP for Mac OS; Apache; Windows Installation; Linux Installation; MacOS Installation; Database; MySQL; SQLite; phpMyAdmin - Linux; PEAR; Windows; Linux; Mac OS; Subversion (SVN); Installation Overview; Installation; Symfony SandboxPEAR; CakePHP; Zend Framework; PEAR; Archive; Configuration; Symfony; CakePHP; Zend Framework; Hello World!; Symfony; CakePHP; Zend Framework; Structure; Symfony; CakePHP; Zend Framework; IDE Support; NetBeans; Eclipse; Zend Studio; CHAPTER 3: WORKING WITH DATABASES; Object-Relational Mapping; Object-Relational Impedance Mismatch; Propel; Doctrine; CakePHP's ORM; Zend_Db; Other ORM Solutions; Database Configuration; Open Database Connectivity (ODBC); SQLite; Propel; Doctrine; CakePHP; Zend_Db; PostgreSQL; Propel; Doctrine; CakePHP; Zend_Db; MySQL; Propel; Doctrine; CakePHP; Zend_Db Microsoft SQL ServerPropel; Doctrine; CakePHP; Zend_Db; Oracle; Propel; Doctrine; CakePHP; Zend_Db; DB2; CakePHP; Zend_DB; Communication With A Database; Schema; Propel; Doctrine; CakePHP; Zend Framework; Fixtures; Symfony; CakePHP; Zend Framework; Command-line Interface; Symfony - Propel; Symfony - Doctrine; CakePHP; Zend Framework; CHAPTER 4: YOUR FIRST APPLICATION IN THE THREE FRAMEWORKS; Design; Project Requirements; Symfony; Project; Model; Controller; Address List; Adding and Editing Entries; Deleting an Address; View; Editing\Updating Addresses; Deleting Addresses; CakePHP; Project RoutingModel; Schema; Controller; List of All Addresses; Adding a New Address; Editing an Address; Deleting a Selected Address; Viewing a Selected Address; View; Address List; Forms; Editing an Address; Viewing a Selected Address; Deleting an entry; Zend Framework; Project; Routing; Model; Model Class; Mapper; Db_Table Model; Controller; List of All Addresses; Adding a New Address; Editing an Entry; Delete; Forms; View; List of All Addresses; Adding an Entry Page; Editing an Address Entry; Deleting an Entry; CHAPTER 5: FORMS; Field Validation; How Does Form Validation Work?; Symfony; Plug-ins CakePHP |
| Record Nr. | UNINA-9910789339403321 |
|
Porębski Bartosz
|
||
| Indianapolis, IN, : Wiley, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Implementation and Application of Functional Languages [[electronic resource] ] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers / / edited by Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder
| Implementation and Application of Functional Languages [[electronic resource] ] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers / / edited by Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 230 p.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Computer programming Computer science Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based Trace Exploration -- Shrinking Reductions in SML.NET -- Dynamic Construction of Generic Functions -- Reasoning About Deterministic Concurrent Functional I/O -- General Homomorphic Overloading -- Simple, Effective Code-Size Reduction for Functional Programs. |
| Record Nr. | UNISA-996465707403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Implementation and application of functional languages : 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004 : revised selected papers / / Clemens Grelck ... [et al.] (eds.)
| Implementation and application of functional languages : 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004 : revised selected papers / / Clemens Grelck ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2005 |
| Descrizione fisica | 1 online resource (X, 230 p.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) | GrelckClemens |
| Collana | Lecture notes in computer science |
| Soggetto topico | Functional programming languages |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based Trace Exploration -- Shrinking Reductions in SML.NET -- Dynamic Construction of Generic Functions -- Reasoning About Deterministic Concurrent Functional I/O -- General Homomorphic Overloading -- Simple, Effective Code-Size Reduction for Functional Programs. |
| Altri titoli varianti | IFL 2004 |
| Record Nr. | UNINA-9910483377003321 |
| Berlin, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Microsoft SQL Server 2008 for dummies [[electronic resource] /] / by Mike Chapple
| Microsoft SQL Server 2008 for dummies [[electronic resource] /] / by Mike Chapple |
| Autore | Chapple Mike |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, NJ, : Wiley, 2008 |
| Descrizione fisica | 1 online resource (410 p.) |
| Disciplina | 005.7585 |
| Collana | --For dummies |
| Soggetto topico |
SQL (Computer program language)
Database management Client/server computing |
| ISBN |
0-470-48665-1
0-470-40363-2 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Microsoft SQL Server 2008; Table of Contents; Introduction; Part I Welcome to SQL Server 2008; Chapter 1 Introducing SQL Server 2008; Starting Off on the Right Foot; Understanding the Basic Components of SQL Server; Implementing Databases with SQL Server 2008; What's New in SQL Server 2008; Chapter 2 Building Your SQL Server; Installing SQL Server 2008; Upgrading an Existing SQL Server Installation; Configuring Database Mail; Using SQL Server's Built-In Databases; Chapter 3 Working with SQL Server Tools; Using SQL Server Configuration Manager
Managing Your Server with SQL Server Management StudioWorking from the Command Line; Part II Building SQL Server 2008 Databases; Chapter 4 Planning Your Database; Introducing Database Design Concepts; Understanding the Elements of a Database; Organizing a Database; Diagramming Your Database; Staying Fit and Trim with Normalization; Choosing Data Types for Your Tables; Working with NULL Values; Chapter 5 Creating Databases and Tables; Creating a Database; Specifying Files and Filegroups; Creating a Table; Chapter 6 Imposing Constraints and Relationships; Introducing Constraints Controlling Database Contents Using ConstraintsEnforcing Database Integrity; Part III Retrieving Data from Databases; Chapter 7 Constructing Simple Database Queries; Retrieving Data with SELECT Statements; Organizing Query Results; Chapter 8 Joins and Other Advanced Queries; Joining Data from Multiple Tables; Taking SELECT to the Next Level; Using Database Views; Chapter 9 Turning Data into Information with SQL Server Reporting Services; Setting up SQL Server Reporting Services; Creating an SSRS Report with Report Builder; Working with Deployed (Published) Reports Part IV Inserting and Manipulating Your DataChapter 10 Inserting, Updating, and Deleting Data; Inserting Small Quantities of Data; Modifying and Deleting Data; Importing Large Quantities of Data; Working with SQL Server Integration Services; Chapter 11 Saving Time with Functions, Stored Procedures, and Triggers; Reusing Logic with Functions; Leveraging SQL Server's built-in functions; Creating Your Own Functions; Reusing SQL Code with Stored Procedures; Updating Data Automatically with Triggers; Modifying and Deleting Functions, Stored Procedures, and Triggers Part V SQL Server AdministrationChapter 12 Keeping Your SQL Server Running Smoothly; Indexing Data to Improve Query Performance; Improving Performance with Partitions; Updating Database Statistics; Managing File Sizes; Checking Database Integrity; Governing Resource Consumption; Chapter 13 Automating SQL Server 2008 Administration; Scheduling Tasks with SQL Server Agent; Implementing Database Maintenance Plans; Alerting Administrators about Database Events; Chapter 14 Troubleshooting SQL Server 2008 Problems; Understanding the Inner Workings of SQL Server Queries; Reviewing Log Records Monitoring Your Server with Performance Studio |
| Record Nr. | UNINA-9910782223503321 |
|
Chapple Mike
|
||
| Hoboken, NJ, : Wiley, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Microsoft SQL Server 2008 for dummies / / by Mike Chapple
| Microsoft SQL Server 2008 for dummies / / by Mike Chapple |
| Autore | Chapple Mike |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, NJ, : Wiley, 2008 |
| Descrizione fisica | 1 online resource (410 p.) |
| Disciplina | 005.7585 |
| Collana | --For dummies |
| Soggetto topico |
SQL (Computer program language)
Database management Client/server computing |
| ISBN |
0-470-48665-1
0-470-40363-2 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Microsoft SQL Server 2008; Table of Contents; Introduction; Part I Welcome to SQL Server 2008; Chapter 1 Introducing SQL Server 2008; Starting Off on the Right Foot; Understanding the Basic Components of SQL Server; Implementing Databases with SQL Server 2008; What's New in SQL Server 2008; Chapter 2 Building Your SQL Server; Installing SQL Server 2008; Upgrading an Existing SQL Server Installation; Configuring Database Mail; Using SQL Server's Built-In Databases; Chapter 3 Working with SQL Server Tools; Using SQL Server Configuration Manager
Managing Your Server with SQL Server Management StudioWorking from the Command Line; Part II Building SQL Server 2008 Databases; Chapter 4 Planning Your Database; Introducing Database Design Concepts; Understanding the Elements of a Database; Organizing a Database; Diagramming Your Database; Staying Fit and Trim with Normalization; Choosing Data Types for Your Tables; Working with NULL Values; Chapter 5 Creating Databases and Tables; Creating a Database; Specifying Files and Filegroups; Creating a Table; Chapter 6 Imposing Constraints and Relationships; Introducing Constraints Controlling Database Contents Using ConstraintsEnforcing Database Integrity; Part III Retrieving Data from Databases; Chapter 7 Constructing Simple Database Queries; Retrieving Data with SELECT Statements; Organizing Query Results; Chapter 8 Joins and Other Advanced Queries; Joining Data from Multiple Tables; Taking SELECT to the Next Level; Using Database Views; Chapter 9 Turning Data into Information with SQL Server Reporting Services; Setting up SQL Server Reporting Services; Creating an SSRS Report with Report Builder; Working with Deployed (Published) Reports Part IV Inserting and Manipulating Your DataChapter 10 Inserting, Updating, and Deleting Data; Inserting Small Quantities of Data; Modifying and Deleting Data; Importing Large Quantities of Data; Working with SQL Server Integration Services; Chapter 11 Saving Time with Functions, Stored Procedures, and Triggers; Reusing Logic with Functions; Leveraging SQL Server's built-in functions; Creating Your Own Functions; Reusing SQL Code with Stored Procedures; Updating Data Automatically with Triggers; Modifying and Deleting Functions, Stored Procedures, and Triggers Part V SQL Server AdministrationChapter 12 Keeping Your SQL Server Running Smoothly; Indexing Data to Improve Query Performance; Improving Performance with Partitions; Updating Database Statistics; Managing File Sizes; Checking Database Integrity; Governing Resource Consumption; Chapter 13 Automating SQL Server 2008 Administration; Scheduling Tasks with SQL Server Agent; Implementing Database Maintenance Plans; Alerting Administrators about Database Events; Chapter 14 Troubleshooting SQL Server 2008 Problems; Understanding the Inner Workings of SQL Server Queries; Reviewing Log Records Monitoring Your Server with Performance Studio |
| Record Nr. | UNINA-9910809242003321 |
|
Chapple Mike
|
||
| Hoboken, NJ, : Wiley, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model driven engineering languages and systems : 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings / / Lionel Briand, Clay Williams (eds.)
| Model driven engineering languages and systems : 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings / / Lionel Briand, Clay Williams (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XVI, 724 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
BriandLionel C
WilliamsClay, Dr. |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Model-driven software architecture
UML (Computer science) |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Address I -- Keynote Address I: Model Driven Development for Distributed Real-Time and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business Processes -- UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling -- Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0 -- Product Families, Reuse -- Code Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications -- Model Typing for Improving Reuse in Model-Driven Engineering -- State/Behavioral Modeling -- UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal -- Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams -- Computing Refactorings of Behavior Models -- Aspects -- Dynamic Secure Aspect Modeling with UML: From Models to Code -- Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques -- Domain Models Are Aspect Free -- Design Strategies -- Representing and Applying Design Patterns: What Is the Problem? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based Approach to Dependable System Design -- Model Transformations -- Extending Profiles with Stereotypes for Composite Concepts -- Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach -- Weaving Executability into Object-Oriented Meta-languages -- Keynote Address II -- Keynote Address II: Domain-Specific Modeling: No One Size Fits All -- Model Refactoring -- Refactoring OCL Annotated UML Class Diagrams -- Replicators: Transformations to Address Model Scalability -- Simplifying Transformations of OCL Constraints -- Quality Control -- Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report) -- Reliability Prediction in Model-Driven Development -- Model-Based Scalability Estimation in Inception-Phase Software Architecture -- MDA I -- Explicit Platform Models for MDA -- Integrated Model-Based Software Development, Data Access, and Data Migration -- Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based on Extended UML Metamodel -- Invited Presentation II: Experiences in Applying Model Based System Testing Generation -- UML 2.0 -- The Impact of UML 2.0 on Existing UML 1.4 Models -- Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies -- Using UML 2.0 Collaborations for Compositional Service Specification -- Industrial Experience -- Model-Driven Engineering in a Large Industrial Context — Motorola Case Study -- Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application — Experiences and Challenges -- Invited Presentation III: The Architects’ Workbench — Research in the Trenches -- Crosscutting Concerns -- Uniform Support for Modeling Crosscutting Structure -- Modeling Crosscutting Services with UML Sequence Diagrams -- A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming -- Modeling Strategies I -- A Domain Model for Dynamic System Reconfiguration -- Exceptional Use Cases -- MDA II -- Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming -- Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study -- Automation II -- Automated Invariant Maintenance Via OCL Compilation -- SelfSync: A Dynamic Round-Trip Engineering Environment -- UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents -- Modeling Strategies II -- Metamodel Reuse with MOF -- Modeling the User Interface of Multimedia Applications -- An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages -- Workshops, Tutorials and Panels -- Workshops at the MODELS 2005 Conference -- Tutorials at the MODELS 2005 Conference -- Panels at the MODELS 2005 Conference. |
| Altri titoli varianti | MoDELS 2005 |
| Record Nr. | UNINA-9910482997603321 |
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
