2. ASYNC 1996: Aizu-Wakamatsu, Fukushima, Japan

@proceedings{DBLP:conf/async/1996,
  title     = {2nd International Symposium on Advanced Research in Asynchronous
               Circuits and Systems (ASYNC '96),  March 18-21, 1996, Aizu-Wakamatsu,
               Fukushima, JAPAN},
  booktitle = {ASYNC},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Formal Methods

• Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede:
  An Algebraic Semantics for Object-Oriented Behaviour Modeling. 4-15
  Electronic Edition (link) BibTeX
• Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols:
  A Tool for Practical Reasoning about State Machine Designs. 16-26
  Electronic Edition (link) BibTeX
• Peter A. Lindsay, David Hemer:
  An Industrial-Strength Method For The Construction Of Formally Verified Software. 27-
  Electronic Edition (link) BibTeX

Programming/Tools

• Greg Michaelson:
  Automatic Analysis Of Functional Program Style. 38-46
  Electronic Edition (link) BibTeX
• Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh:
  Software Visualisation in a Generic Development Environment. 47-54
  Electronic Edition (link) BibTeX
• Jennifer G. Harvey, Chris D. Marlin:
  A Layered Operational Model for Describing Inter-tool Communication in Tool Integration Frameworks. 55-
  Electronic Edition (link) BibTeX

Panel

• Lin Zucconi, Greg Royle, Karl Reed, John Staples:
  Do Formal Methods Really Work? 66-
  Electronic Edition (link) BibTeX

Object-Orientation

• Neil A. B. Gray:
  Teaching Object Orientation: Patterns and Reuse. 72-80
  Electronic Edition (link) BibTeX
• Sea Ling, Heinz W. Schmidt:
  Towards Analysing a Class of Object Petri Nets. 81-92
  Electronic Edition (link) BibTeX
• Tsong Yueh Chen, Pak-Lok Poon:
  Classification-Hierarchy Table: A Methodology for Constructing the Classification Tree. 93-
  Electronic Edition (link) BibTeX

Panel

• Brian Henderson-Sellers, Neil A. B. Gray, Christine Mingins, Liping Zhao:
  Does Object-Orientation Really Work? 106-
  Electronic Edition (link) BibTeX

Education

• Ken Mullin, Stuart Hope:
  An Application Of Quantitative Techniques To The Question Of What Contributes To A Successful Software Development Project. 118-130
  Electronic Edition (link) BibTeX
• Elizabeth Haywood, Philip W. Dart:
  Analysis of Software System Requirements Models. 131-
  Electronic Edition (link) BibTeX

Keynote Address II

• Nancy R. Mead:
  Industry-University Partnerships: The Wave of the Future? 140-
  Electronic Edition (link) BibTeX

Keynote Address III

• Nazim H. Madhavji:
  A System for Evaluating the Congruence of Software Process Models. 144-
  Electronic Edition (link) BibTeX

Maintenance

• Wie Ming Lim, John V. Harrison:
  An Integrated Database Reengineering Architecture - A Generic Approach. 146-154
  Electronic Edition (link) BibTeX
• Jian Chen:
  The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development. 155-166
  Electronic Edition (link) BibTeX
• Tsong Yueh Chen, Yuen-Tak Yu:
  More on the E-measure of Subdomain Testing Strategies. 167-
  Electronic Edition (link) BibTeX

Architecture/Process

• Igor Hawryszkiewycz, Ian Gorton:
  Distributing the Software Process. 176-182
  Electronic Edition (link) BibTeX
• Bradley R. Schmerl, Chris D. Marlin:
  Consistency Issues in Partially Bound Dynamically Composed Systems. 183-191
  Electronic Edition (link) BibTeX
• Jason Baragry:
  An Initial Comparison of Software and Engineering Designs of Automotive Cruise Control Systems. 192-202
  Electronic Edition (link) BibTeX
• Benjamin Cheng, D. Ross Jeffery:
  Comparing Inspection Strategies for Software Requirement Specifications. 203-
  Electronic Edition (link) BibTeX