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 Engineering Theories of Software Intensive Systems
Posted on 2010-03-15
|  |
More Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare “Engineering Theories of Software Intensive Systems" Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks. The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004. --- Want to thank - download from my links --- Rapidshare: "
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Depositfiles.com) | Alive |
| Download Link (Uploading) | Alive |
| Download Link (Easy-share) | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Technical Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook (Multiagent Systems, Artificial Societies, and Simulated Organizations) Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook (Multiagent Systems, Artificial Societies, and Simulated Organizations) Publisher: SpringerNumber Of Pages: 506Publication Date: ... |
 | Programming A Handbook of Software and Systems Engineering: Empirical Observations, Laws, and Theories Albert Endres, Dieter Rombach, "A Handbook of Software and Systems Engineering: Empirical Observations, Laws, and Theories " Addison Wesley; 1st edition (May 8, 2003) | ISBN: 0321154207 | 352 pages | PDF | 8,9 Mb User-frien ... |
 | Technical Designing Software-Intensive Systems: Methods and Principles
|
 | Programming Architecting Software Intensive Systems: A Practitioners Guide Anthony J. Lattanze, "Architecting Software Intensive Systems: A Practitioners Guide" Auerbach Publications | 2008 | ISBN: 1420045695 | 472 pages | PDF | 2,5 MB Focusing on the architecture centric design method (ACDM), this book provides ... |
 | 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 ... |
 | Programming Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale Publisher: National Academies Press | pages: 78 | 2007 | ISBN: 0309108446 | PDF | 13,2 mbThe workshop was structured to gather inputs and insights from the comme ... |
Comments (0)
