Conferences in DBLP
C. Jones Whither Formal Methods: A Plea to Investigate New Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. France , Jean-Michel Bruel , Maria M. Larrondo-Petrie , Emanuel S. Grant , Minika Saksena Towards a Rigorous Object-Oriented Analysis and Design Method. [Citation Graph (0, 0)][DBLP ] Conf ] Jan van Katwijk , Eugène Dürr , S. J. Goldsack Hybrid Object-Oriented Real-Time Software Development with VDM++ . [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Scholz , Carsta Petersohn Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel M. Berry , M. Weber A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. [Citation Graph (0, 0)][DBLP ] Conf ] Mourad Debbabi , Mohamed Mejri , Nadia Tawbi , I. Yahmadi Formal Automatic Verification of Authentication Crytographic Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Mermet , Dominique Méry Incremental Specification of Telecommunication Services. [Citation Graph (0, 0)][DBLP ] Conf ] Birgit Geppert , Frank Rößler Generic Engineering of Communication Protocols - Current Experience and Future Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Harbhajan Singh , Mirko Conrad , Sadegh Sadeghipour Test Case Design Based on Z and the Classification-Tree Method. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Parissis A Formal Approach to Testing LUSTRE Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Lionel Van Aertryck , Marc V. Benveniste , Daniel Le Métayer CASTING: A Formally Based Software Test Generation Method. [Citation Graph (0, 0)][DBLP ] Conf ] Richard A. Kemmerer Formally Specifying and Verifying Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Lindsay , David Hemer Using CARE to Construct Verified Software. [Citation Graph (0, 0)][DBLP ] Conf ] Jinyun Xue , Ruth Davis A Simple Program whose Derivation and Proof is Also. [Citation Graph (0, 0)][DBLP ] Conf ] David Cyrluk , John M. Rushby , Mandayam K. Srivas Systematic Formal Verification of Interpreters. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Ford , William R. Bevier , Richard T. Simon , Lawrence M. Smith The Specification-Based Testing of a Trusted Kernel: MK++. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Neale Fulton , Lin Zucconi , John Colton Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. [Citation Graph (0, 0)][DBLP ] Conf ] Kokichi Futatsugi , Ataru T. Nakagawa An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. [Citation Graph (0, 0)][DBLP ] Conf ] F. Lattemann , Egbert Lehmann A Methodological Approach to the Requirement Specification of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Per Erik Heimdahl , Jeffrey M. Thompson Specification and Analysis of System Level Inter-Component Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Philipps , Bernhard Rumpe Refinement of Information Flow Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi , Alan Wills Frameworks in Catalysis: Pictorial Notation and Formal Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Mark d'Inverno , Michael Luck Development and Application of a Formal Agent Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Milica Barjaktarovic Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. [Citation Graph (0, 0)][DBLP ] Conf ] Lingzi Jin , Hong Zhu Automatic Generation of Formal Specification from Requirements Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Peper , Reinhard Gotzhein , Martin Kronenburg A Generic Approach to the Formal Specification of Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Dines Bjørner , S. Koussoube , R. Noussi , G. Satchok Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Andy Galloway , Bill Stoddart An Operational Semantics for ZCCS. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Taguchi , Keijiro Araki The State-Based CCS Semantics for Concurrent Z Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith , John Derrick Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Henri Habrias , B. Griech Formal Specification of Dynamic Constraints with the B Method. [Citation Graph (0, 0)][DBLP ] Conf ] Lionel C. Briand , Sandro Morasca Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] 