Anthony J. Cowling

Publication Activity (10 Years)

Years Active: 1985-2015
Publications (10 Years): 1

Top Topics

Provably Correct

Software Engineering

Adaptive E Learning

Top Venues

Publications

Anthony J. Cowling
The Role of Modelling in Teaching Formal Methods for Software Engineering. FMSEE&T@FM (2015)
Krenare Pireva, Petros Kefalas, Dimitris Dranidis, Thanos Hatziapostolou, Anthony J. Cowling
Cloud e-Learning: A New Challenge for Multi-Agent Systems. KES-AMSTA (2014)
Konstantinos Rousis, George Eleftherakis, Ognen Paunovski, Anthony J. Cowling
Formal modelling of a bio-inspired paradigm capable of exhibiting emergence. BCI (2012)
George Eleftherakis, Ognen Paunovski, Konstantinos Rousis, Anthony J. Cowling
Emergent Distributed Bio-organization: A Framework for Achieving Emergent Properties in Unstructured Distributed Systems. IDC (2012)
Anthony J. Cowling
Stages in Teaching Formal Methods. CSEE&T (2010)
Anthony J. Cowling
Where Do Students Look for Information? CSEE&T (2008)
Victor R. Basili, Marvin V. Zelkowitz, Dag I. K. Sjøberg, Philip Johnson, Anthony J. Cowling
Protocols in the use of empirical software engineering artifacts. Empir. Softw. Eng. 12 (1) (2007)
Anthony J. Cowling
Stages in Teaching Software Design. CSEE&T (2007)
J. S. Karn, S. Syed-Abdullah, Anthony J. Cowling, Mike Holcombe
A study into the effects of personality type and methodology on cohesion in software engineering teams. Behav. Inf. Technol. 26 (2) (2007)
Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe
The Positive Affect of the XP Methodology. XP (2005)
Anthony J. Cowling
Translating Diagrams: A New Approach to Introducing Formal Methods. CSEE&T (2005)
John Karn, Anthony J. Cowling, Sharifah Lailee Syed-Abdullah, Mike Holcombe
Adjusting to XP: Observational Studies of Inexperienced Developers. XP (2005)
J. S. Karn, Anthony J. Cowling
A study of the effect of disruptions on the performance of software engineering teams. ISESE (2005)
Anthony J. Cowling
The role of modelling in the software engineering curriculum. J. Syst. Softw. 75 (1-2) (2005)
Anthony J. Cowling
The Crossover Project as an Introduction to Software Engineering. CSEE&T (2004)
Anthony J. Cowling
What Should Graduating Software Engineers Be Able To Do? CSEE&T (2003)
Anthony J. Cowling
Modelling: A Neglected Feature in the Software Engineering Curriculum. CSEE&T (2003)
Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Informaticae 49 (1-3) (2002)
Anthony J. Cowling
Structuring the Disciplines Related to Software Engineering: A General Model. CSEE&T (2001)
Anthony J. Cowling
Teaching Data Structures and Algorithms in a Software Engineering Degree: Some Experience with Java. CSEE&T (2001)
Anthony J. Cowling, Horia Georgescu, Cristina Vertan
A Structured Way to Use Channels for Communication in X-Machine Systems. Formal Aspects Comput. 12 (6) (2000)
Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan
Communicating Stream X-Machines Systems are no more than X-Machines. J. Univers. Comput. Sci. 5 (9) (1999)
Anthony J. Cowling
Teaching Systems Analysis to Software Engineering Students: Experience with a Structured Methodology. CSEE&T (1998)
Anthony J. Cowling
A Multi-Dimensional Model of the Software Engineering Cumiculum. CSEE&T (1998)
Anthony J. Cowling
The First Decade of an Undergraduate Degree Programme in Software Engineering. Ann. Softw. Eng. 6 (1998)
Anthony J. Cowling, M. C. Nike
Using data flow algebra to analyse the alternating bit protocol. Software Engineering for Parallel and Distributed Systems (1996)
Philip R. Bird, Anthony J. Cowling
Modelling Logic Programming Using A Network Of Communicating Machines. PDP (1994)
Anthony J. Cowling
Type Checking in Polymorphic Languages. Comput. J. 29 (6) (1986)
Anthony J. Cowling, J. J. McGregor
HANDIN-A System for Helping with the Teaching of Programming. Softw. Pract. Exp. 15 (6) (1985)