Searching for authors named "Leonor Barroca" – sorted by Relevance.
-
Formal Methods: Use and Relevance for the Development of Safety Critical Systems
- Formal Methods: Use and Relevance for the Development of Safety Critical Systems Leonor M. Barroca
- Cited by 23 (2 self) – Add To MetaCart
-
Coordination Contracts as Connectors in Component-Based Development
- IN COMPONENT-BASED DEVELOPMENT Leonor Barroca José Luiz Fiadeiro Deptartment of Computing ATX Software
- Cited by 2 (0 self) – Add To MetaCart
-
Formal Specification of an Aerospace System: The Attitude Monitor
- Formal Specification of an Aerospace System: The Attitude Monitor Andrew Coombes, Leonor Barroca
- Cited by 1 (1 self) – Add To MetaCart
-
Composing Requirements Using Problem Frames
- Composing Requirements Using Problem Frames Robin Laney, Leonor Barroca, Michael Jackson, Bashar
- Add To MetaCart

