MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Leonor Barroca" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Formal Methods: Use and Relevance for the Development of Safety Critical Systems
by Leonor M. Barroca, John A. Mcdermid — 1992 — The Computer Journal
…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
by Leonor Barroca, José Luiz Fiadeiro — 2002 — Proceedings of Integrated Design and Process Technology IDPT 2002
… 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
by Andrew Coombes, Leonor Barroca, John Fitzgerald, John McDermid, Lynn Spencer, Amer Saeed — 1995 — In [35
…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
by Robin Laney Leonor, Robin Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh — 2004 — in Proceedings of the 2004 International Conference on Requirements Engineering RE’04, IEEE CS
…Composing Requirements Using Problem Frames Robin Laney, Leonor Barroca, Michael Jackson, Bashar…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB