Lightweight Formal Methods for Scenario-Based Software Engineering

Technical Report PDF: 
Technical Report Number: 
2004.34
TitleLightweight Formal Methods for Scenario-Based Software Engineering
Publication TypeConference Paper
Year of Publication2003
AuthorsBontemps, Y, Heymans P, Schobbens P-Y
Conference NameScenarios: Models, Transformations and Tools