Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesond...
详细信息
ISBN:
(数字)9783642558184
ISBN:
(纸本)9783540436218
Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere für Anfänger, aber auch für alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten möchten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch große Systeme entwerfen und handhaben zu können. Am Beispiel der modernen Programmiersprachen Opal, ML, Haskell und Gofer werden sowohl elementare als auch weiterführende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen und nicht vollständige Sprachbeschreibungen.
This volume of LNICST is a collection of the papers of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). The event took place in the medieval city of A...
详细信息
ISBN:
(数字)9783642128080
ISBN:
(纸本)9783642128073
This volume of LNICST is a collection of the papers of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). The event took place in the medieval city of Avignon, known also as the City of the Popes, during December 9 to 11, 2009. Bionetics main objective is to bring b- inspired paradigms into computer engineereing and networking, and to enhance the fruitful interactions between these fields and biology. The program of the conference indeed includes applications of various paradigms that have their origin in biology: population dynamics, branching processes, ant c- ony optimization. The proceedings include 19 papers covering a broad range of - portant issues in areas related to bio-inspired technologies. They correspond to pr- entations at 6 technical sessions. Four papers correspond to an invited session on the Epidemic-type forwarding in DTNs (sparse mobile ad-hoc wireless networks) org- ized by Dr Francesco De Pellegrini, (Italy, CREATE-NET). The following 9 papers (selected out of 15 submissions) correspond to contributions to regular sessions on Bio-inspired security, Bio-Inspired Networking, Bioinspired algorithms and software systems. The remaining 6 papers (selected out of a total of 9 submissions) are de- cated to work in progress. For each paper, we have provided at least two independent reviews, most of which were offered by members of the TPC.
In computer science, the primary application of visualization technology is software visualization: the use of graphics to portray information obtained from a static or dynamic analysis of a program. Software visualiz...
详细信息
ISBN:
(数字)9781461221609
ISBN:
(纸本)9781461274384
In computer science, the primary application of visualization technology is software visualization: the use of graphics to portray information obtained from a static or dynamic analysis of a program. Software visualization is used in several phases of the software development lifecycle, but it is of particular interest in the "back- end" tasks of debugging, performance tuning, and understanding complex systems in order to maintain them. Software visualization is expected to improve the back end of the software development process which can result in huge cost savings. Debugging, tuning and maintaining programs comprise the majority of the high costs associated with software development. Unfortunately, the rate at which these software technologies have improved has been gradual. The task of writing software visualization tools is difficult, and most existing systems are limited to a narrow scope, such as the visualization of a single well-understood algorithm from a hand-instrumented source program. This book presents software visualization at a level suitable for a senior level undergraduate or graduate course or for the interested technical professional. The approach is to give a survey of the field, and then present a specific research framework designed to reduce the effort required to write visualization tools. A wide range of simple program control flow and data structure visualizations are then presented as examples of how to obtain information about program behavior, and how to present it graphically. Source code fragments and screen images illustrate each example.
Software engineering is a rapidly growing and changing field. Over the last dec ade, it has gained significant popularity, and it is now heralded as a discipline of its own. This edited collection presents recen...
详细信息
ISBN:
(数字)9780387215990
ISBN:
(纸本)9780387951096;9781441928788
Software engineering is a rapidly growing and changing field. Over the last dec ade, it has gained significant popularity, and it is now heralded as a discipline of its own. This edited collection presents recent advances in software engineering in the areas of evolution, comprehension, and evaluation. The theme of the book addresses the increasing need to understand and assess software systems in order to measure their quality, maintain them, adapt them to changing requirements and technology, and migrate them to new platforms. This need can be satisfied by studying how software systems are built and maintained, by finding new paradigms, and by building new tools to support the activities involved in devel oping contemporary software systems. The contributions to the book are from major results and findings of leading researchers, under the mandate of the Consortium for Software Engineering Re search (CSER). CSER has been in existence since 1996. The five founding in dustrial and academic partners wanted to create a research environment that would appeal to the applied nature of the industrial partners, as well as to ad vance the state of the art and develop fresh expertise. The research projects of the Consortium are partially funded by the industrial partners, and partially by the Natural Sciences and Engineering Research Council of Canada. Technical and administrative management of the Consortium is provided by the National Research Council of Canada-specifically by members of the Software Engi neering Group ofthe Institute for Information Technology.
暂无评论