Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Putting Metaclasses to Work
Metaclasses offer great promise to the world of object-oriented programming The authors present a specific "instruction set" for programming metaclasses and use this set to illustrate how metaclasses fit into the object-oriented programming paradigm.
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a ‘practical theory’ may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that ‘theoretically’ is synonymous to ‘not really’. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this tw...
CONCUR '91
CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science.
Transputer Applications and Systems '94
Proceedings -- Parallel Computing.
CONCUR ...
None
Reflection and Software Engineering
This book presents the state of the art of research and development of computational reflection in the context of software engineering. Reflection has attracted considerable attention recently in software engineering, particularly from object-oriented researchers and professionals. The properties of transparency, separation of concerns, and extensibility supported by reflection have largely been accepted as useful in software development and design; reflective features have been included in successful software development technologies such as the Java language. The book offers revised versions of papers presented first at a workshop held during OOPSLA'99 together with especially solicited contributions. The papers are organized in topical sections on reflective and software engineering foundations, reflective software adaptability and evolution, reflective middleware, engineering Java-based reflective languages, and dynamic reconfiguration through reflection.
Formal Description Techniques, IV
Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on safety-critical system development. Standard documents are also becoming increasingly formalised in order to capture notions precisely and unambiguously. This FORTE '91 proceedings volume has focussed on the standardised languages SDL, Estelle and LOTOS while, as with earlier conferences, remaining open to other notations and techniques, thus encouraging the continuous evolution of formal techniques. This useful volume contains 29 submitted papers, three invited papers, four industry reports, and four tool reports organised to correspond with the conference sessions.
Fluent Python
Python’s simplicity lets you become productive quickly, but this often means you aren’t using everything it has to offer. With this hands-on guide, you’ll learn how to write effective, idiomatic Python code by leveraging its best—and possibly most neglected—features. Author Luciano Ramalho takes you through Python’s core language features and libraries, and shows you how to make your code shorter, faster, and more readable at the same time. Many experienced programmers try to bend Python to fit patterns they learned from other languages, and never discover Python features outside of their experience. With this book, those Python programmers will thoroughly learn how to become pro...
Software Architecture
This book constitutes the refereed proceedings of the First European Workshop on Software Architecture, EWSA 2004, held in St Andrews, Scotland, UK in May 2004 in conjunction with ICSE 2004. The 9 revised full research papers, 4 revised full experience papers, and 6 revised position papers presented together with 5 invited presentations on ongoing European projects on software architectures were carefully reviewed and selected from 48 submissions. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.
Structured Documents
This volume explores the structured representation of documents in computer document preparation systems. Using this approach to documents allows their logical structure to be represented both descriptively and analytically. Papers from major authorities in the field have been selected to form a unified whole. The book presents various models that can be used for representing documents within electronic publishing software and shows the advantages that can be drawn from a high level representation. Viewpoints of the typographer, linguist, and computer scientist are provided.
