Kategoria BISAC: Computers >> Programming - Compilers

This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques.

The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online...

This concise and easy-to read textbook provides an accessible introduction to the most important features of Fortran 2008 (also known as Fortran 08), the latest standard version of Fortran. Both the style of the many example programs and the selection of topics discussed in detail guide the reader toward acquiring programming skills to produce Fortran programs that are readable, maintainable, and efficient. The text is organized for instruction from beginning to end, but also so that particular topics may be studied and read independently--making the work eminently suitable as a reference...

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.

The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and are organized in the following topical sections: security of operating systems; secret sharing; encryption; malware and Critical infrastructures; cryptanalysis; block ciphers and...

This book teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this book is to teach fundamental programming principles using C, one of the most widely used programming languages in the world today.

We discuss only those features and statements in C that are necessary to achieve our goal. Once you learn the principles well, they can be applied to any language. If you are worried that you are not good at high-school mathematics, don't be. It is a myth that you must be...

This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.

The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and industrial applications, and formal frameworks.

Dieses Buch bietet einen systematischen Einstieg in die Programmiersprache Java. Es setzt keine Kenntnisse in anderen Programmiersprachen voraus. Es richtet sich an diejenigen Studenten, welche das Ziel haben, die Grundlagen der Sprache Java und der Objektorientierung in fundierter Weise zu erlernen.

Alle Programmbeispiele und alle Bilder des Buchs sowie die Losungen zu den im Buch enthaltenen Aufgaben und dem Projektbeispiel stehen online auf der Webseite des Verlags zur Verfugung.

Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.

You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects in the books gradually introduce the reader to key topics such as internet connectivity with Arduino, common IoT protocols, custom web visualization, and Android apps that receive sensor...

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).

Dieses Buch ist als Lern- und Arbeitsbuch fur die Programmiersprache C konzipiert. Der Leser lernt anhand einer Vielzahl von Problemlosungen sich algorithmisches, strukturiertes Denken anzueignen und die Basiskonzepte wie Algorithmen, Variablen oder Modularitat zu beherrschen.

Die Programmiersprache C ist sehr gut fur Einsteiger geeignet, da sie die Basis fur die modernen objektorientierten Sprachen C++, Java sowie C# bildet. C ist ausserdem eine flexible und effiziente Sprache, mit der auch komplexe Aufgaben schnell gelost werden konnen.

Eine Besonderheit des Buches ist die...

Dieses Buch vermittelt die einzigartige Idee hinter der Programmiersprache Lisp. Aus der Verbindung von interaktiver und funktionaler Programmierung entsteht eine Arbeitsstrategie in der Software-Entwicklung, mit der ein Programmierer schneller als mit konventionellen Verfahren einen korrekten, verstandlichen und leicht anpassbaren Code entwickeln kann.

Durch die Anwendung algebraischer Methoden auf die wandelbare Sprache Common Lisp lernt der Leser, bekannte Probleme der Anwendungsprogrammierung neu zu denken und dadurch zu prazisen und bundigen Losungen zu kommen.

Der...

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

Learn software engineering and coding best practices to write Python code right and error free. In this book you'll see how to properly debug, organize, test, and maintain your code, all of which leads to better, more efficient coding.

Software engineering is difficult. Programs of any substantial length are inherently prone to errors of all kinds. The development cycle is full of traps unknown to the apprentice developer. Yet, in Python textbooks little attention is paid to this aspect of getting your code to run. At most, there is a chapter on debugging or unit testing in your...

This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringa, Brazil, in September 2016.

The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.

Dieses Buch beschreibt klar und pragnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstutzt. Der Autor Hendrik Jan van Randen greift dafur auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zuruck, der ihm dank langjahriger Tatigkeit als Softwarearchitekt zur Verfugung steht.

Das Buch bietet eine solide und ubersichtliche Einfuhrung in UML fur jeden, der in ein Softwareentwicklungsprojekt eingebunden ist. Zahlreiche farbige Abbildungen erleichtern das Verstehen und Behalten der vermittelten...

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.

The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and...