Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture - TwinPeaks 2014
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By ACM Press

9781450328487

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Helping system engineers bridge the peaks

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture - TwinPeaks 2014 ◽

10.1145/2593861.2593863 ◽

2014 ◽

Author(s):

Neha Rungta ◽

Oksana Tkachuk ◽

Suzette Person ◽

Jason Biatek ◽

Michael W. Whalen ◽

...

Download Full-text

An ontological framework for architecture model integration

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture - TwinPeaks 2014 ◽

10.1145/2593861.2593866 ◽

2014 ◽

Author(s):

Arvind W. Kiwelekar ◽

Rushikesh K. Joshi

Keyword(s):

Model Integration ◽

Architecture Model ◽

Ontological Framework

Download Full-text

A knowledge-assisted framework to bridge functional and architecturally significant requirements

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture - TwinPeaks 2014 ◽

10.1145/2593861.2593864 ◽

2014 ◽

Author(s):

Preethu Rose Anish ◽

Balaji Balasubramaniam

Keyword(s):

Bridge Functional

Download Full-text

A framework for identifying and analyzing non-functional requirements from text

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture - TwinPeaks 2014 ◽

10.1145/2593861.2593862 ◽

2014 ◽

Author(s):

Vibhu Saujanya Sharma ◽

Roshni R. Ramnani ◽

Shubhashis Sengupta

Keyword(s):

Functional Requirements

Download Full-text

Exploring the twin peaks using probabilistic verification techniques

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture - TwinPeaks 2014 ◽

10.1145/2593861.2593865 ◽

2014 ◽

Author(s):

Anitha Murugesan ◽

Lu Feng ◽

Mats P. E. Heimdahl ◽

Sanjai Rayadurgam ◽

Michael W. Whalen ◽

...

Keyword(s):

Probabilistic Verification ◽

Verification Techniques

Download Full-text