Details
Title
Improving Precision of Use Cases by Formally Specifying Operations
Author(s)
Strohmeier, Alfred
Published in
"Can Formal Methods Cope with Software-Intensive Systems", Dagstuhl Seminar
Date
2001
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20