English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Practical Formal Software Engineering: Wanting the Software You Get
Posted on 2010-03-16
|  |
More Practical Formal Software Engineering: Wanting the Software You Get By Bruce Mills Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to obtain timely practical solutions. This book takes an engineering approach to illuminate the creation and verification of large software systems in which theorems and axioms are intuited as the formalism materializes through practice. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Based around a theme of the construction of a game engine, extensive worked examples motivate readers to learn the languages through the technical side of software science.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (DoWnLoAd FiLe) | Alive |
| Download Link (Mirror) | Alive |
| Download Link (Mirror) | Alive |
| Download Link (Mirror) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)Springer; 1 edition | ISBN: 1852339470 | 360 pages | September 7, 2005 | PDF | 1 MbThe field of agent & multi-agent systems is experiencing trem ... |
 | Programming Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of SoftwareSpringer | ISBN: 3540208941 | 2004-03-19 | PDF | 267 pages | 8 Mb This book constitutes the thoroughly refereed post-proceedings ... |
 | Web Services and Formal Methods (Lecture Notes in Computer Science / Programming and Software Engineering) Roberto Bruni, Karsten Wolf, "Web Services and Formal Methods (Lecture Notes in Computer Science / Programming and Software Engineering)" Springer 2009 | ISBN: 3642013635 | 241 pages | PDF | 8,35 MB This book constitutes the thoroughly re ... |
 | Software Engineering for Self-Adaptive Systems (Lecture Notes in Computer Science / Programming and Software Engineering) Betty H.C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee "Software Engineering for Self-Adaptive Systems (Lecture Notes in Computer Science / Programming and Software Engineering)"Springer | English | 2009-07-01 | ISBN ... |
 | Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: ... Lectures (Lecture Notes in Computer Science) Publisher: Springer; 1 editionLanguage: EnglishISBN: 3540200835Paperback: 287 pagesData: November 5, 2003Format: PDFDescription: In the past ten years or so, software architecture has emerged as a central notion in the development of comple ... |
 | Technical Software Measurement and Estimation: A Practical Approach (Quantitative Software Engineering Series) Author: M. Carol Brennan, Linda M. LairdPublisher: Wiley-IEEE Computer Society Pr (2006)Binding: Hardcover, 280 pagespricer: $90.50ISBN-10: 0471676225editorialreviewsAn effective, quantitative approach for estimating and managing software p ... |
Comments (0)
