» książki » Computers - Programming - General
topmenu
 |
Tool-supported Refactoring of Aspect-oriented Programs - Why Aspect-oriented Programming Prevents Developers from Using Their Favorite Refactoring Too
ISBN: 9783836489997 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Aspect-oriented programming (AOP) offers a new concept for improving the modularity of crosscutting concerns. The advanced composition mechanisms introduced for realizing this concept cause serious software evolution problems and prevent in particular tool-supported refactoring of aspect-oriented programs. This dissertation presents an approach to refactoring that uses change impact analysis techniques to verify the validity of behavioral compositions in aspect-oriented programs. It shows how the refactoring process can be extended to detect invalidated compositions and to adjust their...
Aspect-oriented programming (AOP) offers a new concept for improving the modularity of crosscutting concerns. The advanced composition mechanisms intr...
|
cena:
352,54 |
 |
The SPIN Verification System
ISBN: 9780821806807 / Angielski / Twarda / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What is SPIN? SPIN is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code. The verifier can check for basic correctness properties, such as absence of deadlock and race conditions, logical completeness, or unwarranted assumptions about the relative speeds of processes. It can also check for more subtle, system dependent correctness properties expressed...
What is SPIN? SPIN is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect des...
|
cena:
308,55 |
 |
Formal Software Development: From VDM to Java
ISBN: 9780333992814 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout, and is supported by a dedicated web site.
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It ass...
|
cena:
360,83 |
 |
The Optimal Implementation of Functional Programming Languages
ISBN: 9780521621120 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This work, the first on the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The...
All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implement...
|
cena:
377,50 |
 |
A Unifying Framework for Structured Analysis and Design Models
ISBN: 9780521391962 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how...
Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of mod...
|
cena:
516,69 |
 |
Logical Frameworks
ISBN: 9780521413008 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application o...
|
cena:
423,85 |
 |
Human-Machine Reconfigurations: Plans and Situated Actions
ISBN: 9780521858915 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This 2007 book considers how agencies are currently figured at the human-machine interface, and how they might be imaginatively and materially reconfigured. Contrary to the apparent enlivening of objects promised by the sciences of the artificial, the author proposes that the rhetorics and practices of those sciences work to obscure the performative nature of both persons and things. The question then shifts from debates over the status of human-like machines, to that of how humans and machines are enacted as similar or different in practice, and with what theoretical, practical and political...
This 2007 book considers how agencies are currently figured at the human-machine interface, and how they might be imaginatively and materially reconfi...
|
cena:
345,02 |
 |
THEORY OF BEST APPROXIMATION AND FUNCTIONAL ANALYSIS
ISBN: 9780898710106 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents results and problems in the modern theory of best approximation, in which the methods of functional analysis are applied in a consequent manner.
Presents results and problems in the modern theory of best approximation, in which the methods of functional analysis are applied in a consequent mann...
|
cena:
254,68 |
 |
Unfoldings: A Partial-Order Approach to Model Checking
ISBN: 9783540774259 / Angielski / Twarda / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based... Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in fin... |
cena:
401,58 |
 |
On-Line Monitoring Systems & Computer Tool Interoperability
ISBN: 9781590338889 / Angielski / Twarda / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents new results in the construction and methodology of tools to support the development of parallel programs. It focuses on tools for debugging and performance analysis. We can observe two major trends in recent years: on one hand, tool developers want to solve the problem of tool interoperability. This question is crucial for application developers as they want to apply different tools from different producers to their programs at the same time. An infrastructure that provides interoperability could allow us to see synergetic effects when using multiple tools, thus increasing...
This book presents new results in the construction and methodology of tools to support the development of parallel programs. It focuses on tools for d...
|
cena:
386,87 |
 |
Semantics of Programming Languages and Model Theory
ISBN: 9782881249358 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
734,66 |
 |
Systolic Algorithms
ISBN: 9782881248047 / Angielski / Twarda / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While the architecture of present-day parallel supercomputers is largely based on the concept of a shared memory, with its attendant limitations of common access, advances in semicoductor technology have led to the development of highly parellel computer architectures with decentralized storage and limited connections in which each processor possesses high bandwidth local memory connected to a small number of such architectures, enabling cost-effective high-speed parallel processing for large volumes of data, with ultra-high throughput rates. Algorithms suitable for implementation on... While the architecture of present-day parallel supercomputers is largely based on the concept of a shared memory, with its attendant limitations of... |
cena:
352,59 |
 |
Collision-Based Computing
ISBN: 9781852335403 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Collision-Based Computing presents a unique overview of computation with mobile self-localized patterns in non-linear media, including computation in optical media, mathematical models of massively parallel computers, and molecular systems.
It covers such diverse subjects as conservative computation in billiard ball models and its cellular-automaton analogues, implementation of computing devices in lattice gases, Conway's Game of Life and discrete excitable media, theory of particle machines, computation with solitons, logic of ballistic computing, phenomenology of computation, and... Collision-Based Computing presents a unique overview of computation with mobile self-localized patterns in non-linear media, including computat...
|
cena:
401,58 |
 |
Advanced Information Systems Engineering: 15th International Conference, Caise 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings
ISBN: 9783540404422 / Angielski / Miękka / 744 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the refereed proceedings of the 15th International Conference on Advanced Information Systems Engineering, CaiSE 2003, held in Klagenfurt, Austria in June 2003. The 45 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 219 submissions. The papers are organized in topical sections on XML, methods and models for information systems, UML, Internet business and social modeling, peer-to-peer systems, ontology-based methods, advanced design of information systems, knowledge, knowledge...
This book constitutes the refereed proceedings of the 15th International Conference on Advanced Information Systems Engineering, CaiSE 200... |
cena:
401,58 |
 |
Software Engineering for Manufacturing Systems: Methods and Case Tools
ISBN: 9780412784606 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing...
Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In...
|
cena:
803,21 |
 |
A Second Course in Formal Languages and Automata Theory
ISBN: 9780521865722 / Angielski / Twarda / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes. Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method, are covered here. The author...
Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics ...
|
cena:
284,70 |
 |
Beyond Two: Theory and Applications of Multiple-Valued Logic
ISBN: 9783790815412 / Angielski / Twarda / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. M...
|
cena:
602,40 |
 |
Collaborative Programming on the Internet: Environments
ISBN: 9783639012422 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
352,54 |
 |
Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings
ISBN: 9783540877295 / Angielski / Miękka / 445 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. Recent technological advances have enabled the large-scale adoption of d- grams in a diverse range of areas. Increasingly sophisticated visual represen- tions are emerging and, to enable e?ective communication, insight is required into how diagrams are used and when they are appropriate for use. The per- sive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of...
Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. Rece...
|
cena:
200,77 |
 |
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, Usa, April 8-10, 1987 Proceedings
ISBN: 9783540190202 / Angielski / Miękka / 640 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from...
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Or...
|
cena:
200,77 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
