Search results for “[subject: software-development-engineering-tools]”

• Author(s): Bernhard Turban • Publisher: Springer • Publisher Imprint: Springer Vieweg • BISAC: Interactive & MultimediaFrom the Back CoverProcesses for developing safety-critical systems impose special demands on ensuring requirements trace...

• Author(s): James C. P. Woodcock | Peter G. Larsen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe last few years have borne witness to a remarkable diversity of formal methods, wi...

• Author(s): Marco Benini • Publisher: Lulu.com • Publisher Imprint: Lulu.com • BISAC: GeneralStarting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer p...

• Author(s): Qiao Liang • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • BISAC: Software Development & Engineering - Project ManagementThe agile transformation is an act of transforming an organization's form or nature gradu...

• Author(s): Patrick Hamilton • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralSeit Jahrzehnten ist die Softwareentwicklung in der Krise. Laut aktuellen Statistiken, gehen immer noch meh...

• Author(s): Joe Sweeney | Randal Root • Publisher: Apress • Publisher Imprint: Apress • BISAC: Software Development & Engineering - Quality Assurance & TesIf you're a tester or work in a light-programming capacity, then this comprehensiv...

• Author(s): Michel R. V. Chaudron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book constitutes the refereed proceedings of the 11th International ACM SIGSOF...

• Author(s): Iouliia Skliarova • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralReconfigurable devices and design tools.- Architectures of FPGA-based hardware accelerators and design techniques.- Hardwa...

• Author(s): Christoph Czernohous • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThema dieser fundierten Einf�hrung ist der Einsatz von Linux in rechnergest�tzten t...

• Author(s): Jason Swett • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Software Development & Engineering - Quality Assurance & TesAlong with practices like object-oriented programming and vers...

• Author(s): Splash 10 Committee • Publisher: ACM • Publisher Imprint: ACM • BISAC: Computer ScienceSPLASH's mission is to engage software innovators from all walks of life -- developers, academics and undeclared -- in conversations about betteri...

• Author(s): Jeffrey Arnold • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiField-Programmable Custom Computing Technology: Architectures, Tools, and Applications b...

• Author(s): Rafal Świdziński • Publisher: Packt Publishing • Publisher Imprint: Packt Publishing • BISAC: Software Development & Engineering - ToolsWrite comprehensive, professional-standard CMake projects and ensure the quality and simplici...

• Author(s): Amara Hawthorn • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Software Development & Engineering - Tools

• Author(s): Trevy Burgess • Publisher: Lulu.com • Publisher Imprint: Lulu.com • BISAC: Engineering (General)This book will present the Nuts and bolts (Design patterns) needed to create a solution that can blow the socks of any customer. In the b...

• Author(s): Bianca Mateo • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: GeneralStep into the future of software development with Mastering Vibe Coding, a groundbreaking guide that blends the best of tr...

• Author(s): John Fitzgerald • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 201...

• Author(s): Greyson Chesterfield • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Distributed Systems - Cloud ComputingUnlock the full potential of DevOps with CI/CD Pipelines with GitHub Actions-your es...

• Author(s): Ed Hild • Publisher: Apress • Publisher Imprint: Apress • BISAC: Software Development & Engineering - GeneralMicrosoft SharePoint products and technologies have become increasingly popular as a collaboration solution for organiza...

• Author(s): John Ferguson Smart • Publisher: O'Reilly Media • Publisher Imprint: O'Reilly Media • BISAC: Software Development & Engineering - ToolsLearn how to automate your build, integration, release and deployment process with Jenkins, th...

• Author(s): Qiao Liang • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • BISAC: Software Development & Engineering - Project ManagementThe agile transformation is an act of transforming an organization's form or nature gradu...

• Author(s): Rostislav Yavorskiy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods ...

• Author(s): Walter Kropatsch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsA broad-ranging technical survey of computational and analytical methods and tools for digital im...

• Author(s): Jude Max • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Software Development & Engineering - GeneralAre you ready to launch a cloud engineering career but feel overwhelmed by the endles...

• Author(s): Jim Lewis • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Human-Computer Interaction (HCI)AI Advanced Coding Adaptable Structures: Building Scalable, Intelligent, and Self-Optimizing Systems...

• Author(s): Frank S. De Boer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFormal methods have been applied successfully to the verification of medium-sized programs in protocol and ...

• Author(s): Pierpaolo Ruttico • Publisher: Springer • Publisher Imprint: Springer • BISAC: Construction - Heating, Ventilation & Air ConditioningFrom the Back CoverThis book provides a clear picture of how computational processes are gradual...

• Author(s): Dave Thomas • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, E...

• Author(s): Evelyn McKnight • Publisher: Evelyn McKnight • Publisher Imprint: Evelyn McKnight • BISAC: Acoustics & SoundEmbark on a journey to master the art of component-based software development with "COMComponentConstruction: Advanced Te...

• Author(s): Rolf F. Schmidt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Development - Business DevelopmentFrom the Back CoverThis book documents the development of a concurrent CAD system that allows several designers to work to...

• Author(s): Matthew J. Gebhardt • Publisher: Hutson Street Press • Publisher Imprint: Hutson Street Press • BISAC: Engineering (General)Currently, no standard methodology exists that enables cockpit display engineers to evaluate software tools u...

• Author(s): Matt Watson • Publisher: Independently Published • Publisher Imprint: Independently Published • Subject: Computer Science and Information Technology • BISAC: Technology And EngineeringEngineering isn't broken because people stopped c...

• Author(s): Holger Giese • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiArchitecting critical systems has gained major importance in commercial, governmental, and ...

• Author(s): Tutorial Books • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • Subject: Engineering • BISAC: Design, Graphics & Media - CAD-CAMIf you like to learn by do...