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.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.