Towards Design Calculi for Requirements Engineering and Software Design



TypeConference paper [With referee]
ConferenceFrom Object-orientation to Formal Methods: Dedicated to the Memory of Ole-Johan Dahl
Year2003    Vol. 2635    pp. 21
PublisherSpringer-Verlag
SeriesLecture Notes in CVomputer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering