Listing 1 - 10 of 943 << page
of 95
>>
Sort by

Book
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Author:
Year: 2017 Publisher: [Place of publication not identified] : Springer Nature,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Modern programming : object oriented programming and best practices
Author:
ISBN: 1838986901 9781838986902 1838986189 9781838986186 Year: 2019 Publisher: Birmingham ; Mumbai : Packt Publishing Ltd,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"Discover the untapped features of object-oriented programming and use it with other software tools to code fast, efficient applications. Key Features Explore the complexities of object-oriented programming (OOP) Discover what OOP can do for you Learn to use the key tools and software engineering practices to support your own programming needs Book Description Your experience and knowledge always influence the approach you take and the tools you use to write your programs. With a sound understanding of how to approach your goal and what software paradigms to use, you can create high-performing applications quickly and efficiently. In this two-part book, you'll discover the untapped features of object-oriented programming and use it with other software tools to code fast and efficient applications. The first part of the book begins with a discussion on how OOP is used today and moves on to analyze the ideas and problems that OOP doesn't address. It continues by deconstructing the complexity of OOP, showing you its fundamentally simple core. You'll see that, by using the distinctive elements of OOP, you can learn to build your applications more easily. The next part of this book talks about acquiring the skills to become a better programmer. You'll get an overview of how various tools, such as version control and build management, help make your life easier. This book also discusses the pros and cons of other programming paradigms, such as aspect-oriented programming and functional programming, and helps to select the correct approach for your projects. It ends by talking about the philosophy behind designing software and what it means to be a "good" developer. By the end of this two-part book, you will have learned that OOP is not always complex, and you will know how you can evolve into a better programmer by learning about ethics, teamwork, and documentation. What you will learn Untangle the complexity of object-oriented programming by breaking it down to its essential building blocks Realize the full potential of OOP to design efficient, maintainable programs Utilize coding best practices, including TDD, pair programming and code reviews, to improve your work Use tools, such as source control and IDEs, to work more efficiently Learn how to most productively work with other developers Build your own software development philosophy Who this book is for This book is ideal for programmers who want to understand the philosophy behind creating software and what it means to be "good" at designing software. Programmers who want to deconstruct the OOP paradigm and see how it can be reconstructed in a clear, straightforward way will also find this book useful. To understand the ideas expressed in this book, you must be an experienced programmer who wants to evolve their practice." -- Publisher's description.


Book
Object-oriented programming in ColdFusion : break free from procedural programming and learn how to optimize your applications and enhance your skills using objects and design patterns
Author:
ISBN: 1282882163 9786612882166 1847196330 9781847196330 9781282882164 6612882166 9781847196323 1847196322 Year: 2010 Publisher: Birmingham [U.K.] : Packt Pub.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Break free from procedural programming and learn how to optimize your applications and enhance your skills using objects and design patterns


Book
Python 3 object oriented programming : harness the power of Python 3 objects
Author:
ISBN: 1282712489 9786612712487 1849511276 9781849511278 9781849511261 1849511268 Year: 2010 Publisher: Birmingham, U.K. : Packt Open Source,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Harness the power of Python 3 objects


Book
Python 3 object-oriented programming : build robust and maintainable software with object-oriented design patterns in Python 3.8
Author:
ISBN: 1789617073 Year: 2018 Publisher: Birmingham : Packt,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The elements of Java style
Authors: ---
ISBN: 0511585853 0511003390 9780511003394 9780511585852 9780521777681 Year: 2000 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Elements of Java Style, written by renowned author Scott Ambler, Rogue Wave Software Vice President Alan Vermeulen, and a team of programmers from Rogue Wave, is for anyone who writes Java code. While there are many books that explain the syntax and basic use of Java, this book, first published in 2000, explains not just what you can do with the syntax, but what you ought to do. Just as Strunk and White's The Elements of Style provides rules of usage for the English language, this book provides a set of rules for Java practitioners to follow. While illustrating these rules with parallel examples of correct and incorrect usage, the book provides a collection of standards, conventions, and guidelines for writing solid Java code which will be easy to understand, maintain, and enhance. Anyone who writes Java code or plans to should have this book next to their computer.


