Peter Capell

Publication Activity (10 Years)

Years Active: 1990-2014
Publications (10 Years): 0

Top Topics

Theorem Proving

Automated Deduction

Parallel Search

Top Venues

J. Aerosp. Inf. Syst.

Publications

Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. J. Aerosp. Inf. Syst. 11 (10) (2014)
Donald G. Firesmith, Peter Capell
Quality Assessment of System Architectures and their Requirements (Quasar). Trans. SDPS 11 (2) (2007)
Donald Firesmith, Peter Capell
Architecture-Related Requirements. J. Object Technol. 5 (2) (2006)
Roger B. Dannenberg, Marta Sanchez, Annabel Joseph, Peter Capell, Robert Joseph, Ronald Saul
An Expert System for Teaching Piano to Novices. ICMC (1990)