Bücher zur Softwareentwicklung - englischsprachig  (471 Angebote unter 27.647.264 Artikeln)

This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96, held in Linköping, Sweden in April 1996. The 23 revised full papers included were...

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of softwar...

Overview of the reference model.- Application of the reference model.- Users.- Contexts.- Customisation.- Help.- History.- Concurrency.- CRL Object management.- Naming.- Protection.- Shared storage.

This book constitutes the proceedings of the 23rd International Conference on Compiler Construction, CC 2014, which was held as part of the European Joint Conferences on Theory and Practice of Soft...

Computer Programming in C for Beginners

ISO (the International Organization for Standardization) and IEC (the International Electrotechnical 1 Commission) form the specialized system for worldwide standardization. National bodies that ar...

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionalit...

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with IC...

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full p...

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

and general philosophy.- CONLAN concepts and contructs.- Primitive set CONLAN.- Base CONLAN.- Pscl and Bcl syntax.

We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growin...

History and literature review.- Basic elements of the lattice-theoretic approach.- Complementary definitions of a PASCAL subset.- Consistency of the PASCAL subset definitions.- Extensions to the PA...

This book contains thoroughly revised versions of the papers presented at the 1994 Châtillon Spring School held in May 1994. This spring school was the 22nd event in a series of advanced seminars p...

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is...