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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Paech, Barbara (Επιμελητής έκδοσης), Martell, Craig (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Σειρά: Lecture Notes in Computer Science, 5320
• Θέματα: 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...

Πίνακας περιεχομένων:

• Abstracts
• Ambiguity in Natural Language Requirements Documents
• Towards Discourse Meaning
• Getting the Details Right
• Defect Detection and Prevention (DDP)
• Papers
• Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs
• Could an Agile Requirements Analysis Be Automated?—Lessons Learned from the Successful Overhauling of an Industrial Automation System
• Model-Driven Prototyping Based Requirements Elicitation
• A Case for ViewPoints and Documents
• Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models
• Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models
• Innovations in Natural Language Document Processing for Requirements Engineering
• Logic-Based Regulatory Conformance Checking
• On the Identification of Goals in Stakeholders’ Dialogs
• Text Classification and Machine Learning Support for Requirements Analysis Using Blogs
• Profiling and Tracing Stakeholder Needs.