Listing 1 - 10 of 1012 | << page >> |
Sort by
|
Choose an application
Sinn führt uns durch das Leben. Aber wie entsteht dieser Sinn und wie bietet er uns Orientierung in der Welt? Welchen Einfluss nimmt er dabei auf unsere historischen Vorstellungen? Und welche Rolle spielt er für das Historische Lernen?Diesen Fragen geht dieser Band nach. Er betont dabei die Rolle der unbewussten, intuitiven, motivationalen, ästhetischen, emotionalen und imaginativen Momente stärker, als dies in den klassischen Konzeptionen zur "historischen Sinnbildung" der Fall ist. Es wird unterschieden zwischen einer an Fakten und einer an Handlungen orientierten Art, die Welt zu verstehen. Dies hat Folge für die Deutung historischen Erzählungen und bietet Möglichkeiten, historisches Lernen für SchülerInnen sinnerfüllter zu gestalten.
Choose an application
Dynamic method dispatch is a core feature of object-oriented programming by which the executed implementation for a polymorphic method is only chosen at runtime. In this paper, we present a specification and verification methodology which extends the concept of dynamic dispatch to design-by-contract specifications. The formal specification language JML has only rudimentary means for polymorphic abstraction in expressions. We promote these to fully flexible specification-only query methods called model methods that can, like ordinary methods, be overridden to give specifications a new semantics in subclasses in a transparent and modular fashion. Moreover, we allow them to refer to more than one program state which give us the possibility to fully abstract and encapsulate two-state specification contexts, i.e., history constraints and method postconditions. Finally, we provide an elegant and flexible mechanism to specify restrictions on specifications in subtypes. Thus behavioural subtyping can be enforced, yet it still allows for other specification paradigms. We provide the semantics for model methods by giving a translation into a first order logic and according proof obligations. We fully implemented this framework in the KeY program verifier and successfully verified relevant examples. We have also implemented an extension to KeY to support permission-based verification of concurrent Java programs. In this context model methods provide a modular specification method to treat code synchronisation through API methods.
Choose an application
Anwendungsprogramme wie Applikationsserver folgen in ihrem Aufbau häufig einer mehrschichtigen Architektur, wobei eine Sicht beschreibt, wie die Daten aus der Datenbank in die Anwendung ausgelesen werden. Wird auf der Sicht eine Änderungsoperation durchgeführt, muss der Zustand der Datenbank entsprechend nachgeführt werden, so dass insgesamt wieder ein konsistenter Systemzustand erreicht wird. Die Arbeit zeigt, dass für eine weitaus größere Klasse von Sichten bei Änderungsoperationen eine Nachführung bestimmbar ist, als dies bei bisherigen Ansätzen der Fall ist.
Choose an application
Choose an application
Choose an application
Choose an application
"Discover why object-relational technology is ideal for supporting a broad spectrum of data types and application areas, from financial services to multimedia data. In this completely revised and updated edition, database experts Michael Stonebraker and Paul Brown explore the object-relational paradigm and examine the most recent developments in the field." "Specially written for database application programmers, database analysts, and IT managers, this book includes detailed information on how to classify DBMS applications, where object-relational DBMSs fit in the database world, and what mechanisms are required to support such an engine."-- Jacket.
Object-oriented databases --- Object-oriented data bases --- Databases --- Object-oriented methods (Computer science) --- Object-oriented databases. --- Bases de données à objets --- Geografische Informatie Systemen --- Databanken. --- Bases de données à objets --- Information systems --- Geografie
Choose an application
Choose an application
Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition . Short, focused code examples will help you learn and master various existing and new Java source code elements. This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and instanceof, Sealed classes and interfaces, Switch expressions, Text block multiline strings, Java module system, Private methods in interfaces, and Type inference for local variables. You won't find any technical jargon, bloated samples, drawn out history lessons or witty stories in this book. What you will find is a language reference that is concise, to the point and highly accessible. The book is packed with useful information and is a must-have for any Java programmer. What You Will Learn Run a Java file with a single command Learn what a switch expression is and how to use it Use pattern matching Code with Java modules Create text blocks to handle multiline strings Learn what sealed classes are and how to use these and more Who This Book Is For Those with prior experience with Java who want a quick and handy reference.
Choose an application
Expand your knowledge of Java with this entertaining learning guide, which features 100+ exercises and programming challenges. Java Challenges will prepare you for your next exam or job interview, and covers many practical topics, such as strings, arrays, data structures, recursion, and date and time. The APIs and other material included in this book are Java 17 compatible. Each topic is addressed in its own separate chapter, starting with an introduction to the basics and followed by multiple exercises of varying degrees of difficulty, helping you to improve your programming skills effectively. Detailed sample solutions, including the algorithms used for all tasks, are included to maximize your understanding of each area. Author Michael Inden also describes alternative solutions and analyzes possible pitfalls and typical errors. Three appendices round out the book: one covering JShell, which is often helpful for trying out the code snippets and examples in the book, followed by an introduction to JUnit 5 for unit testing and verifying solutions, while the final appendix explains O-notation for estimating performance. After reading this book, you'll be prepared to take the next step in your career or tackle your next personal project. All source code is freely available for download via the Apress website. What You Will Learn Improve your Java knowledge by solving enjoyable but challenging programming puzzles Solve mathematical problems, recursions, strings, arrays and more Manage data processing and data structures like lists, sets, maps Handle advanced recursion as well as binary trees, sorting and searching Gamify key fundamentals for fun and easier reinforcement Who This Book Is For Professional software developers, makers, as well as computer science teachers and students. At least some prior experience with Java programming is recommended.
Listing 1 - 10 of 1012 | << page >> |
Sort by
|