Journals in DBLP
James M. Bieman , Pradip K. Srimani Editor's corner : Applying specification, verification, and validation techniques. [Citation Graph (0, 0)][DBLP ] Journal ] William S. Lloyd , Phil Kearns Tracing the execution of distributed programs. [Citation Graph (0, 0)][DBLP ] Journal ] Lynn M. Foreman , Stuart H. Zweben A study of the effectiveness of control and data flow testing strategies. [Citation Graph (0, 0)][DBLP ] Journal ] Pierre Dauchy , Marie-Claude Gaudel , Bruno Marre Using algebraic specifications in software testing: A case study on the software of an automatic subway. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Reck Formally specifying an automated trade execution system. [Citation Graph (0, 0)][DBLP ] Journal ] David C. Luckham , James Vera , Doug Bryan , Larry M. Augustin , Frank C. Belz Partial orderings of event sets and their application to prototyping concurrent, timed systems. [Citation Graph (0, 0)][DBLP ] Journal ] Paulo Borba , Silvio Romero de Lemos Meira From VDM specifications to functional prototypes. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Fenelon , John A. McDermid An integrated tool set for software safety analysis. [Citation Graph (0, 0)][DBLP ] Journal ] Padmanabhan Krishnan Specification of systems with interrupts. [Citation Graph (0, 0)][DBLP ] Journal ] Yukuh Tung , Amir A. Khwaja , Joseph E. Urban Multiple views of an executable software specification language. [Citation Graph (0, 0)][DBLP ] Journal ] 