Specification and Verification of Object-Oriented Software Components

✍ Scribed by Andreas Roth

Tongue: English
Leaves: 270
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular Specification and Verification o

📁 Modular Specification and Verification of Object-Oriented Programs

✍ Peter Müller (eds.) 📂 Library 📅 2002 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavio

Component Software: Beyond Object-Orient

📁 Component Software: Beyond Object-Oriented Programming

✍ Szyperski C., Murer S. 📂 Library 📅 2002 🏛 Addison-Wesley Professional 🌐 English

Intended for software architects and managers, this book explains the nature of component software and how it will affect the engineering, marketing, and deployment of software. Szyperski, who works for Microsoft and is affiliated with Queensland University of Technology, discusses some issues raise

Deductive Verification of Object-Oriente

📁 Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

✍ Benjamin Weiß 📂 Library 📅 2011 🏛 KIT Scientific Publishing 🌐 English

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by

Deductive verification of object-oriente

📁 Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

✍ Benjamin WeiГџ 📂 Library 📅 2011 🏛 KIT Scientific Publishing 🌐 English

Object-oriented and Classical Software E

📁 Object-oriented and Classical Software Engineering

✍ Stephen R. Schach 📂 Library 📅 2006 🏛 McGraw Hill Higher Education 🌐 English

This book detailed the different methods of attacking software design and introduces UML diagrams, statecharts, and organization. A wonderful book for those who will be working in the field dealing with the structure and methods that real business' use for software design.

Object-Oriented and Classical Software E

📁 Object-Oriented and Classical Software Engineering

✍ Stephen R Schach 📂 Library 📅 2006 🏛 MGH 🌐 English

Classical and Object-Oriented Software Engineering, 7/E presents an excellent introduction to software engineering fundamentals, covering both traditional and object-oriented techniques. The coverage of both Agile processes and Open Source Software has been considerably expanded. In addition, the Os