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

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Paech, Barbara (Επιμελητής έκδοσης), Martell, Craig (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Σειρά:Lecture Notes in Computer Science, 5320
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03999nam a22005775i 4500
001 978-3-540-89778-1
003 DE-He213
005 20170128074615.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 |a 9783540897781  |9 978-3-540-89778-1 
024 7 |a 10.1007/978-3-540-89778-1  |2 doi 
040 |d GrThAP 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a UL  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs  |h [electronic resource] :  |b 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /  |c edited by Barbara Paech, Craig Martell. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2008. 
300 |a XII, 215 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 5320 
505 0 |a 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. 
520 |a 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 in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results. The full papers have been grouped thematically under the headings Innovative Requirements Engineering Techniques and Innovative Applications of Natural-Language Processing Techniques. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Mathematical logic. 
650 0 |a Computers. 
650 1 4 |a Computer Science. 
650 2 4 |a Software Engineering/Programming and Operating Systems. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Software Engineering. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Models and Principles. 
700 1 |a Paech, Barbara.  |e editor. 
700 1 |a Martell, Craig.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783540897774 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 5320 
856 4 0 |u http://dx.doi.org/10.1007/978-3-540-89778-1  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)