The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Asynchronous Circuits and Systems (async)
1996 (conf/async/1996)

  1. Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede
    An Algebraic Semantics for Object-Oriented Behaviour Modeling. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:4-15 [Conf]
  2. Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols
    A Tool for Practical Reasoning about State Machine Designs. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:16-26 [Conf]
  3. Peter A. Lindsay, David Hemer
    An Industrial-Strength Method For The Construction Of Formally Verified Software. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:27-0 [Conf]
  4. Greg Michaelson
    Automatic Analysis Of Functional Program Style. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:38-46 [Conf]
  5. Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh
    Software Visualisation in a Generic Development Environment. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:47-54 [Conf]
  6. Jennifer G. Harvey, Chris D. Marlin
    A Layered Operational Model for Describing Inter-tool Communication in Tool Integration Frameworks. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:55-0 [Conf]
  7. Lin Zucconi, Greg Royle, Karl Reed, John Staples
    Do Formal Methods Really Work? [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:66-0 [Conf]
  8. Neil A. B. Gray
    Teaching Object Orientation: Patterns and Reuse. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:72-80 [Conf]
  9. Sea Ling, Heinz W. Schmidt
    Towards Analysing a Class of Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:81-92 [Conf]
  10. Tsong Yueh Chen, Pak-Lok Poon
    Classification-Hierarchy Table: A Methodology for Constructing the Classification Tree. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:93-0 [Conf]
  11. Brian Henderson-Sellers, Neil A. B. Gray, Christine Mingins, Liping Zhao
    Does Object-Orientation Really Work? [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:106-0 [Conf]
  12. Ken Mullin, Stuart Hope
    An Application Of Quantitative Techniques To The Question Of What Contributes To A Successful Software Development Project. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:118-130 [Conf]
  13. Elizabeth Haywood, Philip W. Dart
    Analysis of Software System Requirements Models. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:131-0 [Conf]
  14. Nancy R. Mead
    Industry-University Partnerships: The Wave of the Future? [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:140-0 [Conf]
  15. Nazim H. Madhavji
    A System for Evaluating the Congruence of Software Process Models. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:144-0 [Conf]
  16. Wie Ming Lim, John V. Harrison
    An Integrated Database Reengineering Architecture - A Generic Approach. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:146-154 [Conf]
  17. Jian Chen
    The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:155-166 [Conf]
  18. Tsong Yueh Chen, Yuen-Tak Yu
    More on the E-measure of Subdomain Testing Strategies. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:167-0 [Conf]
  19. Igor Hawryszkiewycz, Ian Gorton
    Distributing the Software Process. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:176-182 [Conf]
  20. Bradley R. Schmerl, Chris D. Marlin
    Consistency Issues in Partially Bound Dynamically Composed Systems. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:183-191 [Conf]
  21. Jason Baragry
    An Initial Comparison of Software and Engineering Designs of Automotive Cruise Control Systems. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:192-202 [Conf]
  22. Benjamin Cheng, D. Ross Jeffery
    Comparing Inspection Strategies for Software Requirement Specifications. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:203-0 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002