Takip et
Anthony J H Simons
Anthony J H Simons
Senior Lecturer, University of Sheffield
sheffield.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 9, 2009
5012009
The OPEN toolbox of techniques
B Henderson-Sellers, A Simons, H Younessi
Addison-Wesley, 1998
1431998
A survey of service oriented development methodologies
E Ramollari, D Dranidis, AJH Simons
European Young Researchers Workshop on Service Oriented Computing (YRSOC-2 …, 2007
1242007
30 Things that go wrong in object modelling with UML 1.3
AJH Simons, I Graham
Behavioral Specifications of Businesses and Systems, 237-257, 1999
1051999
Use cases considered harmful
AJH Simons
Technology of Object-Oriented Languages and Systems (TOOLS-29, Europe), 1999 …, 1999
911999
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction
AJH Simons
Automated Software Engineering 14, 369-418, 2007
582007
On the compositional properties of UML statechart diagrams
AJH Simons
Electronic Workshops in Computing (ROOM-3), 8.1-8.12, 2000
552000
Cloud application portability: an initial view
F Gonidis, AJH Simons, I Paraskakis, D Kourtesis
Proceedings of the 6th Balkan Conference in Informatics, 275-282, 2013
492013
Using formal methods to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, JH Dick, ...
472008
A lightly supervised approach to detect stuttering in children's speech
S Alharbi, M Hasan, AJH Simons, S Brumfitt, P Green
Proceedings of Interspeech 2018, 3433-3437, 2018
442018
Control-flow semantics of use cases in UML
KG van den Berg, AJH Simons
Information and Software Technology 41 (10), 651-659, 1999
431999
Leveraging semantic web service descriptions for validation by automated functional testing
E Ramollari, D Kourtesis, D Dranidis, A Simons
European Semantic Web Conference (ESWC-6), 593-607, 2009
342009
An extensible architecture for run-time monitoring of conversational web services
K Bratanis, D Dranidis, AJH Simons
International Workshop on Monitoring, Adaptation and Beyond (MONA+ 3), 9-16, 2010
322010
37 things that don't work in object-oriented modelling with UML
AJH Simons, I Graham
British Computer Society Object-Oriented Programming Systems Newsletter 35, 1-24, 1998
321998
Sequence labeling to detect stuttering events in read speech
S Alharbi, M Hasan, AJH Simons, S Brumfitt, P Green
Computer Speech & Language 62, 101052, 2020
312020
The theory of classification part 4: object types and subtyping
AJH Simons
Journal of Object Technology 1 (5), 27-33, 2002
302002
Z2SAL: a translation-based model checker for Z
J Derrick, S North, AJH Simons
Formal Aspects of Computing 23, 43-71, 2011
252011
Z2SAL-building a model checker for Z
J Derrick, S North, A Simons
Abstract State Machines, B and Z (ABZ-1), 280-293, 2008
242008
The theory of classification part 1: perspectives on type compatibility
AJH Simons
Journal of Object Technology 1 (1), 55-61, 2002
232002
Automatic recognition of children’s read speech for stuttering application
S Alharbi, AJH Simons, S Brumfitt, PD Green
6th. Workshop on Child Computer Interaction (WOCCI 2017), eds. K. Evanini, M …, 2017
192017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20