Leonor Barroca
Leonor Barroca
Verified email at open.ac.uk
TitleCited byYear
Formal methods: Use and relevance for the development of safety-critical systems
LM Barroca, JA McDermid
The Computer Journal 35 (6), 579-599, 1992
1291992
Civic crowdfunding research: Challenges, opportunities, and future agenda
A Stiver, L Barroca, S Minocha, M Richards, D Roberts
New media & society 17 (2), 249-271, 2015
972015
Composing requirements using problem frames
R Laney, L Barroca, M Jackson, B Nuseibeh
Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004
842004
The challenges that challenge: Engaging with agile practitioners’ concerns
P Gregory, L Barroca, H Sharp, A Deshpande, K Taylor
Information and Software Technology 77, 92-104, 2016
762016
Software architectures: advances and applications
L Barroca, J Hall
Springer Science & Business Media, 2000
562000
Agile challenges in practice: a thematic analysis
P Gregory, L Barroca, K Taylor, D Salah, H Sharp
International Conference on Agile Software Development, 64-80, 2015
372015
Specification and verification of reactive system behaviour: The railroad crossing example
J Armstrong, L Barroca
Real-Time Systems 10 (2), 143-178, 1996
361996
Formal Methods: Use and relevance for the development of safety-critical systems
JA McDermid
Safety aspects of computer control, 96-153, 1993
331993
AM-OER: An Agile Method for the Development of Open Educational Resources.
MM Arimoto, L Barroca, EF Barbosa
Informatics in Education 15 (2), 205-233, 2016
292016
Requirements-driven collaborative choreography customization
A Mahfouz, L Barroca, R Laney, B Nuseibeh
Service-Oriented Computing, 144-158, 2009
272009
Systematic evaluation of software product line architectures
EAO Junior, IMS Gimenes, JC Maldonado, PC Masiero, L Barroca
Journal of Universal Computer Science 19 (1), 25-52, 2013
262013
Knowledge sharing in a large agile organisation: A survey study
K Kuusinen, P Gregory, H Sharp, L Barroca, K Taylor, L Wood
International conference on agile software development, 135-150, 2017
232017
Problem frames: A case for coordination
L Barroca, JL Fiadeiro, M Jackson, R Laney, B Nuseibeh
International Conference on Coordination Languages and Models, 5-19, 2004
232004
An agile learning design method for open educational resources
MM Arimoto, EF Barbosa, L Barroca
2015 IEEE Frontiers in Education Conference (FIE), 1-9, 2015
182015
Enterprise frameworks for workflow management systems
IMS Gimenes, L Barroca
Software: Practice and Experience 32 (8), 755-769, 2002
182002
A style option for rotated objects in TeX
S Rahtz, L Barroca
TUGboat 13 (2), 1992
181992
Learning software engineering at a distance
B Quinn, L Barroca, B Nuseibeh, J Fernández-Ramil, L Rapanotti, ...
IEEE software 23 (6), 36-43, 2006
172006
An introduction and history of software architectures, components, and reuse
L Barroca, J Hall, P Hall
Software Architectures, 1-11, 2000
172000
Bridging the gap between research and agile practice: an evolutionary model
L Barroca, H Sharp, D Salah, K Taylor, P Gregory
International Journal of System Assurance Engineering and Management 9 (2 …, 2018
162018
3D virtual worlds in higher education
L Rapanotti, S Minocha, L Barroca, MNK Boulos, DR Morse
Informed design of educational technologies in higher education: Enhanced …, 2012
152012
The system can't perform the operation now. Try again later.
Articles 1–20