Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Abstract

There is a growing interest in building more effective technologies for future software engineering by properly integrating formal techniques into conventional software engineering process. The development of the Structured Object-Oriented Formal Language (SOFL) over the past two decades has shown some possibilities of achieving effective integrations to build practical formal techniques and tool support for requirements analysis, specification, design, inspection, review, and testing of software systems. SOFL integrates Data Flow Diagram, Petri Nets, and VDM-SL to offer a graphical and formal notation for writing specifications.