- An Extensible Architecture for Run-time Monitoring of Conversational Web Services
- Benchmarking Effectiveness for Object-Oriented Unit Testing Anthony J. H. Simons and Christopher D. Thomson
- Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form
- Rationalising Eiffel's Type System A J H Simons
- What Makes Testing Work: Nine Case Studies of Software Development Teams
- Autom Softw Eng DOI 10.1007/s10515-007-0015-3
- JWalk: a Tool for Lazy, Systematic Testing of Java Classes by Design Introspection and User Interaction
- Feedback-Based Specification, Coding and Testing with JWalk Anthony J H Simons, Neil Griffiths and Christopher Thomson
- Lazy Systematic Unit Testing: JWalk versus JUnit Anthony J H Simons and Christopher D Thomson
- Using Formal Specifications to Support Testing R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheo-
- Model Transformation by Refinement in Constructive Logic
- SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2006; 16:133156
- Reliable Web Service Publication and Discovery through Model-Based Testing
- Rigorous Object-Oriented System Design Anthony J H Simons, University of Sheffield,
- A Survey of Service Oriented Development Methodologies
- Towards Run-time Monitoring of Web Services Conformance to Business-Level Agreements
- UK Software Testing Research III
- A Pilot Study of Comparative Customer Comprehension between Extreme X-Machine and UML Models
- Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection
- Round-Trip Specification, Coding and Testing with JWalk Anthony J H Simons and Neil Griffiths
- Pattern-driven Partitioning in Designing Distributed Object Applications
- Design Patterns as Litmus Paper to Test the Strength of Object-Oriented Methods
- Lazy Systematic Unit Testing: JWalk versus JUnit
- Towards Reliable Web Service Discovery through Behavioural Verification and Validation
- Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection
- "The Truth Is Out There?" : A Survey of Business Objects
- On the Compositional Properties of UML Statechart Anthony J H Simons
- Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
- Towards Run-time Monitoring of Web Services Conformance to Business-Level Agreements
- DOI 10.1007/s00165-009-0126-7 Formal Aspects of Computing
- "Can You Have It All?": Managing The Time And Budget Against Quality Issue in A Dynamic
- An Extensible Architecture for Run-time Monitoring of Conversational Web Services
- Using Alloy to model-check visual design notations Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez
- Use Cases Considered Harmful Anthony J H Simons
- Z2SAL -building a model checker for Z John Derrick, Siobhan North and Anthony J. H. Simons
- Control-Flow Semantics of Use Cases page 1 Control-Flow Semantics of Use Cases in UML
- 30 THINGS THAT GO WRONG IN OBJECT MODELLING WITH UML 1.3
- H. Baumeister et al. (Eds.): XP 2005, LNCS 3556, pp. 118126, 2005. Springer-Verlag Berlin Heidelberg 2005
- A Theory of Regression Testing for Behaviourally Compatible Object Types
- 37 Things that Don't Work in Object-Oriented Modelling with UML
- An Algebra to Represent Task Flow Models Carlos Alberto Fernndez-y-Fernndez1
- CSUR102-09 ACM-CSUR January 21, 2009 21:34 Using Formal Specifications to Support Testing
- PLUG AND PLAY SAFELY: RULES FOR BEHAVIOURAL COMPATIBILITY A. J. H. Simons, M. P. Stannett, K. E. Bogdanov and W. M. L. Holcombe
- SLAs for Cross-layer Adaptation and Monitoring of Service-Based Applications: A Case Study
- Proceedings of the 15th International
- SLAs for Cross-layer Adaptation and Monitoring of Service-Based Applications: A Case Study
- A PROPOSAL FOR HARMONISING TYPES, INHERITANCE AND POLYMORPHISM FOR OBJECT-ORIENTED
- Object Types and Subtypes This chapter explores what it means for an object to have type.
- A Language with Class The Theory of Classification Exemplified in
- Benchmarking Effectiveness
- Object Oriented Pty Ltd Version 1.0: May, 1996
- A SAL-based refinement checker for Z John Derrick, Siobhan North and Anthony J. H. Simons
- CS -01 -18 Complete Functional Testing
- ABZ Conference, London 2008 Building a Model-Checker for Z
- Bibliographic References All the sources referred to in the main text are listed here. Articles are indexed
- Compiling a Language with Class Here, issues of representation, binding and optimisation are examined with a
- Feedback-Based Specification, Coding
- The 2nd European Young Researchers Workshop on Service Oriented Computing
- An overview of the -calculus is given, showing how this can be used to model most mathematical and computational functions and structures. In particular, a
- Discovery Method Version 1.0: January 1998
- Discovery Method Version 1.0: January 1998
- 1994 A J H Simons Object-Oriented Type Systems 1 Exploring Object-Oriented Type
- Mixins: Typing the Superclass Interface A J H Simons, Department of Computer Science, University of Sheffield,
- Multi-level Transformation from Conceptual Models to
- A Language with Flow Here, explicit and implicit models of flow control are contrasted.
- Adding Axioms to Cardelli-Wegner Subtyping A J H Simons, Department of Computer Science, University of Sheffield,
- Lazy Systematic Unit Testing for Java
- The goal of this work has been the design of a "language with class", an object-oriented programming language supported by a formal theory of classification.
- Introduction The goal of this work is the design of a "language with class", an object-
- A Language with Objects This chapter introduces a more concrete syntax for a "language with objects".
- 1993 A J H Simons Object-Oriented Type Theory 1 Introduction to Object-Oriented
- Polymorphic Inheritance This chapter explores what it means for a type to inherit functions.
- 1993 A J H Simons Object-Oriented Type Theory 1 Introduction to Object-Oriented
- KCL 2006 A J H Simons, University of Sheffield, 2006 for Exetended and Modified Objects
- A Multi-level Transformation from Conceptual Data Models to Database Scripts using Java Agents
- Contact: Anthony J H Simons Address: Department of Computer Science, Regent Court,