Book
RESTful Java web services security : secure your RESTful applications against common vulnerabilities
Authors: ---
ISBN: 1783980117 9781783980116 1322008531 9781322008530 1783980109 9781783980109 Year: 2014 Publisher: Birmingham, England : Packt Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A sequential and easy-to-follow guide which allows you to understand the concepts related to securing web apps/services quickly and efficiently, since each topic is explained and described with the help of an example and in a step-by-step manner, helping you to easily implement the examples in your own projects. This book is intended for web application developers who use RESTful web services to power their websites. Prior knowledge of RESTful is not mandatory, but would be advisable.


Book
WildFly performance tuning : develop high-performing server applications using the widely successful WildFly platform
Authors: --- ---
ISBN: 1783980575 9781783980574 1306901847 9781306901840 1783980567 9781783980567 9781783980567 Year: 2014 Publisher: Birmingham, [England] : Packt Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Packed with practical examples, this book looks at a different aspect of performance tuning in each chapter and shows you how to apply them to their existing Java applications. Anyone with an interest in learning more and improving the performance of Java-based technology in general, all the way to WildFly in particular, will find this book useful.


Book
Java EE 7 development with WildFly
Authors: --- ---
ISBN: 1782171991 1322570132 9781322570136 9781782171997 9781782171980 1782171983 Year: 2014 Publisher: Birmingham, England : Packt Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract

If you are a Java developer who wants to learn about Java EE, this is the book for you. It's also ideal for developers who already have experience with the Java EE platform but would like to learn more about the new Java EE 7 features by analyzing fully functional sample applications using the new application server WildFly.


Book
Mastering software testing with JUnit 5 : comprehensive guide to develop high quality Java applications
Author:
ISBN: 1787124398 9781787124394 9781787285736 Year: 2017 Publisher: Birmingham, England ; Mumbai, [India] : Packt,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A comprehensive, hands-on guide on unit testing framework for Java programming language About This Book In-depth coverage of Jupiter, the new programming and extension model provided by JUnit 5 Integration of JUnit 5 with other frameworks such as Mockito, Spring, Selenium, Cucumber, and Docker Best practices for writing meaningful Jupiter test cases Who This Book Is For This book is for Java software engineers and testers. If you are a Java developer who is keen on improving the quality of your code and building world class applications then this book is for you. Prior experience of the concepts of automated testing will be helpful. What You Will Learn The importance of software testing and its impact on software quality The options available for testing Java applications The architecture, features and extension model of JUnit 5 Writing test cases using the Jupiter programming model How to use the latest and advanced features of JUnit 5 Integrating JUnit 5 with existing third-party frameworks Best practices for writing meaningful JUnit 5 test cases Managing software testing activities in a living software project In Detail When building an application it is of utmost importance to have clean code, a productive environment and efficient systems in place. Having automated unit testing in place helps developers to achieve these goals. The JUnit testing framework is a popular choice among Java developers and has recently released a major version update with JUnit 5. This book shows you how to make use of the power of JUnit 5 to write better software. The book begins with an introduction to software quality and software testing. After that, you will see an in-depth analysis of all the features of Jupiter, the new programming and extension model provided by JUnit 5. You will learn how to integrate JUnit 5 with other frameworks such as Mockito, Spring, Selenium, Cucumber, and Docker. After the technical features of JUnit 5, the final part of this book will train you for the daily work of a software tester. You will learn best practices for writing meaningful tests. Finally, you will learn how software testing fits into the overall software development process, and sits alongside continuous integration, defect tracking, and test reporting. Style and approach The book offers definitive and comprehensive coverage of all the Unit testing concepts with JUnit and its features using several real world examples so that readers can put their learning to pract...

Listing 1 - 10 of 943 << page
of 95
>>
Sort by