Quantcast

BCS-FACS Reference Libraries

Page 1 of about 1 Articles
Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal...

Word of the Day
caparison
  • A cloth or covering, more or less ornamented, laid over the saddle or furniture of a horse, especially of a sumpter-horse or horse of state.
  • Clothing, especially sumptuous clothing; equipment; outfit.
  • To cover with a caparison, as a horse.
  • To dress sumptuously; adorn with rich dress.
This word ultimately comes from the Medieval Latin 'cappa,' cloak.
Related