Author :
Bencomo, Nelly ; Letier, Emmanuel ; Finkelstein, Adam ; Whittle, Jon ; Welsh, K.
Author_Institution :
INRIA Paris - Rocquencourt, Le Chesnay, France
Abstract :
The following topics are dealt with: The 2nd edition of the Workshop requirements@run.time was held at the 19th International Conference on Requirements Engineering (RE 2011) in the city of Trento, Italy on the 30th of August 2011. It was organized by Nelly Bencomo, Emmanuel Letier, Jon Whittle, Anthony Finkelstein, and Kris Welsh. This foreword presents a digest of the discussions and presentations that took place during the workshop.
Keywords :
formal specification; formal methods; requirements engineering; workshop requirements;
Conference_Titel :
Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on
Conference_Location :
Trento
Print_ISBN :
978-1-4577-0942-5
DOI :
10.1109/ReRunTime.2011.6046238
