Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.

Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu

Browse the full COMPSAC paper archive.