Engineering Theories of Software Intensive Systems :Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 - NATO Science Series II: Mathematics, Physics and Chemistry

5.00 ( 4 Ratings by Goodreads)
Engineering Theories of Software Intensive Systems

Engineering Theories of Software Intensive Systems :Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 - NATO Science Series II: Mathematics, Physics and Chemistry

(Author) (Author) (Author) (Author)
5.00 (4 Ratings by Goodreads)
paperback
Published: 15 July, 2005
Standard worldwide delivery by Fri, July 10 - Tue, July 21
Order within 0
Condition: NEW
$217.41
RRP $237.31
You save $19.90 (8%)
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Manfred Broy

View All Books by Manfred Broy
Specification and Development of Interactive Systems
Specification and Development of Interactive Systems
Manfred Broy
$70.76
New
Add to basket
Formal Systems Specification
Formal Systems Specification
Manfred Broy
$71.57
New
Add to basket
Control Flow and Data Flow: Concepts of Distributed Programming
Control Flow and Data Flow: Concepts of Distributed Programming
Manfred Broy
$128.68
New
Add to basket
Model-Based Engineering of Embedded Systems
Model-Based Engineering of Embedded Systems
Manfred Broy
$69.88
New
Add to basket
Model-Based Engineering of Embedded Systems
Model-Based Engineering of Embedded Systems
Manfred Broy
$101.88
New
Add to basket
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Manfred Broy
$61.06
New
Add to basket
Perspectives of System Informatics
Perspectives of System Informatics
Manfred Broy
$61.06
New
Add to basket
Methods of Programming
Methods of Programming
Manfred Broy
$60.81
New
Add to basket
Software Pioneers
Software Pioneers
Manfred Broy
$148.22 $171.38
New
Add to basket
Design Thinking for Software Engineering
Design Thinking for Software Engineering
Manfred Broy
$219.49
New
Add to basket

Description

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.

See more

More Details

Type Book
ISBN13 9781402035319
ISBN10 1402035314
Number Of Pages 404
Item Weight 1000 g
Publisher / Reseller Springer-Verlag New York Inc.
Format paperback
Edition 2005 ed.
See More +