Compiler Technology: Tools, Translators and Language Implementation
ISBN: 9780792380184 / Angielski / Twarda / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.
The focus of Compiler Technology: Tools, Translators and Language Implementation is to enable quick development of analysis tools. Both lexical scanner and parser generator tools are provided... Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, man...
|
|
cena:
576,96 zł |
Applications of Logic Databases
ISBN: 9780792395331 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more...
The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity c...
|
|
cena:
576,96 zł |
Semantic Integration of Heterogeneous Software Specifications
ISBN: 9783540402572 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family. The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of... |
|
cena:
576,96 zł |
Computational Logic
ISBN: 9783540645894 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
|
cena:
576,96 zł |
Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'
ISBN: 9781402079900 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid,...
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of ope...
|
|
cena:
576,96 zł |
Recent Advances in Formal Languages and Applications
ISBN: 9783540334606 / Angielski / Twarda / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
|
cena:
576,96 zł |
Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'
ISBN: 9781441954572 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid,...
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of ope...
|
|
cena:
576,96 zł |
Recent Advances in Formal Languages and Applications
ISBN: 9783642070099 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
|
cena:
576,96 zł |
Compiler Technology: Tools, Translators and Language Implementation
ISBN: 9781461377849 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.
The focus of Compiler Technology: Tools, Translators and Language Implementation is to enable quick development of analysis tools. Both lexical scanner and parser generator tools are provided... Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, man...
|
|
cena:
576,96 zł |
Applications of Logic Databases
ISBN: 9781461359265 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more...
The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity c...
|
|
cena:
576,96 zł |
Process Assessment and Improvement: A Practical Guide
ISBN: 9780387300443 / Angielski / Twarda / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through process assessment, combined with people factors such as organizational culture and team-based improvement. Originally published in 2004 as the first practical guide to the emerging ISO/IEC 15504 standard, this second edition presents an updated version of process assessments and includes new risk methods. The book covers three major business reasons for process assessment: setting Target Profiles, Process Capability Determination, and Process... Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through proces... |
|
cena:
576,96 zł |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9780387401157 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
|
cena:
576,96 zł |
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
ISBN: 9780792395379 / Angielski / Twarda / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current generation of programming environments, including Hewlett-Packard's Softbench, DEC's FUSE, Sun's Tooltalk, Lucid's Energize, and SGI's Codevision. FIELD pioneered the notion of broadcast messaging as a basis for tool integration. Moreover, many of the other tool concepts introduced in FIELD have made their way into these environments. Thus in discussing the FIELD environment, this book actually explains the inner workings of today's programming...
FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current gener...
|
|
cena:
576,96 zł |
Software Architecture: System Design, Development and Maintenance: 17th World Computer Congress – TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture (WICSA3), August 25–30, 2002, Montréal,
ISBN: 9781402071768 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a competitive edge. Consequences of this trend are an increase in: the size of software systems, the variability in software artifacts, and the importance of software in achieving the system-level properties. Software architecture provides the necessary abstractions for managing the resulting complexity. We here introduce the Third Working IEEFlIFIP Conference on Software Architecture, WICSA3. That it is already the third such conference is in...
For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a co...
|
|
cena:
576,96 zł |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9780792396536 / Angielski / Twarda / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
|
cena:
576,96 zł |
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f
ISBN: 9789048193035 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems. FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as... More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about th... |
|
cena:
576,96 zł |
Semantic Integration of Heterogeneous Software Specifications
ISBN: 9783642073069 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different... In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Be... |
|
cena:
576,96 zł |
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f
ISBN: 9789400733336 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems. FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as... More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about th... |
|
cena:
576,96 zł |
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
ISBN: 9781461359302 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current generation of programming environments, including Hewlett-Packard's Softbench, DEC's FUSE, Sun's Tooltalk, Lucid's Energize, and SGI's Codevision. FIELD pioneered the notion of broadcast messaging as a basis for tool integration. Moreover, many of the other tool concepts introduced in FIELD have made their way into these environments. Thus in discussing the FIELD environment, this book actually explains the inner workings of today's programming...
FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current gener...
|
|
cena:
576,96 zł |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9781461368502 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
|
cena:
576,96 zł |