Conferences in DBLP
Hongji Yang , Yong Sun Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach. [Citation Graph (0, 0)][DBLP ] Conf ] S. Riddle , P. Wallis Denotational Semantics and Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Poppleton The Single Transferable Voting System: Functional Decomposition in Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Rosemary Monahan , Franz Geiselbrechtinger Tactics for Transformational Programming. [Citation Graph (0, 0)][DBLP ] Conf ] N. Malik , Kevin Lano A Formal Approach to Design Patterns in Re-Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Helen Lowe The Use of Theorem Provers in the Teaching and Practice of Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Luming Lai , Jeff W. Sanders A Refinement Calculus for Communicating Processes with State. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Stewart An Axiomatic Semantics for Data Parallel Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur P. Hughes , Claus Pahl A Generic Model for State-based Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John Herbert A Simple Algorithm Specification Language and its Application. [Citation Graph (0, 0)][DBLP ] Conf ] J. Paul Gibson , Bruno Mermet , Dominique Méry Feature Interactions: A Mixed Semantic Model Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Geiselbrechtinger Computer Aided Incremental Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Danielle C. Fowler , Paul A. Swatman Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study. [Citation Graph (0, 0)][DBLP ] Conf ] Edel Sherratt Nonmonotonic Reasoning and Formal Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] 