pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: 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
By: Manfred Broy (Editor), Johannes Gruenbauer (Editor), David Harel (Editor)
Format: Paperback

List price: £115.50


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 1402035314
ISBN 13: 9781402035319
Publisher: SPRINGER-VERLAG NEW YORK INC.
Pub. date: 15 July, 2005
Edition: 2005 ed.
Series: NATO Science Series II v.195
Pages: 404
Description: Draws from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held in Germany in 2004. Examining software engineering techniques and foundations used for industrial tasks, this book presents mathematical foundations of software engineering and engineering methods in their theoretical substance.
Synopsis: 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.
Illustrations: biography
Publication: US
Imprint: Springer-Verlag New York Inc.
Returns: Returnable
Some other items by this author:
ADVANCED MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS (HB)
ALGORITHMIC BIOPROCESSES (HB)
ALGORITHMIC BIOPROCESSES (PB)
ALGORITHMICS (HB)
ALGORITHMICS (PB)
ALGORITHMICS (PB)
ALGORITHMICS (PB)
ALGORITHMIK
ALGORITHMIK (HB)
ALGORITMI (PB)
AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (PB)
CALCULATIONAL SYSTEM DESIGN (HB)
COME, LET'S PLAY (HB)
COME, LET'S PLAY (PB)
COMPUTERS LTD (PB)
CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (HB)
CONTROL FLOW AND DATA FLOW CONCEPTS OF (HB)
CONTROL FLOW AND DATA FLOW: CONCEPTS OF DISTRIBUTED PROGRAMMING (PB)
DAS AFFENPUZZLE UND WEITERE BAD NEWS AU (HB)
DAS AFFENPUZZLE UND WEITERE BAD NEWS AUS DER COMPUTERWELT (PB)
DEDUCTIVE PROGRAM DESIGN (HB)
DEDUCTIVE PROGRAM DESIGN (PB)
DYNAMIC LOGIC
DYNAMIC LOGIC (HB)
DYNAMIC LOGIC (PB)
EINFUHRUNG IN DIE SOFTWARETECHNIK (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (HB)
FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)
FORMAL SYSTEMS SPECIFICATION (PB)
INDUSTRIE 4.0 (HB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK UND MATHEMATIK (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE (PB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (HB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (PB)
LOGISCHE UND METHODISCHE GRUNDLAGEN DER PROGRAMM- UND SYSTEMENTWICKLUNG (PB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (HB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (PB)
METHODS OF PROGRAMMING (PB)
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (PB)
MODEL-BASED TESTING OF REACTIVE SYSTEMS (PB)
MODEL-DRIVEN DEVELOPMENT OF RELIABLE AUTOMOTIVE SERVICES (PB)
MODELING REACTIVE SYSTEMS WITH STATECHARTS (HB)
MODELLBILDUNG IN DER INFORMATIK (HB)
MODELLBILDUNG IN DER INFORMATIK (PB)
MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE (HB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PRISE EN CHARGE DE LA DOULEUR AIGA1/4E DANS LES SERVICES D''URGENCES
PROGRAM CONSTRUCTION (PB)
PROGRAM DESIGN CALCULI (HB)
PROGRAM DESIGN CALCULI (PB)
PROGRAMMING AND MATHEMATICAL METHOD (PB)
PROJEKTORGANISATION UND MANAGEMENT IM SOFTWARE ENGINEERING (HB)
REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING (PB)
SOFTWARE PIONEERS
SOFTWARE PIONEERS (PB)
SOFTWARE-ENTWICKLUNG FUR KOMMUNIKATIONSNETZE
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (HB)
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (PB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (HB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (PB)
UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)
VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK

TOP SELLERS IN THIS CATEGORY
Clean Code (Paperback)
By: Robert C. Martin
Pearson Education (US)
Our Price : £33.14
more details
Clean Architecture (Paperback)
By: Robert C. Martin
Pearson Education (US)
Our Price : £23.79
more details
Agile Project Management with Kanban (Paperback)
By: Eric Brechner
Microsoft Press,U.S.
Our Price : £21.44
more details
Designing Data-Intensive Applications (Paperback)
By: Martin Kleppmann
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
Cracking the Coding Interview (Paperback)
By: Gayle Laakmann McDowell
CareerCup
Our Price : £31.46
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 software engineering


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr
By: SARA KHAN
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C...
By: ADAM POWER-ANNAND
The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket