Learn IT - Books tags specification

Plug-In CSS 100 Power Solutions

McGraw-Hill, 2011

When the World Wide Web was first invented by Tim Berners-Lee, simply having a means to create hypertext links to other documents (including ones on remote computers), and to combine text and images using basic formatting, were revolutionary concepts that we take for granted today.

But slowly web developers started...

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Springer, 2007

ETAPS 2007 is the tenth instance of the European Joint Conferences on Theory and Practice of Software, and thus a cause for celebration.

The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and...

Configuration Management Principles and Practice

Addison Wesley, 2002

Configuration management (CM) is an important, but often neglected, practice that allows application developers and project managers to better identify potential problems, manage changes, and track the progress of software projects. An effective CM strategy—one that adheres to the practice's complexity while harnessing its depth—can...

Formal Software Development

Palgrave Macmillan, 2003

This book is intended for final-year undergraduate and postgraduate computing students specializing in the field of software engineering. The text concentrates on the challenges that high integrity software development poses, and how formal methods can help meet these challenges.

Formal methods have long been advocated for the...

Java Servlet Programming, 2nd Edition

O'Reilly, 2001

Since I wrote the first edition of this book, servlets and the server-side Java platform have grown in popularity beyond everyone's wildest expectations. Adoption is pervasive. Web server vendors now offer servlet support as a standard feature. The Java 2, Enterprise Edition (J2EE), specification has included servlets...

Real-Time Systems: Formal Specification and Automatic Verification

Cambridge University Press, 2008

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...

Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)

Oxford University Press, 1994

"The best logic of our time is to be found in computer science departments....Computer scientists (many of whom are former logicians) are developing the logic that really matters, the one that really meets the challenges of today's demands for automated reasoning. This book is a prime example of such triumph of useful logic." --The...

Compiler Specification and Verification (Lecture Notes in Computer Science)

Springer, 1981

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

Model Driven Architecture: Applying MDA to Enterprise Computing

John Wiley & Sons, 2003

Understand how to tap the potential of MDA for your enterprise systems

In this groundbreaking book, David Frankel presents an inside look at Model Driven Architecture (MDA), a rapid software development and integration approach advanced by the OMG that promotes graceful retargeting of software to different platforms. MDA uses UML-based...

Microsoft Windows Server 2003 Deployment Kit: A Microsoft Resource Kit

Microsoft Press, 2003

This volume delivers in-depth deployment planning information for automated installations, multilingual deployments, and compatibility testing along with design information for unattended installations, image-based installations, and (RIS) installations.

Plan, design, and implement automated and customized...

Dependency Injection

Manning Publications, 2009

Dependency Injection is an in-depth guide to the current best practices for using the Dependency Injection pattern-the key concept in Spring and the rapidly-growing Google Guice. It explores Dependency Injection, sometimes called Inversion of Control, in fine detail with numerous practical examples. Developers will learn to apply important...

Software Product Quality Control

Springer, 2013

Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over...

Result Page: 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24