Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Paech, Barbara (Editor), Martell, Craig (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Series: Lecture Notes in Computer Science, 5320
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Mathematical logic.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Mathematical Logic and Formal Languages.; Models and Principles.

This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs. The 10 revised full papers included...