Search for Topics All Reviews
	Browse All Reviews > Software (D)     Software (D) See Reviews     D.0 General (96) D.1 Programming Techniques   General (373)   Applicative (Functional) Programming (191)   Automatic Programming (48)   Concurrent Programming (431)   Sequential Programming (27)   Object-Oriented Programming (731)   Logic Programming (75)   Visual Programming (71)   Miscellaneous (48) D.2 Software Engineering   General (664)   Requirements/Specifications (16)   Design Tools and Techniques (12)   Coding Tools and Techniques (200)   Software/Program Verification (445)   Testing And Debugging (6)   Programming Environments (14)   Distribution, Maintenance, and Enhancement (239)   Metrics (306)   Management (603)   Design (202)   Software Architectures (370) D.2 Software Engineering (cont.)   Interoperability (83)   Reusable Software (119)   Miscellaneous (94) D.3 Programming Languages   General (147)   Formal Definitions And Theory (3)   Language Classifications (110)   Language Constructs and Features (3)   Processors (8)   Miscellaneous (23) D.4 Operating Systems   General (19)   Process Management (55)   Storage Management (15)   File Systems Management (136)   Communications Management (4)   Reliability (111)   Security and Protection (436)   Organization And Design (4)   Performance (182)   Systems Programs And Utilities (9)   Miscellaneous (28) D.m Miscellaneous (17)               Reviews limited to: All General Terms Algorithms Design Documentation Economics Experimentation Human factors Languages Legal Aspects Management Measurement Performance Reliability Security Standardization Theory Verification     Reviews in category "Software (D)": Large language models: a deep dive: bridging theory and practice Kamath U., Keenan K., Somers G., Sorenson S., Springer International Publishing, Cham, Switzerland, 2024. 495 pp.  Type: Book (9783031656460) Principles of verification: cycling the probabilistic landscape: essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, Part II Kaminski B., Matheja C., Stoelinga M., Volk M., Jansen N., Junges S., Springer International Publishing, Cham, Switzerland, 2024. 395 pp.  Type: Book (9783031757747) Software architecture and decision-making: leveraging leadership, technology, and product management to build great products Perera S., Pearson, Hoboken, NJ, 2023. 208 pp.  Type: Book (9780138249731)  A disruptive research playbook for studying disruptive innovations Storey M., Russo D., Novielli N., Kobayashi T., Wang D. ACM Transactions on Software Engineering and Methodology 33(8): 1-29, 2024.  Type: Article Cyber threat intelligence Lee M., WILEY, Hoboken, NJ, 2023. 304 pp.  Type: Book (9781119861744) more... Related Topics D.1 Programming Techniques   - Data D.1.2 Automatic Programming   - Automatic Programming D.2 Software Engineering   - Software Management D.2.0 General   - Hardware/Software Protection D.2.1 Requirements/Specifications   - Formal Definitions And Theory D.2.4 Software/Program Verification   - Specifying And Verifying And Reasoning About Programs D.2.8 Metrics   - Performance    more
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2025 ThinkLoud® Terms of Use | Privacy Policy