Ramdan Hours:
Sun - Thu
9.30 AM - 2.30 PM
Iftar in --:--:--
🌙 Maghrib: --:--
Image from Google Jackets

The future of software engineering / Sebastian Nanz, editor.

Contributor(s): Material type: TextTextPublication details: Berlin : Springer, 2011.Description: 184 pages. : illustration ; 24 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 9783642151866
  • 3642151868
Subject(s): DDC classification:
  • 005.1 22 F
LOC classification:
  • QA76.758 .F87 2011
Online resources:
Contents:
Barry Boehm: Some Future Software Engineering Opportunities and Challenges.- Manfred Broy: Seamless Method- and Model-based Software and Systems Engineering.-Patrick Cousot, Radhia Cousot, Laurent Mauborgne: Reduced Product of Logical and Algebraic Abstract Interpretations.- Yuri Gurevich, Michal Moskal, Itay Neeman: Evidental Communication.- Michael Jackson: Engineering and Software Engineering.- Rustan Leino: Abstraction and Tools.- David Lorge Parnas: Precise Documentation: The Key To Better Software.- Pamela Zave: A Compositional Architecture for the Next Internet.- Andreas Zeller: Mining Specifications.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Books Books Main library A1 Computers & Information Technology ( Computer Science ) 005.1 F (Browse shelf(Opens below)) Available 00009370

Includes author index.

Barry Boehm: Some Future Software Engineering Opportunities and Challenges.- Manfred Broy: Seamless Method- and Model-based Software and Systems Engineering.-Patrick Cousot, Radhia Cousot, Laurent Mauborgne: Reduced Product of Logical and Algebraic Abstract Interpretations.- Yuri Gurevich, Michal Moskal, Itay Neeman: Evidental Communication.- Michael Jackson: Engineering and Software Engineering.- Rustan Leino: Abstraction and Tools.- David Lorge Parnas: Precise Documentation: The Key To Better Software.- Pamela Zave: A Compositional Architecture for the Next Internet.- Andreas Zeller: Mining Specifications.

There are no comments on this title.

to post a comment.