Conferences in DBLP
T. S. E. Maibaum Taking More of the Soft out of Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Fuyau Lin Design and Validation of a Message-Passing System. [Citation Graph (0, 0)][DBLP ] Conf ] H. Conrad Cunningham , Yinxiu Cai Specification and Refinement of a Message Router. [Citation Graph (0, 0)][DBLP ] Conf ] R. Das , Alan Fekete Modular Reasoning About Open Systems: A Case Study of Distributed Commit. [Citation Graph (0, 0)][DBLP ] Conf ] Bashar Nuseibeh , Anthony Finkelstein , Jeff Kramer Fine-Grain Process Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Dilip Soni , Robert L. Nord , Liang H. Hsu An Empirical Approach to Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Alistair G. Sutcliffe , Neil A. M. Maiden Bridging the Requirements Gap: Policies, Goals, and Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo A. Buy , Robert H. Sloan A Petri-Net -Based Approach to Real-Time Program Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Potts , Kenji Takahashi An Active Hypertext Model for System Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Ghezzi , Mauro Pezzè Towards Extensible Graphical Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar Barros Requirements Elicitation and Formalization Through External Design and Object-Oriented Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Shiyuan Ding , Takuya Katayama Specifying Reactive Systems with Attributed Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] James C. Corbett Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Bellettini , Miguel Felder , Mauro Pezzè Merlot: A Tool for Analysis of Real-Time Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Gianna Reggio Specifying Reactive Systems by Abstract Events. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth R. Wood A Pragmatic Basis for the Formal Development of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kuo-Chung Tai , Pramod V. Koppol An Incremental Approach to Reachability Analysis of Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] P. Wolff Related Specifications Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin , Alan Bundy , Ina Kraan , Seán Matthews A Framework for Program Development Based on Schematic Proof. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur Predicting Operational Behaviour of Abstract Programs During Formal Developments. [Citation Graph (0, 0)][DBLP ] Conf ] Joanne L. Boyd , Gerald M. Karam Using Design Fragments to Modularize the Design of Communications in Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alice Faulstich-Brady A Taxonomy of Inheritance Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Motoshi Saeki , Takeshi Hiroi , Takanori Ugai Reflective Specification: Applying A Reflective Language to Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Marca , Clement L. McGowan Specifications Approaches Express Different World Hypotheses. [Citation Graph (0, 0)][DBLP ] Conf ] 