Formal engineering methods are changing the way that software systems are developed.
With language and tool support, they are being used for automatic code
generation, and for the automatic abstraction and checking of implementations.
In the future, they will be used at every stage of development: requirements,
specification,...
In the summer of 1997, I was terrified. Instead of working as an intern in my major (microelectronic engineering), the best job I could find was at a research laboratory devoted to high-speed signal processing. My job was to program the two-dimensional fast Fourier transform (FFT) using C and the Message Passing Interface...
This edition differs from its predecessor in a number of ways. The overall objective remains the same, of course—
using SQL relationally is still the emphasis—but the text has been revised throughout to reflect, among other things,
experience gained from teaching live seminars based on the first edition.
This is an unconventional book for an unconventional reader. It is intended
for those professionals who, in addition to their specialized knowledge,
would like to get a handle on life so they may put their special text into its
proper context. It speaks to those thinkers and practitioners who have
come to realize that learning to be...
This earliest recorded attempt to regulate the engineering profession reminds
us, in the bluntest way possible, that the paramount purpose of engineering and
engineering design is to serve the user. One would assume that the engineer’s
responsibility to users is so self evident that it goes without saying. Various
professional...
UMTS is real. In a continuously growing number of countries we can walk in the stores of
mobile network operators or resellers and take UMTS PC cards or even third-generation (3G)
phones home and use them instantly. Every day the number of equipments and their feature
sets gets broader. The “dream” of multimedia on mobile...
Two experienced HR communications consultants show how to dramatically improve the effectiveness of every HR message. HR professionals know their programs are pivotal to organizational success, but they also know how difficult it is to communicate those programs effectively. Hampered by legal restrictions, highly complex...
This book is written for those who are about to use their fi rst home computer or
those who have yet to explore the wider opportunities afforded by a computer
beyond searching the Internet and sending the occasional email message. You
have my word that there will be very few acronyms and those that do appear will
be fully explained in...
This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
Welcome to Twitter, the Social Networking site that was called “utterly
devoid of any sort of merit” by New Zealand Herald’s Canvas Magazine,
(June 6, 2009) in the same week it appeared on the cover of TIME
Magazine as “a powerful form of communication” and “the future of
American innovation.”...
Event-based distributed systems are playing an ever increasing role in
areas such as enterprise management, information dissemination, finance,
environmental monitoring and geo-spatial systems. Event-based processing
originated with the introduction of Event-Condition-Action (ECA) rules to
database systems in the 1980s. Since then,...
The release of SQL Server 2008 R2 Master Data Services is the beginning
of a new, more accessible era for master data management. Because of price
and complexity, most solutions on the market today are geared toward large
corporations and require dedicated consulting teams to implement. MDS, a feature of
SQL Server Enterprise Edition,...
