The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anthony J. H. Simons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anthony J. H. Simons
    A Qualitative Model of the Articulators. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:464-466 [Conf]
  2. Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez
    Using Alloy to model-check visual design notations. [Citation Graph (0, 0)][DBLP]
    ENC, 2005, pp:121-128 [Conf]
  3. Anthony J. H. Simons
    A Theory of Class. [Citation Graph (0, 0)][DBLP]
    OOIS, 1996, pp:44-0 [Conf]
  4. Anthony J. H. Simons
    Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:65-83 [Conf]
  5. Anthony J. H. Simons
    On the Compositional Properties of UML Statechart Diagrams. [Citation Graph (0, 0)][DBLP]
    Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
  6. Anthony J. H. Simons
    Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming. [Citation Graph (0, 0)][DBLP]
    XP, 2005, pp:118-126 [Conf]
  7. Anthony J. H. Simons
    Use Cases Considered Harmful. [Citation Graph (0, 0)][DBLP]
    TOOLS (29), 1999, pp:194-203 [Conf]
  8. Brian Henderson-Sellers, Anthony J. H. Simons
    The OPEN Software Engineering Process Architecture: From Activities to Techniques. [Citation Graph (0, 0)][DBLP]
    Journal of Research and Practice in Information Technology, 2000, v:32, n:1, pp:47-68 [Journal]
  9. Klaas van den Berg, Anthony J. H. Simons
    Control-flow semantics of use cases in UML. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:10, pp:651-659 [Journal]
  10. Anthony J. H. Simons
    The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:2, pp:15-26 [Journal]
  11. Anthony J. H. Simons
    Perspectives on Type Compatibility. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:1, pp:55-61 [Journal]
  12. Anthony J. H. Simons
    The Theory of Classification, Part 2: The Scratch-Built Typechecker. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:2, pp:47-54 [Journal]
  13. Anthony J. H. Simons
    The Theory of Classification, Part 2: Object Encoding and Recursion. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:4, pp:49-57 [Journal]
  14. Anthony J. H. Simons
    The Theory of Classification, Part 4: Object Types and Subtyping. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:5, pp:27-35 [Journal]
  15. Anthony J. H. Simons
    The Theory of Classification, 7: A Class is a Type Family. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:1, pp:13-22 [Journal]
  16. Anthony J. H. Simons
    The Theory of Classification, Part 6: The Subtyping Inquisition. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:2, pp:17-26 [Journal]
  17. Anthony J. H. Simons
    The Theory of Classification, Part 7: A Class is a Type Family. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:3, pp:13-22 [Journal]
  18. Anthony J. H. Simons
    The Theory of Classification, Part 8: Classification and Inheritance. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:4, pp:55-64 [Journal]
  19. Anthony J. H. Simons
    The Theory of Classification, Part 9: Inheritance and Self-Reference. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2003, v:2, n:6, pp:25-34 [Journal]
  20. Anthony J. H. Simons
    The Theory of Classification, Part 10: Method Combination and Super-Reference. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:1, pp:43-53 [Journal]
  21. Anthony J. H. Simons
    The Theory of Classification, Part 11: Adding Class Types to Object Implementations. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:3, pp:7-19 [Journal]
  22. Anthony J. H. Simons
    The Theory of Classification, Part 12: : Building the Class Hierarchy. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:5, pp:13-24 [Journal]
  23. Anthony J. H. Simons
    The Theory of Classification, Part 13: Template Classes and Genericity. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:7, pp:15-25 [Journal]
  24. Anthony J. H. Simons
    The Theory of Classification, Part 14: Modification and Objects like Myself. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:8, pp:15-26 [Journal]
  25. Anthony J. H. Simons
    The Theory of Classification Part 15: Mixins and the Superclass Interface. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:10, pp:7-18 [Journal]
  26. Anthony J. H. Simons
    The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:1, pp:13-26 [Journal]
  27. Anthony J. H. Simons
    The Theory of Classification, Part 18: Polymorphism through the Looking Glass. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:4, pp:7-18 [Journal]
  28. Anthony J. H. Simons
    The Theory of Classification Part 19: The Proliferation of Parameters. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:5, pp:36-48 [Journal]
  29. Anthony J. H. Simons
    The Theory of Classification Part 20: Modular Checking of Classtypes. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:7, pp:7-18 [Journal]
  30. Anthony J. H. Simons
    Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Wiley, 2005, ISBN: 0-471-72783-0, 271 pp. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2006, v:16, n:1, pp:62-64 [Journal]
  31. Anthony J. H. Simons
    A theory of regression testing for behaviourally compatible object types. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2006, v:16, n:3, pp:133-156 [Journal]

  32. Z2SAL - Building a Model Checker for Z. [Citation Graph (, )][DBLP]


  33. Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. [Citation Graph (, )][DBLP]


  34. Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. [Citation Graph (, )][DBLP]


  35. JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. [Citation Graph (, )][DBLP]


  36. Using Alloy to model-check visual design notations [Citation Graph (, )][DBLP]


  37. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
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