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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems : MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / / edited by Lionel Briand, Clay Williams |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XVI, 724 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
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'05 |
Record Nr. | UNISA-996465842803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Professional SQL Server 2008 integration services [[electronic resource] /] / Brian Knight ... [et al.] |
Edizione | [1st edition] |
Pubbl/distr/stampa | Indianapolis, IN, : Wiley Pub., c2008 |
Descrizione fisica | 1 online resource (1010 p.) |
Disciplina |
005.75/85
005.7585 |
Altri autori (Persone) | KnightBrian <1976-> |
Collana | Wrox professional guides |
Soggetto topico | Database management |
ISBN |
1-118-05956-5
1-281-83701-6 9786611837013 0-470-41768-4 |
Classificazione | 54.53 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Professional SQL Server 2008 Integration Services; About the Authors; Credits; Acknowledgments; Contents; Introduction; Who This Book Is For; What This Book Covers; How This Book Is Structured; What You Need to Use This Book; Conventions; Source Code; Errata; p2p.wrox.com; Chapter 1: Welcome to SQL Server Integration Services; SQL Server SSIS Historical Overview; What's New in SSIS; Getting Started; Architecture; Precedence Constraints; Containers; Variables; Data Flow Elements; Error Handling and Logging; Editions of SQL Server; Summary; Chapter 2: The SSIS Tools; Import and Export Wizard
Business Intelligence Development StudioCreating Your First Package; The Solution Explorer Window; The SSIS Package Designer; Package Installation Wizard; Management Studio; Summary; Chapter 3: SSIS Tasks; SSIS Task Objects; Looping and Sequence Tasks; Scripting Tasks; Analysis Services Tasks; Data Flow Task; Data Preparation Tasks; RDBMS Server Tasks; Workflow Tasks; SMO Administration Tasks; Summary; Chapter 4: Containers; Task Host Containers; Sequence Containers; Groups; For Loop Container; Foreach Loop Container; Summary; Chapter 5: The Data Flow; The Data Flow; Data Viewers; Sources DestinationsTransformations; Data Flow Example; Summary; Chapter 6: Using Expressions and Variables; The Paradigm; Understanding Data Types; Using Variables; Working with Expressions; Summary; Chapter 7: Joining Data; The Lookup Component; The Merge Join Component; Contrasting to the Relational Join; New Lookup Features; Building the Basic Package; Using the Lookup Component; Cache Connection Manager and Transform; Summary; Chapter 8: Creating an End-to-End Package; Basic Transformation Tutorial; Typical Mainframe ETL with Data Scrubbing; Looping and the Dynamic Task; Summary Chapter 9: Scripting in SSISScripting?; Getting Started in SSIS Scripting; Using the Script Task; Using the Script Component; Essential Coding, Debugging, and Troubleshooting Techniques; Summary; Chapter 10: Loading a Data Warehouse; Data Profiling; Data Extraction; Dimension Table Loading; Fact Table Loading; SSAS Processing; Master ETL Package; Summary; Chapter 11: Using the Relational Engine; Data Extraction; SQL Server 2008 Change Data Capture; Data Loading; Summary; Chapter 12: Accessing Heterogeneous Data; Excel and Access; Oracle; XML and Web Services; Flat Files; ODBC Other Heterogeneous SourcesSummary; Chapter 13: Reliability and Scalability; Restarting Packages; Package Transactions; Error Outputs; Scaling Out; Summary; Chapter 14: Understanding and Tuning the Data Flow Engine; The SSIS Engine; SSIS Data Flow Design and Tuning; Pipeline Performance Monitoring; Summary; Chapter 15: Source Control and Software Development Life Cycle; Introduction to Software Development Life Cycles; Versioning and Source Code Control; Code Deployment and Promotion from Development to Test to Production; Summary; Chapter 16: DTS 2000 Migration Managing DTS 2000 Packages within SQL Server Management Studio |
Record Nr. | UNINA-9910782341503321 |
Indianapolis, IN, : Wiley Pub., c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software VNA and microwave network design and characterisation [[electronic resource] /] / Zhipeng Wu |
Autore | Wu Zhipeng |
Pubbl/distr/stampa | Chichester ; ; Hoboken, N.J., : John Wiley, c2007 |
Descrizione fisica | 1 online resource (276 p.) |
Disciplina | 621.38132 |
Soggetto topico |
Microwave circuits
Microwave circuits - Computer simulation Microwave circuits - Design |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-97403-6
9786610974030 0-470-51321-7 0-470-51322-5 |
Classificazione |
53.82
53.11 53.52 54.53 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Software VNA and Microwave Network Design and Characterisation; Contents; Foreword; Preface; 1 Introduction to Network Analysis of Microwave Circuits; 1.1 One-Port Network; 1.1.1 Total Voltage and Current Analyses; 1.1.2 Transmission-Reflection Analysis; 1.1.2.1 Voltage and current; 1.1.2.2 Reflection coefficient; 1.1.2.3 Power; 1.1.2.4 Introduction of a1 and b1; 1.1.2.5 Z in terms of; 1.1.3 Smith Chart; 1.1.3.1 Impedance chart; 1.1.3.2 Admittance chart; 1.1.4 Terminated Transmission Line; 1.2 Two-Port Network; 1.2.1 Total Quantity Network Parameters
1.2.2 Determination of Z, Y and ABCD Parameters1.2.3 Properties of Z, Y and ABCD Parameters; 1.2.4 Scattering Parameters; 1.2.5 Determination of S-Parameters; 1.2.6 Total Voltages and Currents in Terms of a and b Quantities; 1.2.7 Power in Terms of a and b Quantities; 1.2.8 Signal Flow Chart; 1.2.9 Properties of S-Parameters; 1.2.10 Power Flow in a Terminated Two-Port Network; 1.3 Conversions Between Z, Y and ABCD and S-Parameters; 1.4 Single Impedance Two-Port Network; 1.4.1 S-Parameters for Single Series Impedance; 1.4.2 S-Parameters for Single Shunt Impedance; 1.4.3 Two-Port Chart 1.4.3.1 Single series impedance network1.4.3.2 Single shunt impedance network; 1.4.3.3 Scaling property; 1.4.4 Applications of Two-Port Chart; 1.4.4.1 Identification of pure resonance; 1.4.4.2 Q-factor measurements; 1.4.4.3 Resonance with power-dependent losses; 1.4.4.4 Impedance or admittance measurement using the two-port chart; 1.5 S-Parameters of Common One- and Two-Port Networks; 1.6 Connected Two-Port Networks; 1.6.1 T-Junction; 1.6.2 Cascaded Two-Port Networks; 1.6.3 Two-Port Networks in Series and Parallel Connections 1.7 Scattering Matrix of Microwave Circuits Composed of One-Port and Multi-Port Devices1.7.1 S-Parameters of a Multi-Port Device; 1.7.2 S-Parameters of a Microwave Circuit; References; 2 Introduction to Software VNA; 2.1 How to Install; 2.2 The Software VNA; 2.3 Stimulus Functions; 2.4 Parameter Functions; 2.5 Format Functions; 2.6 Response Functions; 2.7 Menu Block; 2.7.1 Cal; 2.7.2 Display; 2.7.3 Marker; 2.7.4 DeltaM; 2.7.5 Setting; 2.7.6 Copy; 2.8 Summary of Unlabelled-Key Functions; 2.9 Preset; 2.10 Device Under Test; 2.10.1 Device; 2.10.2 Circuit; 2.11 Circuit Simulator 2.11.1 Circuit Menu2.11.2 Device Menu; 2.11.3 Ports Menu; 2.11.4 Connection Menu; 2.12 Circuit Simulation Procedures and Example; 3 Device Builders and Models; 3.1 Lossless Transmission Line; 3.2 One- and Two-Port Standards; 3.3 Discrete RLC Components: One-Port Impedance Load; 3.4 Discrete RLC Components: Two-Port Series Impedance; 3.5 Discrete RLC Components: Two-Port Shunt Admittance; 3.6 General Transmission Line; 3.7 Transmission Line Components: Two-Port Serial Transmission Line Stub; 3.8 Transmission Line Components: Two-Port Parallel Transmission Line Stub 3.9 Ideal Two-Port Components: Attenuator/Gain Block |
Record Nr. | UNINA-9910143739403321 |
Wu Zhipeng
![]() |
||
Chichester ; ; Hoboken, N.J., : John Wiley, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|