|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 19 keywords
|
|
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL: a translation-based model checker for Z.  |
Formal Asp. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Building a refinement checker for Z |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons |
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study. |
QASBA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons |
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. |
TAIC PART |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan |
Using formal specifications to support testing. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons |
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
Service Validation, Semantic Web Services, Web service testing |
| 1 | Anthony J. H. Simons, Carlos Alberto Fernández y Fernández |
Using Alloy to model-check visual design notations |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL - Building a Model Checker for Z. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
| 1 | Anthony J. H. Simons |
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Algebraic testing, Lazy specification, Lazy systematic testing, Operational abstraction, JWalk, Unit testing, Agile methods, JUnit, State-based testing |
| 1 | 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. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
A theory of regression testing for behaviourally compatible object types. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification Part 19: The Proliferation of Parameters. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 18: Polymorphism through the Looking Glass. |
Journal of Object Technology |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification Part 20: Modular Checking of Classtypes. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons, Carlos Alberto Fernández y Fernández |
Using Alloy to model-check visual design notations. |
ENC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming. |
XP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 14: Modification and Objects like Myself. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification Part 15: Mixins and the Superclass Interface. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 13: Template Classes and Genericity. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 11: Adding Class Types to Object Implementations. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 10: Method Combination and Super-Reference. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 12: : Building the Class Hierarchy. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Widayashanti P. Sardjono, Anthony J. H. Simons |
Pattern-Driven Partitioning in Designing Distributed Object Applications. |
EuroPLoP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 7: A Class is a Type Family. |
Journal of Object Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 8: Classification and Inheritance. |
Journal of Object Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. |
Journal of Object Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 6: The Subtyping Inquisition. |
Journal of Object Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 9: Inheritance and Self-Reference. |
Journal of Object Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 1: Perspectives on Type Compatibility. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 2: The Scratch-Built Typechecker. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 4: Object Types and Subtyping. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
The Theory of Classification, Part 3: Object Encoding and Recursion. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Henderson-Sellers, Anthony J. H. Simons |
The OPEN Software Engineering Process Architecture: From Activities to Techniques. |
Journal of Research and Practice in Information Technology |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
On the Compositional Properties of UML Statechart Diagrams. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
| 1 | Klaas van den Berg, Anthony J. H. Simons |
Control-flow semantics of use cases in UML. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
Use Cases Considered Harmful. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
UML 1.3, UML semantics, cognitive misdirection, use cases, ambiguity, inconsistency, control flow |
| 1 | Anthony J. H. Simons |
Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
borrowing, larceny, stealing, transfer of ownership, C++, C++, memory management, copy-on-write, implementation strategies |
| 1 | Anthony J. H. Simons |
A Theory of Class. |
OOIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
A Qualitative Model of the Articulators. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")