Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

Functional documents for computer systems

David Lorge Parnas, Jan Madey · Science of Computer Programming · 1995 · 413 citations

Computing, Computer Science, Computer Systems +13

INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING

James H. Christensen, Robert J. Kretschmann, Anne Martel et al. · 2007 · 190 citations

Engineering, Electrical Engineering, Systems Engineering +16

Precise documentation of well-structured programs

David Lorge Parnas, Jan Madey, Michal Iglewski · IEEE Transactions on Software Engineering · 1994 · 105 citations · Full text

Computing, Computer Science, Documentation +8

Defining the meaning of tabular mathematical expressions

Ying Jin, David Lorge Parnas · Science of Computer Programming · 2010 · 38 citations

Education, Mathematics, Mathematics Education +12

Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications

Doaa Soliman, Kleanthis Thramboulidis, Georg Frey · Annual Reviews in Control · 2012 · 31 citations

Computing, Computer Science, Computer Systems +14