![]() |
Systematisches Testen als analytische Qualitätssicherungsmaßnahme im Software-Entwicklungsprozess (Stand 1995)
ISBN: 9783638955874 / Niemiecki / Miękka / 70 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diplomarbeit aus dem Jahr 1995 im Fachbereich Informatik - Software, Note: 2,25, Hamburger Universitat fur Wirtschaft und Politik, 61 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: In dieser Arbeit werden die Merkmale benannt, die die Qualitat von Software charakterisieren und die Manahmen beschrieben, die zur Qualitatssicherung von Software notwendig sind. Der Schwerpunkt liegt auf dem konventionellen systematischen Testen kommerzieller, modular und strukturiert entwickelter Software. Im Rahmen der analytischen Qualitatssicherung werden Testplanung und Testablauf beschrieben...
Diplomarbeit aus dem Jahr 1995 im Fachbereich Informatik - Software, Note: 2,25, Hamburger Universitat fur Wirtschaft und Politik, 61 Quellen im Liter...
|
cena:
241,05 |
![]() |
Introduction to Process Algebra
ISBN: 9783642085840 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a... Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and ...
|
cena:
202,19 |
![]() |
Robustness and Usability in Modern Design Flows
ISBN: 9789048176625 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today s design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology and ver- cation methodology are analyzed, a number of de?ciencies are identi?ed, and solutions are suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation...
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up wi...
|
cena:
404,42 |
![]() |
Advances in Software Engineering
ISBN: 9783642175770 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the Proceedings of the 2010 International Conference on Advanced Software Engineering and Its Applications (ASEA 2010) - one of the partnering events of the Second International Mega-Conference on Future Generation Information Technology (FGIT 2010). ASEA brings together researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of software engineering, including its links to computational sciences, mathematics and information technology. In total, 1,630 papers were submitted to FGIT 2010 from 30...
Welcome to the Proceedings of the 2010 International Conference on Advanced Software Engineering and Its Applications (ASEA 2010) - one of the partner...
|
cena:
202,19 |
![]() |
Evaluierung des Content Management Systems eZ Publish: Dokumentation für das Fach "Contentmanagementsysteme
ISBN: 9783638921091 / Niemiecki / Miękka / 98 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Studienarbeit aus dem Jahr 2007 im Fachbereich Informatik - Internet, neue Technologien, Note: 1.0, Mediadesign Hochschule fur Design und Informatik GmbH Munchen, 13 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Aufgabe dieser Dokumentation ist es, das Content Management System eZ Publish, sowohl aus theoretischer als auch aus praktischer Sichtweise, vorzustellen. Aus diesem Grund ist ein kom-plettes Kapitel dem praktischen Arbeiten mit eZ Publish gewidmet. Der Abschnitt 2 gibt einen kurzen Systemuberblick mit einigen allgemeinen Informationen wie z. B. den zum Tragen kommenden...
Studienarbeit aus dem Jahr 2007 im Fachbereich Informatik - Internet, neue Technologien, Note: 1.0, Mediadesign Hochschule fur Design und Informatik G...
|
cena:
275,66 |
![]() |
Hector: Heterogeneous Computers Together, a Joint Project of IBM and the University of Karlsruhe Volume II: Basic Projects
ISBN: 9783540191377 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present volume and volume I "Hector: New Ways in Education and Research" present the results of HECTOR, the four year cooperation project between the Univer- sity of Karlsruhe and IBM Germany (represented by the European Networking Center and Scientific Center in Heidelberg as well as IBM Research in Riischlikon). The pro- ject was started in spring 1984 and will end in April 1988 with a congress. This congress addresses the scientific community to present experiences and results with a program of lectures and demonstrations. The HECTOR Project has two major aspects: the first is to...
The present volume and volume I "Hector: New Ways in Education and Research" present the results of HECTOR, the four year cooperation project between ...
|
cena:
404,42 |
![]() |
The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data
ISBN: 9783642055751 / Angielski / Miękka / 506 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is over 20 years since the functional data model and functional programming languages were first introduced to the computing community. Although developed by separate research communities, recent work, presented in this book, suggests there is powerful synergy in their integration. As database technology emerges as central to yet more complex and demanding applications in areas such as bioinformatics, national security, criminal investigations and advanced engineering, more sophisticated approaches like those presented here, are needed. A tutorial introduction by the editors... It is over 20 years since the functional data model and functional programming languages were first introduced to the computing community. Although... |
cena:
606,65 |
![]() |
Maturing Usability: Quality in Software, Interaction and Value
ISBN: 9781849966818 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Maturing Usability" provides an understanding of how current research and practice has contributed towards improving quality issues in software, interaction and value. Divided into three parts, 'Quality in Software' looks at how using development tools can enhance the usability of a system, and how methods and models can be integrated into the process to help develop effective user interfaces. 'Quality in Interaction' addresses theoretical frameworks on the nature of interactions; techniques and metrics for evaluation interaction quality; and the transfer of concepts and methods... "Maturing Usability" provides an understanding of how current research and practice has contributed towards improving quality issues in software, i... |
cena:
606,65 |
![]() |
Linkage in Evolutionary Computation
ISBN: 9783642098765 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, the issue of linkage in GEAs has garnered greater attention and recognition from researchers. Conventional approaches that rely much on ad hoc tweaking of parameters to control the search by balancing the level of exploitation and exploration are grossly inadequate. As shown in the work reported here, such parameters tweaking based approaches have their limits; they can be easily "fooled" by cases of triviality or peculiarity of the class of problems that the algorithms are designed to handle. Furthermore, these approaches are usually blind to the interactions between the... In recent years, the issue of linkage in GEAs has garnered greater attention and recognition from researchers. Conventional approaches that rely mu... |
cena:
606,65 |
![]() |
Rationale-Based Software Engineering
ISBN: 9783642096310 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, can best be documented as the rationale for the system, which will reveal not only what was done during development but the reasons behind the choices made and alternatives considered and rejected. This information becomes increasingly critical as software development becomes more distributed and encompasses the corporate knowledge both used and refined during the development process. The capture of rationale helps to ensure that decisions are... Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, ca... |
cena:
404,42 |
![]() |
Time Granularities in Databases, Data Mining, and Temporal Reasoning
ISBN: 9783642086342 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Calendar units, such as months and days, clock units, such as hours and seconds, and specialized units, such as business days and academic years, play a major role in a wide range of information system applications. System support for reasoning about these units, called granularities in this book, is important for the efficient design, use, and implementation of such applications. The book deals with several aspects of temporal information and provides a unifying model for granularities. It is intended for computer scientists and engineers who are interested in the formal models and technical...
Calendar units, such as months and days, clock units, such as hours and seconds, and specialized units, such as business days and academic years, play...
|
cena:
202,19 |
![]() |
Computational Science and Its Applications - Iccsa 2004: International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV
ISBN: 9783540220602 / Angielski / Miękka / 1023 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b- den of working out suitable tools for solving complex problems. For this reason ComputationalScience, thoughoriginatingfromtheneedtosolvethemostch- lenging problems in science and engineering (computational science is the key player in the ?ght to gain fundamental advances in astronomy, biology, che- stry, environmental science, physics and several other scienti?c and engineering disciplines) is increasingly turning its attention to all ?elds...
The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b-...
|
cena:
404,42 |
![]() |
Development of Trading Systems using Genetic Programming with a Case Study
ISBN: 9783638913829 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diploma Thesis from the year 2007 in the subject Business economics - Banking, Stock Exchanges, Insurance, Accounting, grade: 1,7, University of Hamburg (Department Informatik), 69 entries in the bibliography, language: English, abstract: In this thesis Genetic Programming is used to create trading systems for the EUR/USD foreign exchange market using intraday data. In addition to the exchange rates several moving averages are used as inputs. The developed evolutionary algorithm extends the framework ECJ. The created trading systems are being evaluated by a fitness function that consists of a...
Diploma Thesis from the year 2007 in the subject Business economics - Banking, Stock Exchanges, Insurance, Accounting, grade: 1,7, University of Hambu...
|
cena:
373,84 |
![]() |
Interactive Computation: The New Paradigm
ISBN: 9783642071027 / Angielski / Miękka / 487 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift in technology from main-frame number-crunching to distributed intelligent networks with graphical user interfaces. The book is arranged in four sections: "Introduction," comprising three chapters that explore and summarize the fundamentals of interactive computation; "Theory" with six chapters, each discussing a specific aspect of interaction; "Applications," five chapters showing how this principle is applied in subdisciplines of computer... The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift in... |
cena:
606,65 |
![]() |
Concept for system virtualization in the field of high availability computing
ISBN: 9783638689205 / Angielski / Miękka / 56 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
196,78 |
![]() |
Progress in Materials Analysis: Vol. 1
ISBN: 9783211817599 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 11th Colloquium on Metallurgical Analysis - a joint venture of the Institute of Analytical Chemistry of the Technical University in Vienna, the Austrian Society for Analytical Chemistry and Microchemistry, the German Metals Society (DGM), and the Society of German Iron and Steel Engineers (VDEh) - was attended by 120 scientists from 12 nations. The major topics covered were surface, micro and trace analysis of materials with a heavy emphasis on metals. According to the strategy of the meeting attention was focussed on an interdisciplinary approach to materials science - combining...
The 11th Colloquium on Metallurgical Analysis - a joint venture of the Institute of Analytical Chemistry of the Technical University in Vienna, the Au...
|
cena:
202,19 |
![]() |
Progress in Materials Analysis: Vol. 2
ISBN: 9783211819050 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Vol. 2 of "Progress in Materials Analysis" contains the lectures of the 12th Colloquium on Materials Analysis, Vienna, May 13-15, 1985. Due to the top level international participation from industry and research insti tutions the proceedings offer a survey of the present state and current trends in materials analysis of high actuality. The major topics covered are surface, micro and trace analysis of materials with a special emphasis on metals but also including other materials like ceramics, semiconductors, polymers. According to the strategy of the meeting attention is focussed on an...
Vol. 2 of "Progress in Materials Analysis" contains the lectures of the 12th Colloquium on Materials Analysis, Vienna, May 13-15, 1985. Due to the top...
|
cena:
231,47 |
![]() |
Programmieren in Fortran
ISBN: 9783211824467 / Niemiecki / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fortran gilt nunmehr seit uber drei Jahrzehnten als die Programmiersprache zur Losung technisch-wissenschaftlicher Probleme, was nicht zuletzt auf die stetige Entwicklung der Sprache auf standardisiertem Niveau zuruckzufuhren ist. Das Werk beschreibt die Programmiersprache gemass des jungsten Standards ("Fortran 90"), welcher alle Sprachmerkmale des vorherigen, derzeit noch weltweit im Einsatz befindlichen Standards ("FORTRAN 77") beinhaltet. Da alle neuen wie auch alle uberflussig gewordenen Sprachkonstruktionen im gesamten Verlauf des Buches konsequent gekennzeichnet sind, ist dieses als...
Fortran gilt nunmehr seit uber drei Jahrzehnten als die Programmiersprache zur Losung technisch-wissenschaftlicher Probleme, was nicht zuletzt auf die...
|
cena:
207,85 |
![]() |
Grundbegriffe der Theoretischen Informatik
ISBN: 9783540193623 / Niemiecki / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen, Komplexitat - auf der Basis der Programmiersprache PASCAL motiviert, abgeleitet und in einer einheitlichen Betrachtungsweise dargestellt. Ferner wird die Aquivalenz verschiedener Ansatze zu einer Theorie der Berechenbarkeit - Programme, rekursive Funktionen, Regelsprachen und Turingmaschinen - als weiteres zentrales Konzept herausgestellt. Wahrend in den Kapiteln 1-7 qualitative Aspekte der Berechenbarkeit behandelt...
In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelspra...
|
cena:
207,85 |
![]() |
Hochleistungsrechnen Mit Hpf
ISBN: 9783540423669 / Niemiecki / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Moderne Hochleistungsrechner mit akzeptablem Programmieraufwand effizient zu nutzen, erfordert eine hohere Programmiersprache. High Performance Fortran (HPF), ein De-facto-Standard im Bereich des Hochleistungsrechnens, ermoglicht die Programmierung von Parallelrechnern auf einer sehr hohen und damit benutzerfreundlichen Abstraktionsebene bei gleichzeitiger Erzielung hoher Laufzeiteffizienz.
Das vorliegende Buch gibt eine Einfuhrung in den Bereich des Hochleistungsrechnens und beschreibt den aktuellen Stand der Entwicklungen bei HPF. Es bietet Programmierern von Hochleistungsrechnern und... Moderne Hochleistungsrechner mit akzeptablem Programmieraufwand effizient zu nutzen, erfordert eine hohere Programmiersprache. High Performance Fortra...
|
cena:
226,78 |