for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
This book has two audiences: the practising Requirements Engineer and the advanced student of software engineering or computer science. This book is complementary to texts on... Læs mere
Outlines and compares various techniques to assess, identify, and manage security risks and vulnerabilities, with step-by-step... Læs mere
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Pro Scalable .NET 2.0 Application Designs explains how to plan and implement .NET 2.0 applications. This book also makes use of the newest version of Web Services Enhancements (WSE 3.0), ensuring you have access to the latest Microsoft standards and advice.
The promise of software factories is to streamline and automate software development, and thus to produce higher-quality software more efficiently.
(And good code is not to be confused with patterns because not all pieces of good code are patterns.) We debate about good code because there is not just a single piece of good code, but so many good pieces of code.