Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 80 | << page >> |
Sort by
|
Book
Year: 1978 Publisher: Los Alamitos, CA : IEEE Computer Society Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0471514012 Year: 1990 Publisher: New York Chichester Toronto Wiley-Interscience
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0201416085 9780201416084 Year: 1992 Volume: vol *35 Publisher: Wokingham Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer science --- Computer software --- Verification --- Computer software - Verification. --- Computer software - Verification
Book
ISBN: 9783031098277 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer software --- Verification. --- Verification --- Testing --- Software verification --- Verification of software
Book
ISBN: 9783031092688 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer software --- Verification. --- Software verification --- Verification of software
Book
ISBN: 1484279778 1484279786 Year: 2022 Publisher: Berkeley, California : Apress L. P.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills.
Computer software --- Verification. --- Software verification --- Verification of software
ISBN: 0387944591 9780387944593 Year: 1995 Publisher: New York (N.Y.) : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer software --- Parallel processing (Electronic computers) --- Logiciels --- Parallélisme (Informatique) --- Verification --- Vérification --- Verification. --- Parallel processing (Electronic computers). --- Parallélisme (Informatique) --- Vérification --- Computer software - Verification --- Computer software - verification
ISBN: 0201192462 Year: 1989 Publisher: Reading (Mass.) Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Software engineering --- Computer software engineering --- Engineering --- Programming --- Management. --- Computer software - verification --- Development
Book
ISBN: 1580534732 9781580534734 Year: 2001 Publisher: Boston : Artech House,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
A concise and practical introduction to the basic principles of effective software verification and validation (V & V). This revised edition includes five new chapters and five new appendices focused on management techniques to make your company's software V & V efforts more cost-effective.
Computer software --- Software verification --- Verification of software --- Software validation --- Validation of software --- Validation. --- Verification.
Book
ISBN: 1000021694 3866446233 Year: 2011 Publisher: KIT Scientific Publishing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
design by contract --- software specification --- software verification --- abstract interpretation --- theorem proving
| Listing 1 - 10 of 80 | << page >> |
Sort by
|