Title Page

Foreword

A Framework for Identifying and Analyzing Non-functional Requirements from Text
Vibhu Saujanya Sharma, Roshni R. Ramnani, and Shubhashis Sengupta
(Accenture Technology Labs, India)

Helping System Engineers Bridge the Peaks
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, and Karen Gundy-Burlet
(NASA Ames Research Center, USA; NASA Langley Research Center, USA; University of Minnesota, USA)

A Knowledge-Assisted Framework to Bridge Functional and Architecturally Significant Requirements
Preethu Rose Anish and Balaji Balasubramaniam
(Tata Consultancy Services, India)

Exploring the Twin Peaks using Probabilistic Verification Techniques
Anitha Murugesan, Lu Feng, Mats P. E. Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, and Insup Lee
(University of Minnesota, USA; University of Pennsylvania, USA)

An Ontological Framework for Architecture Model Integration
Arvind W. Kiwelekar and Rushikesh K. Joshi
(IIT Bombay, India)