Pro Jakarta EE 10 [[electronic resource] ] : Open Source Enterprise Java-based Cloud-native Applications Development / / by Peter Späth |
Autore | Späth Peter |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
Descrizione fisica | 1 online resource (484 pages) |
Disciplina | 060 |
Soggetto topico |
Programming languages (Electronic computers)
Compilers (Computer programs) Computer programming Internet programming Big data Programming Language Compilers and Interpreters Programming Techniques Web Development Big Data |
Soggetto non controllato |
Computer Programming
Internet Programming Java (Computer Program Language) Computers |
ISBN |
9781484282144
9781484282137 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Development Workflow -- 1: Installing a Development Server -- 2: Creating and Building Projects With Eclipse -- 3: Development With NetBeans as IDE -- 4: Git and Subversion -- 5: Continuous Integration -- 6: Corporate Maven Repositories -- Part II: Advanced Web Tier Topics -- 7: Facelets -- 8: Faces Custom Components -- 9: Flows -- 10: Websockets -- 11: Frontend Technologies -- 12: Form-based Authentication -- 13: Client Certificates -- 14: REST Security -- 15: Java MVC -- Part III: Advanced Architecture-related Topics16: Microprofiles -- 17: Custom CDI -- 18: Interceptors -- 19: Bean Validation -- 20: Jakarta EE Concurrency -- 21: Batch Processing -- Part IV: Useful Supporting Technologies -- 22: XML Binding -- 23: JSON Handling -- 24: Jakarta Mail -- 25: Application Client (Groovy) -- 26: Adding Scripting Languages -- Part V: Advanced Resources-related Topics -- 27: Hibernate as ORM -- 28: Connectors -- 29: Caching -- 30: NoSQL -- Part VI: Security Enhancements -- 31: Secured JMX -- 32: Java Web Tokens with Encryption -- 33: Java Enterprise Security -- Part VII: Advanced Monitoring and Logging -- 34: Monitoring Workflow -- 35: Logging Pipeline with Fluentd -- 36: Performance Troubleshooting -- 37: Garbage Collection -- 38: Memory Troubleshooting -- 39: Custom Log4j Appender. |
Record Nr. | UNINA-9910728385403321 |
Späth Peter
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Basics [[electronic resource] ] : Getting Started with Java, C#, and Python / / by Robert Ciesla |
Autore | Ciesla Robert |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2021 |
Descrizione fisica | 1 online resource (173 pages) |
Disciplina | 001.642 |
Soggetto topico |
Python (Computer program language)
Java (Computer program language) C# (Computer program language) Programming languages (Electronic computers) Computer science Computer programming Python Java C++ Programming Language Computer Science Programming Techniques |
ISBN | 1-4842-7286-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Wet Toes: The Very Basics of Programming -- 2. Java, C#, and Python 101 -- 3. Setting up your Programming Environments -- 4. Object-Oriented Programming (OOP) -- 5. File Operations, Multithreading, and Other Wonders of Java -- 6. And Now for Something Completely Different: Python -- 7. Calendars, Culture, and Multithreading in C#: A jack of most programming tasks -- 8. Graduation Day: Slightly Larger Programming Projects -- 9. UML Class Diagrams. |
Record Nr. | UNINA-9910502621903321 |
Ciesla Robert
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Heterogeneous Hardware via Managed Runtime Systems [[electronic resource] /] / by Juan Fumero, Athanasios Stratikopoulos, Christos Kotselidis |
Autore | Fumero Juan |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (147 pages) |
Disciplina | 005.13 |
Altri autori (Persone) |
StratikopoulosAthanasios
KotselidisChristos |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computers Java (Computer program language) Python (Computer program language) Programming Language Computer Hardware Java Python |
ISBN | 3-031-49559-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Heterogeneous Hardware -- 3. Heterogeneous Programming Models -- 4. Managed Runtime Environments -- 5. Programming Heterogeneous Hardware via Managed Runtime Systems -- 6. Conclusions. |
Record Nr. | UNINA-9910847581503321 |
Fumero Juan
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Stephanie Weirich |
Autore | Weirich Stephanie |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (351 pages) |
Disciplina | 005.45 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Compilers (Computer programs)
Programming languages (Electronic computers) Compilers and Interpreters Programming Language |
ISBN | 3-031-57262-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Effects and Modal Types -- Scoped Effects as Parameterized Algebraic Theories -- Intersection Types, Relationally -- Modal Type Theory: Where Meta-programming Meets Intentional Analysis -- Program Synthesis from Graded Types -- Bidirectional Typing and Session Types -- A Formal Treatment of Bidirectional Typing -- Generic bidirectional typing for dependent type theories -- Artifact report: Generic bidirectional typing for dependent type theories -- Deciding Subtyping for Asynchronous Multiparty Sessions -- The Session Abstract Machine -- Dependent Types -- Trocq: Proof Transfer for Free, With or Without Univalence -- Artifact report: Trocq: Proof Transfer for Free, With or Without Univalence -- Observational Equality Meets CIC -- Definitional Functoriality for Dependent (Sub)Types -- Artifact report: Definitional Functoriality for Dependent (Sub)Types. |
Record Nr. | UNISA-996594169603316 |
Weirich Stephanie
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Stephanie Weirich |
Autore | Weirich Stephanie |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (351 pages) |
Disciplina | 005.45 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Compilers (Computer programs)
Programming languages (Electronic computers) Compilers and Interpreters Programming Language |
ISBN | 3-031-57262-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Effects and Modal Types -- Scoped Effects as Parameterized Algebraic Theories -- Intersection Types, Relationally -- Modal Type Theory: Where Meta-programming Meets Intentional Analysis -- Program Synthesis from Graded Types -- Bidirectional Typing and Session Types -- A Formal Treatment of Bidirectional Typing -- Generic bidirectional typing for dependent type theories -- Artifact report: Generic bidirectional typing for dependent type theories -- Deciding Subtyping for Asynchronous Multiparty Sessions -- The Session Abstract Machine -- Dependent Types -- Trocq: Proof Transfer for Free, With or Without Univalence -- Artifact report: Trocq: Proof Transfer for Free, With or Without Univalence -- Observational Equality Meets CIC -- Definitional Functoriality for Dependent (Sub)Types -- Artifact report: Definitional Functoriality for Dependent (Sub)Types. |
Record Nr. | UNINA-9910847596103321 |
Weirich Stephanie
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Stephanie Weirich |
Autore | Weirich Stephanie |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (462 pages) |
Disciplina | 005.13 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Compilers (Computer programs) Programming Language Compilers and Interpreters |
ISBN | 3-031-57267-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping -- Verification -- A Denotational Approach to Release/Acquire Concurrency -- Intel PMDK Transactions: Specification, Validation and Concurrency -- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake -- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages -- Higher-Order LCTRSs andTheir Termination -- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture -- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation -- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law . |
Record Nr. | UNINA-9910847392803321 |
Weirich Stephanie
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Stephanie Weirich |
Autore | Weirich Stephanie |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (462 pages) |
Disciplina | 005.13 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Compilers (Computer programs) Programming Language Compilers and Interpreters |
ISBN | 3-031-57267-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping -- Verification -- A Denotational Approach to Release/Acquire Concurrency -- Intel PMDK Transactions: Specification, Validation and Concurrency -- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake -- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages -- Higher-Order LCTRSs andTheir Termination -- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture -- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation -- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law . |
Record Nr. | UNISA-996594169503316 |
Weirich Stephanie
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software, System, and Service Engineering [[electronic resource] ] : S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers / / edited by Aleksander Jarzębowicz, Ivan Luković, Adam Przybyłek, Mirosław Staroń, Muhammad Ovais Ahmad, Mirosław Ochodek |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (XIII, 153 p. 54 illus., 34 illus. in color.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering Programming Language Programming Techniques |
ISBN | 3-031-51075-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- 24th Conference on Practical Aspects of and Solutions for Software Engineering (KKIO 2023) -- A Proposal for Functional Software Identification Using Risk-Based Continuous Quality Control -- 1 Introduction -- 2 Background and Related Work -- 2.1 Active Automata Learning -- 2.2 Active Continuous Quality Control (ACQC) -- 2.3 Risk-Based Testing via Active Continuous Quality Control -- 2.4 Software Risk Assessment in Legal Metrology -- 3 Modelling Measuring Systems as Deterministic Finite Automata -- 4 Risk-Based Continuous Quality Control for Measuring Systems -- 5 Developed Learning Algorithm Framework and Implemented Test Case Evaluation -- 6 Exemplary Evaluation -- 6.1 Taximeter as a Complex DFA -- 6.2 Non-critical and Critical Model Changes -- 6.3 Necessary Discovery of State Correspondences -- 6.4 Analysis of the Example -- 7 Summary -- 8 Symbols and Notations -- References -- A Reusability-Oriented Use-Case Model: Textual Specification Language -- 1 Introduction -- 2 Language Genesis and Related Work -- 2.1 Use-Case Description Structure -- 2.2 Steps Numbering -- 2.3 Action Specification -- 2.4 Loops -- 2.5 Final States and Post-conditions -- 2.6 Use-Case Relationship Constructs -- 2.7 Interruptions -- 2.8 Overriding Actions -- 2.9 Event-Driven and Action-Driven Support -- 2.10 Complexity Management with Subflows -- 3 UCFL Metamodel -- 3.1 UCFL Containers -- 3.2 UCFL Container Elements -- 3.3 Range -- 3.4 Loop Type -- 3.5 Loop Region -- 3.6 Actions -- 3.7 Interruptible Regions -- 3.8 Use-Case Generalization Relationship -- 4 T-UCFL Informal Description -- 4.1 T-UCFL Containers -- 4.2 T-UCFL Container Elements -- 4.3 Range -- 4.4 Loop Type -- 4.5 Loop Region -- 4.6 Actions -- 4.7 Interruptible Regions -- 5 Example Specification -- 6 Results -- 6.1 Steps Numbering -- 6.2 Use-Case Relationships.
6.3 Iteration Scope -- 6.4 Subflow -- 6.5 Interruptible Regions -- 6.6 Overriding Action -- 6.7 Triggers -- 6.8 Basic Reusability Mechanisms -- 7 Summary -- References -- Nexus Between Psychological Safety and Non-Technical Debt in Large-Scale Agile Enterprise Resource Planning Systems Development -- 1 Introduction -- 2 Background -- 2.1 Large-Scale Agile -- 2.2 Technical and Non-Technical Debt -- 2.3 Psychological Safety -- 3 Research Settings -- 4 Results -- 4.1 Leadership Role -- 4.2 Cultivating Trusting and Respectful Interpersonal Relationships -- 4.3 Brain Drain -- 4.4 Designing a Team for Learning -- 5 Threats to Validity and Limitations -- 6 Discussion -- 7 Conclusion -- 8 Future Research Directions -- References -- An Association Rule Mining for Selection Requirement Elicitation and Analysis Techniques in IT Projects -- 1 Introduction -- 2 Problem Statement -- 3 The Best Existing Solution -- 4 The Proposed Solution -- 5 Details of the Proposed Solution -- 5.1 Association Rule Mining -- 5.2 Apriori Algorithm -- 5.3 Choosing Hyperparameters -- 5.4 Conditions of the Analysis to Follow -- 6 Analysis -- 6.1 Input Data -- 6.2 (Project Context ⇒ Elicitation Techniques) Rules Analysis -- 6.3 (Project Context⇒Modeling Techniques) Rules Analysis -- 7 Conclusion -- References -- Track on Software, System and Service Engineering (S3E 2023) -- Exploring Relationships Between Data in Enterprise Information Systems by Analysis of Log Contents -- 1 Introduction -- 2 Problem Statement -- 3 Proposed Method -- 3.1 Method Overview -- 3.2 Token Embedding -- 3.3 Embedding Optimization -- 3.4 Token Filtering -- 3.5 Graph Estimate Construction -- 4 Method Evaluation -- 4.1 Dataset Overview -- 4.2 Evaluation Criteria -- 4.3 Results -- 4.4 Suggested Logging Practices for Developers -- 4.5 Threats to Validity -- 5 Related Work -- 6 Conclusions and Future Work. References -- 8th Workshop on Advances in Programming Languages (WAPL 2023) -- Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions -- 1 Introduction -- 2 Background -- 3 Compile Time Parallelism -- 3.1 The Parallelisation Process -- 3.2 The Intrinsic Functions -- 3.3 An Example Constexpr Parallel Function -- 4 The C'est Library -- 5 Parallelism Benchmarking -- 5.1 Timing Compile Time Performance -- 5.2 Mandelbrot -- 5.3 BlackScholes -- 5.4 N-Body -- 5.5 Swaptions -- 5.6 SYCL Edge Detection -- 5.7 Benchmark Comparison -- 6 Conclusion -- A Intrinsic Functions Table -- References -- Author Index. |
Record Nr. | UNINA-9910799487903321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Spring Boot 3 Recipes [[electronic resource] ] : A Problem-Solution Approach for Java Microservices and Cloud-Native Applications / / by Marten Deinum |
Autore | Deinum Marten |
Edizione | [2nd ed. 2024.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 |
Descrizione fisica | 1 online resource (517 pages) |
Disciplina | 005.133 |
Soggetto topico |
Java (Computer program language)
Programming languages (Electronic computers) Computer science Java Programming Language Computer Science |
ISBN | 979-88-6880-113-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Spring Boot Introduction -- 2. Spring Boot - Basics -- 3. Spring MVC -- 4. WebFlux -- 5. Spring Security -- 6.Spring Boot - Data Access -- 7. Java Enterprise Services -- 8. Spring Messaging -- 9. Spring Boot - Actuator -- 10.Spring Boot - Packing. |
Record Nr. | UNINA-9910845485703321 |
Deinum Marten
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Spring Quick Reference Guide [[electronic resource] ] : A Pocket Handbook for Spring Framework, Spring Boot, and More / / by Adam L. Davis |
Autore | Davis Adam L. |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2020 |
Descrizione fisica | 1 online resource (XV, 253 p. 43 illus.) |
Disciplina | 005.133 |
Soggetto topico |
Programming languages (Electronic computers)
Compilers (Computer programs) Computer programming Programming Language Compilers and Interpreters Programming Techniques |
ISBN | 1-4842-6144-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Overview -- 3. Dependency Injection -- 4. XML Configuration -- 5. Spring AOP -- 6. Spring Data -- 7. Spring MVC -- 8. Spring Mobile -- 9. Spring Security -- 10. Spring Web Services -- 11. Spring REST -- 12. Reactor -- 13. Spring Integration -- 14. Spring Batch -- 15. Spring Boot -- 16. Spring Boot Actuator -- 17. Spring WebFlux -- 18. Spring Cloud. |
Record Nr. | UNINA-9910427054503321 |
Davis Adam L.
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|