Conferences in DBLP
Mark Astley , Gul Agha Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Seemann , Jürgen Wolff von Gudenberg Pattern-Based Design Recovery of Java Software. [Citation Graph (1, 0)][DBLP ] Conf ] Perdita Stevens , Rob Pooley Systems Reengineering Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Gleb Naumovich , George S. Avrunin A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan E. Cook , Alexander L. Wolf Event-Base Detection of Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Darren C. Atkinson , William G. Griswold Effective Whole-Program Analysis in the Presence of Pointers. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph D. Jeffords , Constance L. Heitmeyer Automatic Generation of State Invariants from Requirements Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Allen , David Garlan Formal Modeling and Analysis of the HLA Component Integration Standard. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvia Stuurman , Jan van Katwijk On-Line Change Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Michael S. Mahony Finding a History for Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Shriram Krishnamurthi , Matthias Felleisen Toward a Formal Theory of Extensible Software. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Snelting , Frank Tip Reengineering Class Hierarchies Using Concept Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Gou Masuda , Norihiro Sakamoto , Kazuo Ushijima Applying Design Patterns to Decision Tree Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Jackson An Intermedicate Design Language and Its Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Karasick The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++. [Citation Graph (0, 0)][DBLP ] Conf ] Anne M. Disney , Philip M. Johnson Investigation Data Quality Problems in the PSP. [Citation Graph (0, 0)][DBLP ] Conf ] Phyllis G. Frankl , Oleg Iakounenko Further Empirical Studies of Test Effectiveness. [Citation Graph (0, 0)][DBLP ] Conf ] Jyrki Kontio , Gerhard Getto , Dieter Landes Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Mihalis Yannakakis Model Checking of Hierarchical State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew B. Dwyer , Corina S. Pasareanu Filter-Based Model Checking of Partial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin L. Griss Software Engineering as a Profession: Industry and Academia Working Together. [Citation Graph (0, 0)][DBLP ] Conf ] David Garlan , Somesh Jha , David Notkin Reasoning about Implicit Invocation. [Citation Graph (0, 0)][DBLP ] Conf ] Philip W. L. Fong , Robert D. Cameron Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. [Citation Graph (0, 0)][DBLP ] Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa Automated Test Data Generation Using an Iterative Relaxation Method. [Citation Graph (0, 0)][DBLP ] Conf ] 