Learn IT - Books tags specification

Objects, Components, and Frameworks with UML: The Catalysis(SM) Approach

Addison Wesley, 1998

". . . We found Catalysis to be the first comprehensive object-oriented methodology to unify the concepts of objects, frameworks, and component technologies."
John McGehee, Senior Architect, Texas Instruments Works Project

Objects, Components, and Frameworks with UML: The Catalysis Approach is where you will...

Integrated Frequency Synthesizers for Wireless Systems

Cambridge University Press, 2007

The increasingly demanding performance requirements of communications systems, as well as problems posed by the continued scaling of silicon technology, present numerous challenges for the design of frequency synthesizers in modern transceivers. This book contains everything you need to know for the efficient design of frequency synthesizers for...

Computable Models

Springer, 2009

Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational...

Embedded System Design: Modeling, Synthesis and Verification

Springer, 2009

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level...

Framework Design Guidelines: Conventions, Idioms, and Patterns for Reusable .NET Libraries (2nd Edition)

Addison Wesley, 2008

Framework Design Guidelines, Second Edition, teaches developers the best practices for designing reusable libraries for the Microsoft .NET Framework. Expanded and updated for .NET 3.5, this new edition focuses on the design issues that directly affect the programmability of a class library, specifically its...

The Definitive Guide to Grails

Apress, 2006

Reviewed and endorsed by Guillaume Laforge and Dierk Koenig of Groovy, The Definitive Guide to Grails, by Grails lead Graeme Rocher, is for anyone looking for a more agile approach to web development with a dynamic scripting language such as Groovy. It will show you the new direction web frameworks are taking and specifically how a dynamic...

The Austin Protocol Compiler (Advances in Information Security)

Springer, 2004

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the...

Developing USB PC Peripherals Using Intel 8X930AX USB Microcontroller

Annabooks, 2000

Universal Serial Bus (USB) is one of the most important developments in PC peripheral interconnect technology since the introduction of serial and parallel ports in the early 1980's. It is fast becoming the port of choice for many new digital video conferencing cameras, scanners, monitors, PC telephony equipment, and Human Interface Devices such as...

Restful Java with Jax-RS (Animal Guide)

O'Reilly, 2009

Learn how to design and develop distributed web services in Java using RESTful architectural principals and the JAX-RS specification in Java EE 6. With this hands-on reference, you'll focus on implementation rather than theory, and discover why the RESTful method is far better than technologies like CORBA and SOAP.

It's easy to...

Pro Hibernate 3 (Expert's Voice)

Apress, 2005

Pro Hibernate 3 is the first book to offer complete coverage of the open source lightweight Hibernate 3 and its new features. Authors Dave Minter and Jeff Linwood discuss the new persistence layer and share design tips and best practices. And the duo goes beyond just explaining "how to" use parts of Hibernate; they probe well...

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Addison Wesley, 1994

This text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming...

Ethernet Passive Optical Networks (McGraw-Hill Communications Engineering)

McGraw-Hill, 2005

THE DEFINITIVE GUIDE TO EPON
Written by one of the authors of the IEEE802.3ah standard, this is the first book to fully explain the EPON architecture, analyze its performance, and annotate the standard.

Clearly addressing efficiency, performance, and implementation issues, Ethernet Passive Optical Networks...

Result Page: 43 42 41 40 39 38 37 36 35 34 33 32 31 30